| 2026 | AAAI | Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy. | Andrea Brunello, Luca Geatti, Michele Mignani, Angelo Montanari, Nicola Saccomanno |
| 2026 | AAAI | Automata-less Monitoring via Trace-Checking. | Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno |
| 2025 | ECAI | Interpretable Early Failure Detection via Machine Learning and Trace Checking-Based Monitoring. | Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno |
| 2025 | STACS | On Cascades of Reset Automata. | Roberto Borelli, Luca Geatti, Marco Montali, Angelo Montanari |
| 2024 | FOSSACS | Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. | Luca Geatti, Alessio Mansutti, Angelo Montanari |
| 2024 | IJCAI | Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring. | Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno |
| 2023 | AAAI | Complexity of Safety and coSafety Fragments of Linear Temporal Logic. | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari |
| 2023 | KR | A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari |
| 2023 | LICS | The Logic of Prefixes and Suffixes is Elementary under Homogeneity | Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala |
| 2023 | MOBICOM | Towards Learning an Optimal Metric for Fingerprint-based Localisation. | Nicola Saccomanno, Andrea Brunello, Angelo Montanari |
| 2023 | Mobiquitous | High-Performance Features in Generalizable Fingerprint-Based Indoor Positioning. | Andrea Brunello, Angelo Montanari, Nicola Saccomanno, Joaqun Torres-Sospedra |
| 2023 | TIME | Qualitative past Timeline-Based Games (Extended Abstract). | Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari |
| 2023 | TIME | LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari |
| 2022 | FOSSACS | A first-order logic characterisation of safety and co-safety languages. | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
| 2021 | SEFM | Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
| 2021 | TIME | Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. | Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2021 | TIME | Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. | Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato |
| 2020 | AAAI | Decidability and Complexity of Action-Based Temporal Planning over Dense Time. | Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala |
| 2020 | FMCAD | Reactive Synthesis from Extended Bounded Response LTL Specifications. | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
| 2020 | ICDM | Virtual Sensing of Temperatures in Indoor Environments: A Case Study. | Andrea Brunello, Martin Kraft, Angelo Montanari, Federico Pittino, Andrea Urgolo |
| 2020 | MDM | A new similarity measure for low-sampling cellular fingerprint trajectories. | Paolo Gallo, Donatella Gubiani, Angelo Montanari, Nicola Saccomanno |
| 2020 | MFCS | On a Temporal Logic of Prefixes and Infixes. | Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2020 | Mobiquitous | Let's Forget About Exact Signal Strength: Indoor Positioning based on Access Point Ranking and Recurrent Neural Networks. | Nicola Saccomanno, Andrea Brunello, Angelo Montanari |
| 2020 | TIME | Complexity of Qualitative Timeline-Based Planning. | Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari |
| 2019 | ADBIS | Assessing the Role of Temporal Information in Modelling Short-Term Air Pollution Effects Based on Traffic and Meteorological Conditions: A Case Study in Wrocław. | Andrea Brunello, Joanna Kaminska, Enrico Marzano, Angelo Montanari, Guido Sciavicco, Tomasz Turek |
| 2019 | ADBIS | A Cellular Network Database for Fingerprint Positioning Systems. | Donatella Gubiani, Paolo Gallo, Andrea Viel, Andrea Dalla Torre, Angelo Montanari |
| 2019 | TABLEAUX | A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. | Luca Geatti, Nicola Gigante, Angelo Montanari |
| 2019 | TIME | Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. | Laura Bozzelli, Angelo Montanari, Adriano Peron |
| 2019 | TIME | Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. | Andrea Brunello, Angelo Montanari, Mark Reynolds |
| 2018 | KR | Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2018 | KR | A Novel Automata-Theoretic Approach to Timeline-Based Planning. | Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala |
| 2018 | TIME | A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. | Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds |
| 2017 | ICALP | Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2017 | IJCAI | Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. | Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2017 | LPAR | A One-Pass Tree-Shaped Tableau for LTL+Past. | Nicola Gigante, Angelo Montanari, Mark Reynolds |
| 2017 | SEFM | An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2017 | TIME | Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. | Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco |
| 2016 | CADE | Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2016 | IJCAI | Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. | Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds |
| 2016 | JELIA | Prompt Interval Temporal Logic. | Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala |
| 2016 | KR | Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. | Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2016 | TIME | Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. | Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini |
| 2016 | TIME | Interval Temporal Logics Model Checking. | Angelo Montanari |
| 2015 | CSL | A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. | Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2015 | LATA | On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2015 | TIME | Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. | Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2015 | TIME | Undecidability of Chop. | Angelo Montanari, Emilio Muoz-Velasco, Guido Sciavicco |
| 2014 | ECAI | DL-Lite and Interval Temporal Logics: a Marriage Proposal. | Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov |
| 2014 | JELIA | On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2014 | MFCS | Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals. | Angelo Montanari, Gabriele Puppis, Pietro Sala |
| 2014 | TIME | Checking Interval Properties of Computations. | Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron |
| 2014 | TIME | Metric Propositional Neighborhood Logic with an Equivalence Relation. | Angelo Montanari, Marco Pazzaglia, Pietro Sala |
| 2013 | LATA | Interval Logics and ωB-Regular Languages. | Angelo Montanari, Pietro Sala |
| 2013 | LICS | Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. | Angelo Montanari, Pietro Sala |
| 2013 | LPAR | An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2013 | TABLEAUX | A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2013 | TIME | A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2012 | ECAI | Interval Temporal Logics over Finite Linear Orders: the Complete Picture. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2012 | ICAART | A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints. | Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon |
| 2012 | ICAART | Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints. | Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon |
| 2012 | TIME | An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. | Angelo Montanari, Pietro Sala |
| 2011 | IJCAI | Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. | Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2011 | LICS | What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2011 | TABLEAUX | Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2011 | TIME | The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2011 | TIME | The Light Side of Interval Temporal Logic: The Bernays-Schnfinkel's Fragment of CDT. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2010 | ECAI | Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2010 | ICALP | Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. | Angelo Montanari, Gabriele Puppis, Pietro Sala |
| 2010 | STACS | Decidability of the Interval Temporal Logic ABB over the Natural Numbers. | Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco |
| 2010 | TIME | A Decidable Spatial Generalization of Metric Interval Temporal Logic. | Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2010 | TIME | Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. | Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala |
| 2009 | CSL | A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. | Angelo Montanari, Gabriele Puppis, Pietro Sala |
| 2009 | DEXA | A Relational Encoding of a Conceptual Model with Multiple Temporal Dimensions. | Donatella Gubiani, Angelo Montanari |
| 2009 | LFCS | Games on Strings with a Limited Order Relation. | Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna |
| 2009 | SEFM | Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2009 | TABLEAUX | A Tableau-Based System for Spatial Reasoning about Directional Relations. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2009 | TIME | Undecidability of Interval Temporal Logics with the Overlap Modality. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2008 | CSL | Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. | Ian M. Hodkinson, Angelo Montanari, Guido Sciavicco |
| 2008 | ICLP | Back to Interval Temporal Logics. | Angelo Montanari |
| 2008 | JELIA | Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2008 | LPAR | Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2008 | TIME | An optimal tableau for Right Propositional Neighborhood Logic over Trees. | Davide Bresolin, Angelo Montanari, Pietro Sala |
| 2007 | CIKM | The t4sql temporal query language. | Carlo Combi, Angelo Montanari, Giuseppe Pozzi |
| 2007 | LFCS | On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2007 | LICS | A Contraction Method to Decide MSO Theories of Deterministic Trees. | Angelo Montanari, Gabriele Puppis |
| 2007 | STACS | An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. | Davide Bresolin, Angelo Montanari, Pietro Sala |
| 2007 | TABLEAUX | Tableau Systems for Logics of Subinterval Structures over Dense Orderings. | Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala |
| 2007 | TIME | On the Equivalence of Automaton-Based Representations of Time Granularities. | Ugo Dal Lago, Angelo Montanari, Gabriele Puppis |
| 2006 | TIME | An automaton-based approach to the verification of timed workflow schemas. | Elisabetta De Maria, Angelo Montanari, Marco Zantoni |
| 2005 | LPAR | An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. | Angelo Montanari, Alberto Policriti, Nicola Vitacolonna |
| 2005 | TABLEAUX | A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. | Davide Bresolin, Angelo Montanari |
| 2005 | TIME | A Uniform Algebraic Characterization of Temporal Functional Dependencies. | Carlo Combi, Angelo Montanari, Rosalba Rossato |
| 2005 | TIME | Propositional Interval Temporal Logics: Some Promising Paths. | Angelo Montanari |
| 2004 | JELIA | Time Granularities and Ultimately Periodic Automata. | Davide Bresolin, Angelo Montanari, Gabriele Puppis |
| 2004 | TIME | Decidability of the Theory of the Totally Unbounded omega-Layered Structure. | Angelo Montanari, Gabriele Puppis |
| 2003 | TABLEAUX | A General Tableau Method for Propositional Interval Temporal Logics. | Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2003 | TIME | Definability and decidability of binary predicates for time granularity. | Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco |
| 2002 | CaiSE | Querying Data with Multiple Temporal Dimensions. | Carlo Combi, Angelo Montanari |
| 2002 | JELIA | Decidability of Interval Temporal Logics over Split-Frames via Granularity. | Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna |
| 2001 | CaiSE | Data Models with Multiple Temporal Dimensions: Completing the Picture. | Carlo Combi, Angelo Montanari |
| 2000 | KR | Supporting automated deduction in first-order modal logics. | Angelo Montanari, Alberto Policriti, Matteo Slanina |
| 2000 | MFCS | Derivability in Locally Quantified Modal Logics via Translation in Set Theory. | Angelo Montanari, Alberto Policriti, Matteo Slanina |
| 2000 | TIME | A Calculus of Macro-Events: Progress Report. | Iliano Cervesato, Angelo Montanari |
| 1999 | TIME | A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. | Massimo Franceschet, Angelo Montanari |
| 1998 | KR | The Complexity of Model Checking in Modal Event Calculi with Quantifiers. | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
| 1998 | TIME | Event Calculus with Explicit Quantifiers. | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
| 1997 | ICLP | The Complexity of Model Checking in Modal Event Calculi. | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
| 1997 | IJCAI | A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. | Angelo Montanari, Alberto Policriti |
| 1997 | TIME | Modal Event Calculi with Preconditions. | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
| 1996 | ECAI | A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants. | Angelo Montanari, Luca Chittaro, Iliano Cervesato |
| 1995 | ICLP | A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. | Iliano Cervesato, Luca Chittaro, Angelo Montanari |
| 1995 | STACS | A Set-Theoretic Translation Method for (Poly)modal Logics. | Giovanna D'Agostino, Angelo Montanari, Alberto Policriti |
| 1994 | ECAI | Skeptical and Credulous Event Calculi for Supporting Modal Queries. | Luca Chittaro, Angelo Montanari, Alessandro Provetti |
| 1994 | TIME | Efficient Handling of Context Dependency in the Cached Event Calculus. | Luca Chittaro, Angelo Montanari |
| 1991 | ECRTS | Embedding time granularity in logical specifications of real-time systems. | Angelo Montanari, Elena Ratto, Edoardo Corsetti, Angelo Morzenti |