IRIS

PERON, ADRIANO

PERON, ADRIANO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 127 (tempo di esecuzione: 0.042 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
The way to go: Multi-level temporal logics. 4.1 Articoli in Atti di convegno 1999 A., Montanari; Peron, Adriano; A., Policriti
The Way to Go: Multi-Level Temporal Logics 2.1 Contributo in volume (Capitolo o Saggio) 1999 Montanari, A.; Peron, Adriano; Policriti, A.
TPMC: A Model Checker for Time-Sensitive Security Protocols 4.1 Articoli in Atti di convegno 2007 Benerecetti, Massimo; Cuomo, N; Peron, Adriano
Systolic tree omega-languages: the operational and the logical view 1.1 Articolo in rivista 2000 Monti, A.; Peron, Adriano
Transformations of Timed Communicating Automata 1.1 Articolo in rivista 2001 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.
Extending Kamp theorem to linear orders with binary predicates to model time granularity 1.1 Articolo in rivista 2002 Montanari, A.; Peron, Adriano; Policriti, A.
Dynamical Hierachical Machines 1.1 Articolo in rivista 2003 Lanotte, R.; 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.
Representing and reasoning about temporal granulariries 1.1 Articolo in rivista 2004 Combi, C.; Franceschet, M.; 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
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
Transformations of Timed Communicating Automata 4.1 Articoli in Atti di convegno 2000 R., Lanotte; A., Maggiolo Schettini; Peron, Adriano; S., Tini
Timed protocols insecurity problem is NP-complete 4.1 Articoli in Atti di convegno 2010 Benerecetti, Massimo; Nicola, Cuomo; Peron, Adriano
Analysis of Timed Recursive State Machines 4.1 Articoli in Atti di convegno 2010 Benerecetti, Massimo; S., Minopoli; 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
Timed Communicating Automata 4.1 Articoli in Atti di convegno 1999 R., Lanotte; A., Maggiolo Schettini; Peron, Adriano
Timed Communicating Automata 1.1 Articolo in rivista 2000 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano