IRIS

PERON, ADRIANO

PERON, ADRIANO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 128 (tempo di esecuzione: 0.046 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
The taming (timing) of states 1.1 Articolo in rivista 2000 Montanari, A.; Peron, Adriano; Policriti, A.
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
Transformations of Timed Communicating Automata 1.1 Articolo in rivista 2001 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S.
Theories of omega-layered metric temporal structures: expressiveness and decidability 1.1 Articolo in rivista 1999 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
Verification of well-formed Communicating Recursive State Machines 1.1 Articolo in rivista 2008 Bozzelli, L.; La Torre, S.; Peron, Adriano
Combining Flux Balance Analysis and Model Checking for Metabolic Network Validation and Analysis. 1.1 Articolo in rivista 2015 Pagliarini, Roberto; Sangiovanni, Mara; Peron, Adriano; DI BERNARDO, Diego
Timed protocols insecurity problem is NP-complete 4.1 Articoli in Atti di convegno 2010 Benerecetti, Massimo; Nicola, Cuomo; Peron, Adriano
Checking interval properties of computations 4.1 Articoli in Atti di convegno 2014 Angelo, Monatnari; Murano, Aniello; Giuseppe, Perelli; Peron, Adriano
A logical characterization of systolic languages 2.1 Contributo in volume (Capitolo o Saggio) 1998 A., Monti; Peron, Adriano
Timed HLPSL for specification and verification of time sensitive protocols 4.1 Articoli in Atti di convegno 2006 Benerecetti, Massimo; Cuomo, Nicola; 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
TPMC: A model checker for time–sensitive security protocols 1.1 Articolo in rivista 2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
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 knowledge based system for geophysical data interpretation 4.1 Articoli in Atti di convegno 1990 V., Roberto; L., Gargiulo; Peron, Adriano; C., Chiaruttini
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications 1.1 Articolo in rivista 2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Definability and decidability of binary predicates for time granularity 1.1 Articolo in rivista 2006 Franceschet, M; Montanari, A; Peron, Adriano; Sciavicco, G.
Representing and reasoning about temporal granulariries 1.1 Articolo in rivista 2004 Combi, C.; Franceschet, M.; Peron, Adriano
Timed protocols insecurity problem is NP-complete 4.1 Articoli in Atti di convegno 2010 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano