A Survey of Runtime Monitoring Instrumentation Techniques
2017-01-01 Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A
Exploring music careers: music graduates and early career trajectories in UK
2014-01-01 Comunian, R; Faggian, A; Jewell, S.
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
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.
Axiomatizing Weak Ready Simulation Semantics over BCCSP
2011-01-01 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
A Rule Format for Unit Elements
2010-01-01 Aceto, L; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
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
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras
2008-01-01 Aceto, L; Fokkink, W; Ingólfsdóttir, A; Mousavi, M R
“Interregional Migration Analysis.”
2015-01-01 Faggian, A; Corcoran, J; Partridge, M
Distance-Vector Algorithms for Distributed Shortest Paths Computation in Dynamic Network
2018-01-01 D'Angelo, G; D'Emidio, M.; Frigioni, D
On Verifying Hennessy-Milner Logic with Recursion at Runtime
2015-01-01 Francalanza, A; Aceto, L; Ingólfsdóttir, A
A Generic Instrumentation Tool for Erlang
2017-01-01 Cassar, ; Francalanza, A; Attard, D P; Aceto, L; Ingólfsdóttir, A
Meta SOS - A Maude Based SOS Meta-Theory Framework
2013-01-01 Aceto, L; Goriac, E; Ingólfsdóttir, A
A Foundation for Runtime Monitoring
2017-01-01 Francalanza, A; Aceto, L; Achilleos, A; Attard, D P; Cassar, I; Della Monica, D; Ingólfsdóttir, A
Logical Characterisations and Compositionality of Input-Output Conformance Simulation
2017-01-01 Aceto, L; Fábregas, I; Gregorio-Rodríguez, C; Ingólfsdóttir, A
Characteristic Formulae for Relations with Nested Fixed Points
2012-01-01 Aceto, L; Ingólfsdóttir, A
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics
2013-01-01 Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco, G
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders
2014-01-01 Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco,
Event-Based Service Coordination
2008-01-01 Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Survey of Runtime Monitoring Instrumentation Techniques | 1-gen-2017 | Cassar, I; Francalanza, A; Aceto, L; Ingólfsdóttir, A | |
| Exploring music careers: music graduates and early career trajectories in UK | 1-gen-2014 | Comunian, R; Faggian, A; Jewell, S. | |
| 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 | |
| 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. | |
| Axiomatizing Weak Ready Simulation Semantics over BCCSP | 1-gen-2011 | Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A | |
| A Rule Format for Unit Elements | 1-gen-2010 | Aceto, L; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A | |
| 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 | |
| Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras | 1-gen-2008 | Aceto, L; Fokkink, W; Ingólfsdóttir, A; Mousavi, M R | |
| “Interregional Migration Analysis.” | 1-gen-2015 | Faggian, A; Corcoran, J; Partridge, M | |
| Distance-Vector Algorithms for Distributed Shortest Paths Computation in Dynamic Network | 1-gen-2018 | D'Angelo, G; D'Emidio, M.; Frigioni, D | |
| On Verifying Hennessy-Milner Logic with Recursion at Runtime | 1-gen-2015 | Francalanza, A; Aceto, L; Ingólfsdóttir, A | |
| A Generic Instrumentation Tool for Erlang | 1-gen-2017 | Cassar, ; Francalanza, A; Attard, D P; Aceto, L; Ingólfsdóttir, A | |
| Meta SOS - A Maude Based SOS Meta-Theory Framework | 1-gen-2013 | Aceto, L; Goriac, E; Ingólfsdóttir, A | |
| A Foundation for Runtime Monitoring | 1-gen-2017 | Francalanza, A; Aceto, L; Achilleos, A; Attard, D P; Cassar, I; Della Monica, D; Ingólfsdóttir, A | |
| Logical Characterisations and Compositionality of Input-Output Conformance Simulation | 1-gen-2017 | Aceto, L; Fábregas, I; Gregorio-Rodríguez, C; Ingólfsdóttir, A | |
| Characteristic Formulae for Relations with Nested Fixed Points | 1-gen-2012 | Aceto, L; Ingólfsdóttir, A | |
| An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics | 1-gen-2013 | Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco, G | |
| On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders | 1-gen-2014 | Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco, | |
| Event-Based Service Coordination | 1-gen-2008 | Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E |
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 Volume341
Data di pubblicazione
- In corso di stampa1
- 2020 - 202573
- 2010 - 2019214
- 2000 - 200949
- 1995 - 19994
Editore
- Springer48
- 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...14
- LECTURE NOTES IN ARTIFICIAL INTEL...2
- ADVANCES IN SPATIAL SCIENCE1
- EMS SERIES OF CONGRESS REPORTS1
- INTERNET OF THINGS1
- LECTURE NOTES IN MATHEMATICS1
- OUTSTANDING CONTRIBUTIONS TO LOGIC1
- POLITICAL SCIENCE AND PUBLIC POLICY1
- SCIENZE REGIONALI1
- SPRINGER INDAM SERIES1
Keyword
- Italy4
- Aree interne3
- aree interne3
- Computer Science (all)3
- Robotisation3
- smart development3
- Theoretical Computer Science3
- beni comuni2
- Business2
- città2
Lingua
- eng174
- ita96
- fre1
- spa1
- und1
Accesso al fulltext
- no fulltext283
- reserved41
- open17