PERON, Adriano

PERON, Adriano  

DIMI - DIPARTIMENTO DI MATEMATICA E INFORMATICA (attivo dal 01/01/1900 al 31/12/2015)  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
A Multimedia System for Automatic Recognition, Indexing and Retrieval of Heterogeneous Music Documents 1-gen-2000 Alessandro, Argentini; Combi, Carlo; Foresti, Gian Luca; Mirolo, Claudio; Montanari, Angelo; Peron, Adriano
Complexity analysis of a unifying algorithm for model checking interval temporal logic 1-gen-2020 Bozzelli, L.; Montanari, A.; Peron, A.
Complexity analysis of a unifying algorithm for model checking interval temporal logic 1-gen-2019 Bozzelli, L.; Montanari, A.; Peron, A.
Interval Temporal Logic for Visibly Pushdown Systems 1-gen-2023 Bozzelli, L.; Montanari, A.; Peron, A.
PSPACE-completeness of the temporal logic of sub-intervals and suffixes 1-gen-2023 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION 1-gen-2022 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
THE ADDITION OF TEMPORAL NEIGHBORHOOD MAKES THE LOGIC OF PREFIXES AND SUB-INTERVALS EXPSPACE-COMPLETE 1-gen-2024 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
The taming (timing) of the states 1-gen-2000 Montanari, Angelo; Peron, Adriano; Policriti, Alberto
Undecidability of future timeline-based planning over dense temporal domains 1-gen-2020 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.