Checking interval properties of computations A Molinari, A Montanari, A Murano, G Perelli, A Peron
Acta Informatica 53, 587-619, 2016
51 2016 Interval vs. point temporal logic model checking: an expressiveness comparison L Bozzelli, A Molinari, A Montanari, A Peron, P Sala
LIPIcs-Leibniz International Proceedings in Informatics 65, 2016
41 2016 Interval temporal logic model checking: The border between good and bad HS fragments L Bozzelli, A Molinari, A Montanari, A Peron, P Sala
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016
24 2016 A model checking procedure for interval temporal logics based on track representatives A Molinari, A Montanari, A Peron
24th EACSL Annual Conference on Computer Science Logic (CSL 2015), 2015
23 2015 Complexity of ITL model checking: some well-behaved fragments of the interval logic HS A Molinari, A Montanari, A Peron
2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015
20 2015 Model checking well-behaved fragments of HS: the (almost) final picture A Molinari, A Montanari, A Peron, P Sala
Fifteenth International Conference on the Principles of Knowledge …, 2016
19 2016 Which fragments of the interval temporal logic HS are tractable in model checking? L Bozzelli, A Molinari, A Montanari, A Peron, P Sala
Theoretical Computer Science 764, 125-144, 2019
18 2019 On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions L Bozzelli, A Molinari, A Montanari, A Peron
arXiv preprint arXiv:1709.02094, 2017
18 2017 Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy L Bozzelli, A Molinari, A Montanari, A Peron, P Sala
Information and Computation 262, 241-264, 2018
16 2018 Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption L Bozzelli, A Molinari, A Montanari, A Peron, P Sala
44th International Colloquium on Automata, Languages, and Programming (ICALP …, 2017
16 2017 Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives A Molinari, A Montanari, A Peron
Information and Computation 259, 412-443, 2018
14 2018 Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains L Bozzelli, A Molinari, A Montanari, A Peron
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
12 2018 An in-depth investigation of interval temporal logic model checking with regular expressions L Bozzelli, A Molinari, A Montanari, A Peron
Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017
10 2017 Model Checking the Logic of Allen's Relations Meets and Started-by is L Bozzelli, A Molinari, A Montanari, A Peron, P Sala
arXiv preprint arXiv:1609.04090, 2016
10 2016 Model checking interval temporal logics with regular expressions L Bozzelli, A Molinari, A Montanari, A Peron
Information and Computation 272, 104498, 2020
9 2020 Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground L Bozzelli, A Molinari, A Montanari, A Peron
arXiv preprint arXiv:1809.03103, 2018
9 2018 Timeline-based planning over dense temporal domains L Bozzelli, A Molinari, A Montanari, A Peron, G Woeginger
Theoretical Computer Science 813, 305-326, 2020
7 2020 Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete. L Bozzelli, A Molinari, A Montanari, A Peron, GJ Woeginger
ICTCS, 116-127, 2018
7 2018 Model checking: the interval way A Molinari
arXiv preprint arXiv:1901.03880, 2019
6 2019 Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. L Bozzelli, A Molinari, A Montanari, A Peron, P Sala
ICTCS 1720, 49-61, 2016
2 2016 
Angelo MontanariProfessor of Computer Science, Univ. of UdineEmail verificata su uniud.it