PERON, ADRIANO

PERON, ADRIANO  

Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione  

Mostra records
Risultati 1 - 20 di 115 (tempo di esecuzione: 0.063 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
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
2-Visibly Pushdown automata 4.1 Articoli in Atti di convegno 2007 Carotenuto, Dario; Murano, Aniello; Peron, Adriano
A COMPARISON OF STEP-SEMANTICS OF STATECHARTS 1.1 Articolo in rivista 2003 Peron, Adriano; M., Schettini; S., Tini
A comparison of step-semantics of Statecharts, Theoretical Computer Science 1.1 Articolo in rivista 2003 MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S.
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 graph rewriting framework for Statecharts semantics 2.1 Contributo in volume (Capitolo o Saggio) 1996 A., Maggiolo Schettini; Peron, Adriano
A knowledge based system for geophysical data interpretation 4.1 Articoli in Atti di convegno 1990 V., Roberto; L., Gargiulo; Peron, Adriano; C., Chiaruttini
A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS 2.1 Contributo in volume (Capitolo o Saggio) 2002 Peron, Adriano; C., Combi; M., Franceschet
A logical characterization of systolic languages 2.1 Contributo in volume (Capitolo o Saggio) 1998 A., Monti; 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
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 4.1 Articoli in Atti di convegno 2021 Bozzelli, L.; Montanari, A.; Sala, P.; Peron, A.
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
Analysis of Timed Recursive State Machines 4.1 Articoli in Atti di convegno 2010 Benerecetti, Massimo; S., Minopoli; Peron, Adriano
Asynchronous Extensions of HyperLTL 4.1 Articoli in Atti di convegno 2021 Bozzelli, L.; Peron, A.; Sanchez, C.
Benchmarking management techniques for massive IIoT time series in a fog architecture 1.1 Articolo in rivista 2021 Riccabone, Alberto; Vitale, Vincenzo Norman; Peron, Adriano; Di Martino, Sergio
Checking Interval Properties of Computations 1.1 Articolo in rivista 2016 Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano
Checking interval properties of computations 4.1 Articoli in Atti di convegno 2014 Angelo, Monatnari; Murano, Aniello; Giuseppe, Perelli; 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
Complexity analysis of a unifying algorithm for model checking interval temporal logic 4.1 Articoli in Atti di convegno 2019 Bozzelli, L.; Montanari, A.; Peron, A.
Complexity analysis of a unifying algorithm for model checking interval temporal logic 1.1 Articolo in rivista 2021 Bozzelli, L.; Montanari, A.; Peron, A.