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
TPMC: A Model Checker for Time-Sensitive Security Protocols
2007 Benerecetti, Massimo; Cuomo, N; Peron, Adriano
On the undecidability of logics with nominals, recursion and counting
2004 Bonatti, PIERO ANDREA; Peron, Adriano
TPMC: A model checker for time–sensitive security protocols
2009 Benerecetti, Massimo; Cuomo, Nicola; 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
Dynamic Hierachical Machines
2002 R., Lanotte; A., Maggiolo Schettini; Peron, Adriano; S., Tini
The way to go: Multi-level temporal logics.
1999 A., Montanari; Peron, Adriano; A., Policriti
Theories of omega-layered metric temporal structures: expressiveness and decidability
1999 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
Transitions as interrupts: a new semantics for timed Statecharts
1994 A., Maggiolo Schettini; Peron, Adriano
Transformations of Timed Communicating Automata
2001 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S.
Semantics of Statecharts based on graph rewriting
1992 A., Maggiolo Schettini; Peron, Adriano
Transformations of Timed Communicating Automata
2000 R., Lanotte; A., Maggiolo Schettini; Peron, Adriano; S., Tini
Extending Kamp theorem with binary operators to model time granularity
2000 Montanari, A.; Peron, Adriano; Policriti, A.
Systolic tree omega-languages
1995 A., Monti; Peron, Adriano
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
The Way to Go: Multi-Level Temporal Logics
1999 Montanari, A.; Peron, Adriano; Policriti, A.
11th International Symposium on Web and Wireless Geographical Information Systems (W2GIS 2012).
2012 DI MARTINO, Sergio; Peron, Adriano; Taro, Tezuka
Timed Communicating Automata
1999 R., Lanotte; A., Maggiolo Schettini; Peron, Adriano
Retiming techniques for Statechatrs
1996 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 | |
TPMC: A Model Checker for Time-Sensitive Security Protocols | 4.1 Articoli in Atti di convegno | 2007 | Benerecetti, Massimo; Cuomo, N; Peron, Adriano | |
On the undecidability of logics with nominals, recursion and counting | 1.1 Articolo in rivista | 2004 | Bonatti, PIERO ANDREA; Peron, Adriano | |
TPMC: A model checker for time–sensitive security protocols | 1.1 Articolo in rivista | 2009 | Benerecetti, Massimo; Cuomo, Nicola; 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 | |
Dynamic Hierachical Machines | 4.1 Articoli in Atti di convegno | 2002 | R., Lanotte; A., Maggiolo Schettini; Peron, Adriano; S., Tini | |
The way to go: Multi-level temporal logics. | 4.1 Articoli in Atti di convegno | 1999 | A., Montanari; Peron, Adriano; A., Policriti | |
Theories of omega-layered metric temporal structures: expressiveness and decidability | 1.1 Articolo in rivista | 1999 | 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 | |
Transitions as interrupts: a new semantics for timed Statecharts | 2.1 Contributo in volume (Capitolo o Saggio) | 1994 | A., Maggiolo Schettini; Peron, Adriano | |
Transformations of Timed Communicating Automata | 1.1 Articolo in rivista | 2001 | Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S. | |
Semantics of Statecharts based on graph rewriting | 2.1 Contributo in volume (Capitolo o Saggio) | 1992 | A., Maggiolo Schettini; Peron, Adriano | |
Transformations of Timed Communicating Automata | 4.1 Articoli in Atti di convegno | 2000 | R., Lanotte; A., Maggiolo Schettini; Peron, Adriano; S., Tini | |
Extending Kamp theorem with binary operators to model time granularity | 4.1 Articoli in Atti di convegno | 2000 | Montanari, A.; Peron, Adriano; Policriti, A. | |
Systolic tree omega-languages | 2.1 Contributo in volume (Capitolo o Saggio) | 1995 | A., Monti; Peron, Adriano | |
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 | |
The Way to Go: Multi-Level Temporal Logics | 2.1 Contributo in volume (Capitolo o Saggio) | 1999 | Montanari, A.; Peron, Adriano; Policriti, A. | |
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 | |
Timed Communicating Automata | 4.1 Articoli in Atti di convegno | 1999 | R., Lanotte; A., Maggiolo Schettini; Peron, Adriano | |
Retiming techniques for Statechatrs | 2.1 Contributo in volume (Capitolo o Saggio) | 1996 | A., Maggiolo Schettini; Peron, Adriano |