IRIS

PERON, ADRIANO

PERON, ADRIANO  

Dipartimento di Ingegneria elettrica e delle Tecnologie dell'Informazione  

Mostra records
Risultati 1 - 20 di 116 (tempo di esecuzione: 0.02 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Timed Communicating Automata 4.1 Articoli in Atti di convegno 1999 R., Lanotte; A., Maggiolo Schettini; Peron, Adriano
Dynamic Hierachical Machines 4.1 Articoli in Atti di convegno 2002 R., Lanotte; A., Maggiolo Schettini; Peron, Adriano; S., Tini
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
Extending Kamp theorem with binary operators to model time granularity 4.1 Articoli in Atti di convegno 2000 Montanari, A.; Peron, Adriano; Policriti, A.
Semantics of Statecharts based on graph rewriting 2.1 Contributo in volume (Capitolo o Saggio) 1992 A., Maggiolo Schettini; Peron, Adriano
A COMPARISON OF STEP-SEMANTICS OF STATECHARTS 1.1 Articolo in rivista 2003 Peron, Adriano; M., Schettini; S., Tini
Statecharts, transition structures and transformations 2.1 Contributo in volume (Capitolo o Saggio) 1995 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. 4.1 Articoli in Atti di convegno 1999 A., Montanari; Peron, Adriano; 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
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
The Way to Go: Multi-Level Temporal Logics 2.1 Contributo in volume (Capitolo o Saggio) 1999 Montanari, A.; Peron, Adriano; Policriti, A.
The taming (timing) of states 4.1 Articoli in Atti di convegno 1999 Montanari, A.; Peron, Adriano; Policriti, A.
Checking interval properties of computations 4.1 Articoli in Atti di convegno 2014 Angelo, Monatnari; Murano, Aniello; Giuseppe, Perelli; Peron, Adriano
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
Dynamical Hierachical Machines 1.1 Articolo in rivista 2003 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.
Low level processing techniques in geophysical image interpretation 1.1 Articolo in rivista 1989 V., Roberto; Peron, Adriano; P. L., Fumis
Theories of omega-layered metric temporal structures: expressiveness and decidability 1.1 Articolo in rivista 1999 Montanari, A.; Peron, Adriano; Policriti, A.
A logical characterization of systolic languages 2.1 Contributo in volume (Capitolo o Saggio) 1998 A., Monti; Peron, Adriano