PERON, ADRIANO
PERON, ADRIANO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Systolic tree omega-languages: the operational and the logical view
2000 Monti, A.; Peron, Adriano
Timed Communicating Automata
2000 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano
TPMC: A Model Checker for Time-Sensitive Security Protocols
2007 Benerecetti, Massimo; Cuomo, N; Peron, Adriano
The way to go: Multi-level temporal logics.
1999 A., Montanari; Peron, Adriano; A., Policriti
Systolic tree omega-languages
1995 A., Monti; Peron, Adriano
A multimedia system for automatic recognition, indexing and retrieval of heterogeneous music documents
2000 A., Argentini; C., Combi; G. L., Foresti; C., Mirolo; A., Montanari; Peron, Adriano
Transitions as interrupts: a new semantics for timed Statecharts
1994 A., Maggiolo Schettini; Peron, Adriano
Statecharts, transition structures and transformations
1995 Peron, Adriano
Timed HLPSL for specification and verification of time sensitive protocols
2006 Benerecetti, Massimo; N., Cuomo; Peron, Adriano
A logical characterization of systolic languages
1998 A., Monti; Peron, Adriano
Extending Kamp theorem with binary operators to model time granularity
2000 Montanari, A.; Peron, Adriano; Policriti, A.
EXTENDING KAMP THEOREM TO LINEAR ORDERS WITH BINARY PREDICATES TO MODEL TIME GRANULARITY
2002 Peron, Adriano; A., Montanari; A., Policriti
On the Relationships between Theories of Time Granularity and the Monadic Second-order Theory of One Successor
2006 Montanari, A; Peron, Adriano; Puppis, G.
Una proposta di trattamento informatico dei Beni Culturali relativi ai Campi Flegrei
2010 Miletti, L; D'Andrea, A; DI SANTO, G; Nuzzo, E; Palmentieri, A; Peron, Adriano; Rosiello, F; Sammartino, G; Valenti, Rossana
A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS
2002 Peron, Adriano; C., Combi; M., Franceschet
Gandalf 2014, Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification
2014 Peron, Adriano; Carla, Piazza
A General Web-based Framework for Spatio-Temporal Exploration and Visualization applied to a Case Study on Cultural Heritage Data
2012 Cutugno, Francesco; V. A., Leano; F., Mangiacrapa; Peron, Adriano
Verification of well-formed Communicating Recursive State Machines
2008 Bozzelli, L.; La Torre, S.; Peron, Adriano
Dynamic Hierachical Machines
2002 R., Lanotte; A., Maggiolo Schettini; Peron, Adriano; S., Tini
Timed Communicating Automata
1999 R., Lanotte; A., Maggiolo Schettini; Peron, Adriano
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Systolic tree omega-languages: the operational and the logical view | 1.1 Articolo in rivista | 2000 | Monti, A.; Peron, Adriano | |
| Timed Communicating Automata | 1.1 Articolo in rivista | 2000 | Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano | |
| TPMC: A Model Checker for Time-Sensitive Security Protocols | 4.1 Articoli in Atti di convegno | 2007 | Benerecetti, Massimo; Cuomo, N; Peron, Adriano | |
| The way to go: Multi-level temporal logics. | 4.1 Articoli in Atti di convegno | 1999 | A., Montanari; Peron, Adriano; A., Policriti | |
| Systolic tree omega-languages | 2.1 Contributo in volume (Capitolo o Saggio) | 1995 | A., Monti; Peron, Adriano | |
| A multimedia system for automatic recognition, indexing and retrieval of heterogeneous music documents | 4.1 Articoli in Atti di convegno | 2000 | A., Argentini; C., Combi; G. L., Foresti; C., Mirolo; A., Montanari; Peron, Adriano | |
| Transitions as interrupts: a new semantics for timed Statecharts | 2.1 Contributo in volume (Capitolo o Saggio) | 1994 | A., Maggiolo Schettini; Peron, Adriano | |
| Statecharts, transition structures and transformations | 2.1 Contributo in volume (Capitolo o Saggio) | 1995 | Peron, Adriano | |
| Timed HLPSL for specification and verification of time sensitive protocols | 4.1 Articoli in Atti di convegno | 2006 | Benerecetti, Massimo; N., Cuomo; Peron, Adriano | |
| A logical characterization of systolic languages | 2.1 Contributo in volume (Capitolo o Saggio) | 1998 | A., Monti; Peron, Adriano | |
| Extending Kamp theorem with binary operators to model time granularity | 4.1 Articoli in Atti di convegno | 2000 | Montanari, A.; Peron, Adriano; Policriti, A. | |
| EXTENDING KAMP THEOREM TO LINEAR ORDERS WITH BINARY PREDICATES TO MODEL TIME GRANULARITY | 1.1 Articolo in rivista | 2002 | Peron, Adriano; A., Montanari; A., Policriti | |
| On the Relationships between Theories of Time Granularity and the Monadic Second-order Theory of One Successor | 1.1 Articolo in rivista | 2006 | Montanari, A; Peron, Adriano; Puppis, G. | |
| Una proposta di trattamento informatico dei Beni Culturali relativi ai Campi Flegrei | 2.1 Contributo in volume (Capitolo o Saggio) | 2010 | Miletti, L; D'Andrea, A; DI SANTO, G; Nuzzo, E; Palmentieri, A; Peron, Adriano; Rosiello, F; Sammartino, G; Valenti, Rossana | |
| A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS | 2.1 Contributo in volume (Capitolo o Saggio) | 2002 | Peron, Adriano; C., Combi; M., Franceschet | |
| Gandalf 2014, Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification | 7.1 Curatore o Editor di Libri Scientifici | 2014 | Peron, Adriano; Carla, Piazza | |
| A General Web-based Framework for Spatio-Temporal Exploration and Visualization applied to a Case Study on Cultural Heritage Data | 4.1 Articoli in Atti di convegno | 2012 | Cutugno, Francesco; V. A., Leano; F., Mangiacrapa; Peron, Adriano | |
| Verification of well-formed Communicating Recursive State Machines | 1.1 Articolo in rivista | 2008 | Bozzelli, L.; La Torre, S.; Peron, Adriano | |
| Dynamic Hierachical Machines | 4.1 Articoli in Atti di convegno | 2002 | R., Lanotte; A., Maggiolo Schettini; Peron, Adriano; S., Tini | |
| Timed Communicating Automata | 4.1 Articoli in Atti di convegno | 1999 | R., Lanotte; A., Maggiolo Schettini; Peron, Adriano |