PERON, ADRIANO
PERON, ADRIANO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Verification of well-formed Communicating Recursive State Machines
2008 Bozzelli, L.; La Torre, S.; Peron, Adriano
Verification of Well-Formed Communicating Recursive State Machines
2006 Bozzelli, A.; LA TORRE S, S.; Peron, Adriano
The taming (timing) of states
1999 Montanari, A.; Peron, Adriano; Policriti, A.
The taming (timing) of states
2000 Montanari, A.; Peron, Adriano; Policriti, A.
On the undecidability of logics with nominals, recursion and counting
2004 Bonatti, PIERO ANDREA; Peron, Adriano
Timed Communicating Automata
2000 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano
Systolic tree omega-languages: the operational and the logical view
2000 Monti, A.; Peron, Adriano
Semantics of Statecharts based on graph rewriting
1992 A., Maggiolo Schettini; Peron, Adriano
The Way to Go: Multi-Level Temporal Logics
1999 Montanari, A.; Peron, Adriano; Policriti, A.
Transitions as interrupts: a new semantics for timed Statecharts
1994 A., Maggiolo Schettini; Peron, Adriano
Timed Communicating Automata
1999 R., Lanotte; A., Maggiolo Schettini; Peron, Adriano
The way to go: Multi-level temporal logics.
1999 A., Montanari; Peron, Adriano; A., Policriti
11th International Symposium on Web and Wireless Geographical Information Systems (W2GIS 2012).
2012 DI MARTINO, Sergio; Peron, Adriano; Taro, Tezuka
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
DEFINABILITY AND DECIDABILITY OF BINARY PREDICATES FOR TIME GRANULARITY
2003 Peron, Adriano; M., Franceschet; A., Montanari; G., Sciavicco
Timed protocols insecurity problem is NP-complete
2010 Benerecetti, Massimo; Nicola, Cuomo; Peron, Adriano
Dynamical Hierachical Machines
2003 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S.
A comparison of step-semantics of Statecharts, Theoretical Computer Science
2003 MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S.
Logical definability of Y-tree and trellis systolic omega-languages
2001 Monti, A.; Peron, Adriano
Theories of omega-layered metric temporal structures: expressiveness and decidability
1999 Montanari, A.; Peron, Adriano; Policriti, A.
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Verification of well-formed Communicating Recursive State Machines | 1.1 Articolo in rivista | 2008 | Bozzelli, L.; La Torre, S.; Peron, Adriano | |
| Verification of Well-Formed Communicating Recursive State Machines | 4.1 Articoli in Atti di convegno | 2006 | Bozzelli, A.; LA TORRE S, S.; Peron, Adriano | |
| The taming (timing) of states | 4.1 Articoli in Atti di convegno | 1999 | Montanari, A.; Peron, Adriano; Policriti, A. | |
| The taming (timing) of states | 1.1 Articolo in rivista | 2000 | Montanari, A.; Peron, Adriano; Policriti, A. | |
| On the undecidability of logics with nominals, recursion and counting | 1.1 Articolo in rivista | 2004 | Bonatti, PIERO ANDREA; Peron, Adriano | |
| Timed Communicating Automata | 1.1 Articolo in rivista | 2000 | Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano | |
| Systolic tree omega-languages: the operational and the logical view | 1.1 Articolo in rivista | 2000 | Monti, A.; Peron, Adriano | |
| Semantics of Statecharts based on graph rewriting | 2.1 Contributo in volume (Capitolo o Saggio) | 1992 | A., Maggiolo Schettini; Peron, Adriano | |
| The Way to Go: Multi-Level Temporal Logics | 2.1 Contributo in volume (Capitolo o Saggio) | 1999 | Montanari, A.; Peron, Adriano; Policriti, A. | |
| Transitions as interrupts: a new semantics for timed Statecharts | 2.1 Contributo in volume (Capitolo o Saggio) | 1994 | A., Maggiolo Schettini; Peron, Adriano | |
| Timed Communicating Automata | 4.1 Articoli in Atti di convegno | 1999 | R., Lanotte; A., Maggiolo Schettini; Peron, Adriano | |
| The way to go: Multi-level temporal logics. | 4.1 Articoli in Atti di convegno | 1999 | A., Montanari; Peron, Adriano; A., Policriti | |
| 11th International Symposium on Web and Wireless Geographical Information Systems (W2GIS 2012). | 8.04 Convegni organizzati dalla struttura | 2012 | DI MARTINO, Sergio; Peron, Adriano; Taro, Tezuka | |
| 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 | |
| DEFINABILITY AND DECIDABILITY OF BINARY PREDICATES FOR TIME GRANULARITY | 4.1 Articoli in Atti di convegno | 2003 | Peron, Adriano; M., Franceschet; A., Montanari; G., Sciavicco | |
| Timed protocols insecurity problem is NP-complete | 4.1 Articoli in Atti di convegno | 2010 | Benerecetti, Massimo; Nicola, Cuomo; Peron, Adriano | |
| Dynamical Hierachical Machines | 1.1 Articolo in rivista | 2003 | Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S. | |
| A comparison of step-semantics of Statecharts, Theoretical Computer Science | 1.1 Articolo in rivista | 2003 | MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S. | |
| Logical definability of Y-tree and trellis systolic omega-languages | 1.1 Articolo in rivista | 2001 | Monti, A.; Peron, Adriano | |
| Theories of omega-layered metric temporal structures: expressiveness and decidability | 1.1 Articolo in rivista | 1999 | Montanari, A.; Peron, Adriano; Policriti, A. |