PERON, ADRIANO

PERON, ADRIANO  

Dipartimento di Matematica, Informatica e Geoscienze  

Settore INF/01 - Informatica  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 121 (tempo di esecuzione: 0.022 secondi).
Titolo Data di pubblicazione Autori File
2-Visibly Pushdown automata 1-gen-2007 PERON, ADRIANO +
A COMPARISON OF STEP-SEMANTICS OF STATECHARTS 1-gen-2003 PERON, ADRIANO +
A comparison of step-semantics of Statecharts, Theoretical Computer Science 1-gen-2003 PERON, ADRIANO +
A General Web-based Framework for Spatio-Temporal Exploration and Visualization applied to a Case Study on Cultural Heritage Data 1-gen-2012 A. Peron +
A graph rewriting framework for Statecharts semantics 1-gen-1996 PERON, ADRIANO +
A knowledge based system for geophysical data interpretation 1-gen-1990 PERON, ADRIANO +
A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS 1-gen-2002 PERON, ADRIANO +
A logical characterization of systolic languages 1-gen-1998 PERON, ADRIANO +
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 1-gen-2015 PERON, ADRIANO +
A multimedia system for automatic recognition, indexing and retrieval of heterogeneous music documents 1-gen-2000 PERON, ADRIANO +
A Quantitative Extension of Interval Temporal Logic over Infinite Words 1-gen-2022 Peron A. +
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete 1-gen-2021 Peron A. +
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications 1-gen-2009 PERON, ADRIANO +
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 1-gen-2017 PERON, ADRIANO +
An interoperable testing environment for ERTMS/ETCS control systems 1-gen-2014 Peron, Adriano +
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 1-gen-2020 Peron A. +
Analysis of Timed Recursive State Machines 1-gen-2010 PERON, ADRIANO +
Asynchronous Extensions of HyperLTL 1-gen-2021 Peron A. +
Benchmarking management techniques for massive IIoT time series in a fog architecture 1-gen-2021 Peron, Adriano +
Checking Interval Properties of Computations 1-gen-2016 PERON, ADRIANO +