PERON, ADRIANO

PERON, ADRIANO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 125 (tempo di esecuzione: 0.177 secondi).
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
The taming (timing) of states 4.1 Articoli in Atti di convegno 1999 Montanari, A.; Peron, Adriano; Policriti, A.
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
Timed HLPSL for specification and verification of time sensitive protocols 4.1 Articoli in Atti di convegno 2006 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
A logical characterization of systolic languages 2.1 Contributo in volume (Capitolo o Saggio) 1998 A., Monti; Peron, Adriano
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
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
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
Verification of well-formed Communicating Recursive State Machines 1.1 Articolo in rivista 2008 L., Bozzelli; S., La Torre; Peron, Adriano
Verification of Well-Formed Communicating Recursive State Machines 4.1 Articoli in Atti di convegno 2006 A., Bozzelli; S., LA TORRE S; 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.