| Tableaux for logics of subinterval structures over dense orderings D Bresolin, V Goranko, A Montanari, P Sala Journal of Logic and Computation 20 (1), 133-166, 2010 | 78 | 2010 |
| Maximal decidable fragments of Halpern and Shoham’s modal logic of intervals A Montanari, G Puppis, P Sala International Colloquium on Automata, Languages, and Programming, 345-356, 2010 | 77 | 2010 |
| An optimal tableau-based decision algorithm for Propositional Neighborhood Logic D Bresolin, A Montanari, P Sala STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science …, 2007 | 51 | 2007 |
| Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco Theoretical Computer Science 560, 269-291, 2014 | 48 | 2014 |
| Decidability of the interval temporal logic ABBar over the natural numbers A Montanari, G Puppis, P Sala, G Sciavicco arXiv preprint arXiv:0912.3429, 2009 | 47 | 2009 |
| A general tableau method for propositional interval temporal logics: Theory and implementation V Goranko, A Montanari, P Sala, G Sciavicco Journal of Applied Logic 4 (3), 305-330, 2006 | 42 | 2006 |
| What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL D Bresolin, A Montanari, P Sala, G Sciavicco 2011 IEEE 26th Annual Symposium on Logic in Computer Science, 387-396, 2011 | 40 | 2011 |
| A decidable spatial logic with cone-shaped cardinal directions A Montanari, G Puppis, P Sala Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual …, 2009 | 40 | 2009 |
| Decidability of the logics of the reflexive sub-interval and super-interval relations over finite linear orders A Montanari, I Pratt-Hartmann, P Sala 2010 17th International Symposium on Temporal Representation and Reasoning …, 2010 | 32 | 2010 |
| Mining approximate temporal functional dependencies with pure temporal grouping in clinical databases C Combi, M Mantovani, A Sabaini, P Sala, F Amaddeo, U Moretti, G Pozzi Computers in biology and medicine 62, 306-324, 2015 | 31 | 2015 |
| Optimal tableaux for right propositional neighborhood logic over linear orders D Bresolin, A Montanari, P Sala, G Sciavicco Logics in Artificial Intelligence: 11th European Conference, JELIA 2008 …, 2008 | 28 | 2008 |
| Interval vs. point temporal logic model checking: An expressiveness comparison L Bozzelli, A Molinari, A Montanari, A Peron, P Sala ACM Transactions on Computational Logic (TOCL) 20 (1), 1-31, 2018 | 27 | 2018 |
| Interval temporal logics over finite linear orders: the complete picture D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco ECAI 2012, 199-204, 2012 | 27 | 2012 |
| Interval temporal logic model checking: The border between good and bad HS fragments L Bozzelli, A Molinari, A Montanari, A Peron, P Sala International Joint Conference on Automated Reasoning, 389-405, 2016 | 24 | 2016 |
| Interval Logics and ωB-Regular Languages A Montanari, P Sala International Conference on Language and Automata Theory and Applications …, 2013 | 22 | 2013 |
| A uniform framework for temporal functional dependencies with multiple granularities C Combi, A Montanari, P Sala International Symposium on Spatial and Temporal Databases, 404-421, 2011 | 22 | 2011 |
| Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders D Bresolin, A Montanari, P Sala, G Sciavicco Automated Reasoning with Analytic Tableaux and Related Methods: 20th …, 2011 | 22 | 2011 |
| A decidable spatial generalization of metric interval temporal logic D Bresolin, P Sala, D Della Monica, A Montanari, G Sciavicco 2010 17th International Symposium on Temporal Representation and Reasoning …, 2010 | 20 | 2010 |
| 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 | 19* | 2017 |
| Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. A Molinari, A Montanari, A Peron, P Sala KR, 473-483, 2016 | 19 | 2016 |
