A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
2009-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A
The Algorithmics of Bisimilarity
2011-01-01 Aceto, L; Ingólfsdóttir, A; Srba, J
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling
2008-01-01 Aceto, L; Ingólfsdóttir, A; Luttik, B; van Tilburg, P
Teaching Concurrency: Theory in Practice
2009-01-01 Aceto, L; Ingólfsdóttir, A; Larsen, K G; Srba, J
Sigma algebras in probabilistic epistemic dynamics
2011-01-01 Aceto, L; van der Hoek, W; Ingólfsdóttir, A; Sack, J
Graphical representation of covariant-contravariant modal formulae
2011-01-01 Aceto, L; de Frutos-Escrig, D; Fábregas, I; Ingólfsdóttir, A; Palomino, M
Axiomatizing GSOS with Predicates
2011-01-01 Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A
Rule Formats for Determinism and Idempotence
2009-01-01 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R
A Runtime Monitoring Tool for Actor-Based Systems
2017-01-01 Attard, D P; Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
On the qualitative behaviour of numerical methods for delay differential equations of neutral type. A case study: Theta-methods
2001-01-01 Guglielmi, N
Un sistema territoriale marginale tra cambiamento e continuità: i Quartieri Spagnoli di Napoli
2003-01-01 Amato, F; Rossi, U
Rule Formats for Distributivity
2011-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates
2011-01-01 Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations
2011-01-01 Aceto, L; de Frutos-Escrig, D; Fábregas, I; Ingólfsdóttir, A; Palomino, M
Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App
2016-01-01 Gudmundsson, V; Lindvall, M; Aceto, L; Bergthorsson, J; Ganesan, D
A Survey of Runtime Monitoring Instrumentation Techniques
2017-01-01 Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
The Equational Theory of Weak Complete Simulation Semantics over BCCSP
2012-01-01 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
Model-Driven Development of Long Running Transactions
2011-01-01 Ciancia, Vincenzo; Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
2011-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A; Reynisson, A H; Sigurdarson, S H; Sirjani, M
R&D results from the NOE scintillating fiber calorimeter
2001-01-01 Aleksandrov, K. V.; Barbarino, G. C.; Bernardini, P.; Brigida, M.; Campana, D.; Candela, A.; Caruso, R.; Cassese, F.; Ceres, A.; D'Aquino, B.; DE CATALDO, G.; DE MITRI, I.; DI CREDICO, A.; Favuzzi, C.; Fusco, P.; Gargano, F.; Giglietto, N.; Giordano, F.; Grillo, A.; Guarino, F.; Lauro, A.; Leone, A.; Loparco, F.; Mancarella, G.; Martello, D.; Mazziotta, M. N.; Mongelli, M.; Osteria, G.; Palladino, V.; Passeggio, G.; Perchiazzi, M.; Perrino, R.; Pinto, C.; Pontoriere, G.; Raino, A.; Rocco, R.; Romanucci, E.; Sacchetti, A.; Scapparone, E.; Spinelli, P.; Surdo, A.; Tikhomirov, V.; Vaccina, A.; Vanzanella, E.; Zilli, A.; Weber, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages | 1-gen-2009 | Aceto, L; Cimini, M; Ingólfsdóttir, A | |
| The Algorithmics of Bisimilarity | 1-gen-2011 | Aceto, L; Ingólfsdóttir, A; Srba, J | |
| Finite Equational Bases for Fragments of CCS with Restriction and Relabelling | 1-gen-2008 | Aceto, L; Ingólfsdóttir, A; Luttik, B; van Tilburg, P | |
| Teaching Concurrency: Theory in Practice | 1-gen-2009 | Aceto, L; Ingólfsdóttir, A; Larsen, K G; Srba, J | |
| Sigma algebras in probabilistic epistemic dynamics | 1-gen-2011 | Aceto, L; van der Hoek, W; Ingólfsdóttir, A; Sack, J | |
| Graphical representation of covariant-contravariant modal formulae | 1-gen-2011 | Aceto, L; de Frutos-Escrig, D; Fábregas, I; Ingólfsdóttir, A; Palomino, M | |
| Axiomatizing GSOS with Predicates | 1-gen-2011 | Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A | |
| Rule Formats for Determinism and Idempotence | 1-gen-2009 | Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R | |
| A Runtime Monitoring Tool for Actor-Based Systems | 1-gen-2017 | Attard, D P; Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A | |
| On the qualitative behaviour of numerical methods for delay differential equations of neutral type. A case study: Theta-methods | 1-gen-2001 | Guglielmi, N | |
| Un sistema territoriale marginale tra cambiamento e continuità: i Quartieri Spagnoli di Napoli | 1-gen-2003 | Amato, F; Rossi, U | |
| Rule Formats for Distributivity | 1-gen-2011 | Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A | |
| PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates | 1-gen-2011 | Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A | |
| Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations | 1-gen-2011 | Aceto, L; de Frutos-Escrig, D; Fábregas, I; Ingólfsdóttir, A; Palomino, M | |
| Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App | 1-gen-2016 | Gudmundsson, V; Lindvall, M; Aceto, L; Bergthorsson, J; Ganesan, D | |
| A Survey of Runtime Monitoring Instrumentation Techniques | 1-gen-2017 | Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A | |
| The Equational Theory of Weak Complete Simulation Semantics over BCCSP | 1-gen-2012 | Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A | |
| Model-Driven Development of Long Running Transactions | 1-gen-2011 | Ciancia, Vincenzo; Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E | |
| Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca | 1-gen-2011 | Aceto, L; Cimini, M; Ingólfsdóttir, A; Reynisson, A H; Sigurdarson, S H; Sirjani, M | |
| R&D results from the NOE scintillating fiber calorimeter | 1-gen-2001 | Aleksandrov, K. V.; Barbarino, G. C.; Bernardini, P.; Brigida, M.; Campana, D.; Candela, A.; Caruso, R.; Cassese, F.; Ceres, A.; D'Aquino, B.; DE CATALDO, G.; DE MITRI, I.; DI CREDICO, A.; Favuzzi, C.; Fusco, P.; Gargano, F.; Giglietto, N.; Giordano, F.; Grillo, A.; Guarino, F.; Lauro, A.; Leone, A.; Loparco, F.; Mancarella, G.; Martello, D.; Mazziotta, M. N.; Mongelli, M.; Osteria, G.; Palladino, V.; Passeggio, G.; Perchiazzi, M.; Perrino, R.; Pinto, C.; Pontoriere, G.; Raino, A.; Rocco, R.; Romanucci, E.; Sacchetti, A.; Scapparone, E.; Spinelli, P.; Surdo, A.; Tikhomirov, V.; Vaccina, A.; Vanzanella, E.; Zilli, A.; Weber, M. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 2 Contributo in Volume355
Data di pubblicazione
- In corso di stampa1
- 2020 - 202687
- 2010 - 2019214
- 2000 - 200949
- 1995 - 19994
Editore
- Springer49
- Routledge18
- Franco Angeli11
- Edward Elgar10
- EGEA10
- CUEC8
- FrancoAngeli6
- Springer International Publishing6
- Società Geografica Italiana5
- Springer Verlag5
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE23
- IFIP INTERNATIONAL FEDERATION FOR...2
- KALPA PUBLICATIONS IN COMPUTING2
- LEIBNIZ INTERNATIONAL PROCEEDINGS...2
- CONTEMPORARY MATHEMATICS1
- LECTURE NOTES IN PHYSICS1
- PITMAN RESEARCH NOTES IN MATHEMAT...1
- STUDI URBANI E REGIONALI1
Serie
- DISCUSSION PAPER SERIES IN REGION...19
- LECTURE NOTES IN ARTIFICIAL INTEL...2
- ADVANCES IN SPATIAL SCIENCE1
- CESIFO WORKING PAPERS1
- EMS SERIES OF CONGRESS REPORTS1
- INTERNET OF THINGS1
- LECTURE NOTES IN MATHEMATICS1
- OUTSTANDING CONTRIBUTIONS TO LOGIC1
- POLITICAL SCIENCE AND PUBLIC POLICY1
- SCIENZE REGIONALI1
Keyword
- Italy5
- Aree interne3
- aree interne3
- Computer Science (all)3
- Robotisation3
- smart development3
- Theoretical Computer Science3
- beni comuni2
- Business2
- città2
Lingua
- eng186
- ita97
- fre1
- spa1
- und1
Accesso al fulltext
- no fulltext295
- reserved42
- open18