PERON, Adriano
PERON, Adriano
DIMI - DIPARTIMENTO DI MATEMATICA E INFORMATICA (attivo dal 01/01/1900 al 31/12/2015)
A Multimedia System for Automatic Recognition, Indexing and Retrieval of Heterogeneous Music Documents
2000-01-01 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
2019-01-01 Bozzelli, L.; Montanari, A.; Peron, A.
Complexity analysis of a unifying algorithm for model checking interval temporal logic
2020-01-01 Bozzelli, L.; Montanari, A.; Peron, A.
Interval Temporal Logic for Visibly Pushdown Systems
2023-01-01 Bozzelli, L.; Montanari, A.; Peron, A.
PSPACE-completeness of the temporal logic of sub-intervals and suffixes
2023-01-01 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION
2022-01-01 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
2024-01-01 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
The taming (timing) of the states
2000-01-01 Montanari, Angelo; Peron, Adriano; Policriti, Alberto
Undecidability of future timeline-based planning over dense temporal domains
2020-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.