Sfoglia
Axiomatizing Weak Ready Simulation Semantics over BCCSP
2011-01-01 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras
2008-01-01 Aceto, L; Fokkink, W; Ingólfsdóttir, A; Mousavi, M R
A Rule Format for Unit Elements
2010-01-01 Aceto, L; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
“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
Meta SOS - A Maude Based SOS Meta-Theory Framework
2013-01-01 Aceto, L; Goriac, E; 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
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
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
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
Characteristic Formulae for Relations with Nested Fixed Points
2012-01-01 Aceto, L; Ingólfsdóttir, A
Event-Based Service Coordination
2008-01-01 Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
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,
Decision Support for Mobile Cloud Computing Applications via Model Checking
2015-01-01 Aceto, L; Morichetta, A; Tiezzi,
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Axiomatizing Weak Ready Simulation Semantics over BCCSP | 1-gen-2011 | Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A | |
| Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras | 1-gen-2008 | Aceto, L; Fokkink, W; Ingólfsdóttir, A; Mousavi, M R | |
| A Rule Format for Unit Elements | 1-gen-2010 | Aceto, L; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A | |
| “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 | |
| Meta SOS - A Maude Based SOS Meta-Theory Framework | 1-gen-2013 | Aceto, L; Goriac, E; 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 | |
| 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 | |
| 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 | |
| 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 | |
| Characteristic Formulae for Relations with Nested Fixed Points | 1-gen-2012 | Aceto, L; Ingólfsdóttir, A | |
| Event-Based Service Coordination | 1-gen-2008 | Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E | |
| 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, | |
| Decision Support for Mobile Cloud Computing Applications via Model Checking | 1-gen-2015 | Aceto, L; Morichetta, A; Tiezzi, |
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