Embedding time granularity in logical specifications of real-time systems. - Angelo Montanari; Elena Ratto; Edoardo Corsetti; Angelo Morzenti (RTS, 1991)

Dealing with different time scales in formal specifications. - Edoardo Corsetti; Ernani Crivelli; Dino Mandrioli; Angelo Montanari; Angelo Morzenti; Pierluigi San Pietro; Elena Ratto (IWSSD, 1991)

Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems. - Edoardo Corsetti; Angelo Montanari; Elena Ratto (Real Time Syst., 1991)

Dealing with Time Granularity in the Event Calculus. - Angelo Montanari; Enrico Maim; Emanuele Ciapessoni; Elena Ratto (FGCS, 1992)

temporal Reasoning. - Angelo Montanari; Barbara Pernici (Temporal Databases, 1993)

Reasoning about discrete processes in a logic programming framework. - L. Chitaro; Angelo Montanari (GULP, 1993)

Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems. - Emanuele Ciapessoni; Edoardo Corsetti; Angelo Montanari; Pierluigi San Pietro (Sci. Comput. Program., 1993)

What the Event Calculus actually does, and how to do it efficiently. - Iliano Cervesato; Luca Chittaro; Angelo Montanari (GULP-PRODE (2), 1994)

Skeptical and Credulous Event Calculi for Supporting Modal Queries. - Luca Chittaro; Angelo Montanari; Alessandro Provetti (ECAI, 1994)

T-ORM: Temporal Aspects in Objects and Roles. - Nina Edelweiss; José Palazzo M. de Oliveira; José Mauro Volkmer de Castilho; Elisa Peressi; Angelo Montanari; Barbara Pernici (ORM, 1994)

T-ORM: un modello temporale per l'evoluzione degli oggetti. - Elisa Peressi; Angelo Montanari; Barbara Pernici (SEBD, 1994)

Modal Event Calculus. - Iliano Cervesato; Luca Chittaro; Angelo Montanari (ILPS, 1994)

Efficient Handling of Context Dependency in the Cached Event Calculus. - Luca Chittaro; Angelo Montanari (TIME, 1994)

Object Migration in Temporal Object-Oriented Databases. - Angelo Montanari; Elisa Peressi; Barbara Pernici (Informatica (Slovenia), 1994)

Completeness Results for Two-sorted Metric Temporal Logics. - Angelo Montanari; Maarten de Rijke (AMAST, 1995)

A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. - Iliano Cervesato; Luca Chittaro; Angelo Montanari (ICLP, 1995)

A Set-Theoretic Translation Method for (Poly)modal Logics. - Giovanna D'Agostino; Angelo Montanari; Alberto Policriti (STACS, 1995)

A Set-Theoretic Translation Method for Polymodal Logics. - Giovanna D'Agostino; Angelo Montanari; Alberto Policriti (J. Autom. Reason., 1995)

A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants. - Angelo Montanari; Luca Chittaro; Iliano Cervesato (ECAI, 1996)

Efficient Temporal Reasoning in the Cached Event Calculus. - Luca Chittaro; Angelo Montanari (Comput. Intell., 1996)

Trends in temporal representation and reasoning. - Luca Chittaro; Angelo Montanari (Knowl. Eng. Rev., 1996)

Decidability Results for Metric and Layered Temporal Logics. - Angelo Montanari; Alberto Policriti (Notre Dame J. Formal Log., 1996)

Metric and Layered Temporal Logic for Time Granularity - Angelo Montanari (University of Udine, Italy, 1996)

The Consensus Glossary of Temporal Database Concepts - February 1998 Version. - Christian S. Jensen; Curtis E. Dyreson; Michael H. Böhlen; James Clifford; Ramez Elmasri; Shashi K. Gadia; Fabio Grandi 001; Patrick J. Hayes; Sushil Jajodia; Wolfgang Käfer; Nick Kline; Nikos A. Lorentzos; et al. (Temporal Databases, Dagstuhl, 1997)

The Complexity of Model Checking in Modal Event Calculi. - Iliano Cervesato; Massimo Franceschet; Angelo Montanari (ICLP, 1997)

A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. - Angelo Montanari; Alberto Policriti (IJCAI (1), 1997)

Modal Event Calculi with Preconditions. - Iliano Cervesato; Massimo Franceschet; Angelo Montanari (TIME, 1997)

Modal Deduction in Second-Order Logic and Set Theory - I. - Johan van Benthem; Giovanna D'Agostino; Angelo Montanari; Alberto Policriti (J. Log. Comput., 1997)

Two-sorted Metric Temporal Logics. - Angelo Montanari; Maarten de Rijke (Theor. Comput. Sci., 1997)

Event Calculus with Explicit Quantifiers. - Iliano Cervesato; Massimo Franceschet; Angelo Montanari (TIME, 1998)

Editorial: Temporal Representation and Reasoning. - Luca Chittaro; Angelo Montanari (Ann. Math. Artif. Intell., 1998)

The Complexity of Model Checking in Modal Event Calculi with Quantifiers. - Iliano Cervesato; Massimo Franceschet; Angelo Montanari (Electron. Trans. Artif. Intell., 1998)

Modal Deduction in Second-Order Logic and Set Theory - II. - Johan van Benthem; Giovanna D'Agostino; Angelo Montanari; Alberto Policriti (Stud Logica, 1998)

Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. - Massimo Franceschet; Angelo Montanari (AI*IA, 1999)

Indexing by Shape of Image Databases Based on Extended Grid Files. - Carlo Combi; Gian Luca Foresti; Massimo Franceschet; Angelo Montanari (ICMCS, Vol. 2, 1999)

A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. - Massimo Franceschet; Angelo Montanari (TIME, 1999)

Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. - Angelo Montanari; Adriano Peron; Alberto Policriti (Log. J. IGPL, 1999)

Editorial. - Angelo Montanari; Alberto Policriti; Yde Venema (Log. J. IGPL, 1999)

A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants. - Iliano Cervesato; Angelo Montanari (J. Log. Program., 1999)

Supporting automated deduction in first-order modal logics. - Angelo Montanari; Alberto Policriti; Matteo Slanina (KR, 2000)

Derivability in Locally Quantified Modal Logics via Translation in Set Theory. - Angelo Montanari; Alberto Policriti; Matteo Slanina (MFCS, 2000)

A Calculus of Macro-Events: Progress Report. - Iliano Cervesato; Angelo Montanari (TIME, 2000)

Temporal representation and reasoning in artificial intelligence: Issues and approaches. - Luca Chittaro; Angelo Montanari (Ann. Math. Artif. Intell., 2000)

A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus. - Massimo Franceschet; Angelo Montanari (Ann. Math. Artif. Intell., 2000)

A Guided Tour through Some Extensions of the Event Calculus. - Iliano Cervesato; Massimo Franceschet; Angelo Montanari (Comput. Intell., 2000)

The Taming (Timing) of the States. - Angelo Montanari; Adriano Peron; Alberto Policriti (Log. J. IGPL, 2000)

Data Models with Multiple Temporal Dimensions: Completing the Picture. - Carlo Combi; Angelo Montanari (CAiSE, 2001)

Calendars, Time Granularities, and Automata. - Ugo Dal Lago; Angelo Montanari (SSTD, 2001)

AAAI 2000 Workshop Reports. - Yves Lespérance; Gerd Wagner 001; William P. Birmingham; Kurt D. Bollacker; Alexander Nareyek; J. Paul Walser; David W. Aha; Timothy W. Finin; Benjamin N. Grosof; Nathalie Japkowicz; Robert Holte; Lise Getoor; et al. (AI Mag., 2001)

Querying Data with Multiple Temporal Dimensions. - Carlo Combi; Angelo Montanari (CAiSE, 2002)

Decidability of Interval Temporal Logics over Split-Frames via Granularity. - Angelo Montanari; Guido Sciavicco; Nicola Vitacolonna (JELIA, 2002)

Research Issues and Trends in Spatial and Temporal Granularities. - Claudio Bettini; Angelo Montanari (Ann. Math. Artif. Intell., 2002)

Alternative Translation Techniques for Propositional and First-Order Modal Logics. - Angelo Montanari; Alberto Policriti; Matteo Slanina (J. Autom. Reason., 2002)

Extending Kamp's Theorem to Model Time Granularity. - Angelo Montanari; Adriano Peron; Alberto Policriti (J. Log. Comput., 2002)

Binary Extensions of S1S and the Composition Method. - Enrico Marzano; Angelo Montanari; Alberto Policriti (Verification: Theory and Practice, 2003)

Towards Compact and Tractable Automaten-Based Representations of Time Granularities. - Ugo Dal Lago; Angelo Montanari; Gabriele Puppis (ICTCS, 2003)

A General Tableau Method for Propositional Interval Temporal Logics. - Valentin Goranko; Angelo Montanari; Guido Sciavicco (TABLEAUX, 2003)

Temporal representation and reasoning. - Claudio Bettini; Angelo Montanari (Data Knowl. Eng., 2003)

Propositional Interval Neighborhood Temporal Logics. - Valentin Goranko; Angelo Montanari; Guido Sciavicco (J. Univers. Comput. Sci., 2003)

Decidability of MSO Theories of Tree Structures. - Angelo Montanari; Gabriele Puppis (FSTTCS, 2004)

Time Granularities and Ultimately Periodic Automata. - Davide Bresolin; Angelo Montanari; Gabriele Puppis (JELIA, 2004)

Decidability of the Theory of the Totally Unbounded omega-Layered Structure. - Angelo Montanari; Gabriele Puppis (TIME, 2004)

Model Checking for Combined Logics with an Application to Mobile Systems. - Massimo Franceschet; Angelo Montanari; Maarten de Rijke (Autom. Softw. Eng., 2004)

A Road Map of Interval Temporal Logics and Duration Calculi. - Valentin Goranko; Angelo Montanari; Guido Sciavicco (J. Appl. Non Class. Logics, 2004)

Temporalized logics and automata for time granularity. - Massimo Franceschet; Angelo Montanari (Theory Pract. Log. Program., 2004)

An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. - Angelo Montanari; Alberto Policriti; Nicola Vitacolonna (LPAR, 2005)

Checking Workflow Schemas with Time Constraints Using Timed Automata. - Elisabetta De Maria; Angelo Montanari; Marco Zantoni (OTM Workshops, 2005)

Granular GeoGraph: a multi-granular conceptual model for spatial data. - Iginia De Fent; Donatella Gubiani; Angelo Montanari (SEBD, 2005)

A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. - Davide Bresolin; Angelo Montanari (TABLEAUX, 2005)

A Uniform Algebraic Characterization of Temporal Functional Dependencies. - Carlo Combi; Angelo Montanari; Rosalba Rossato (TIME, 2005)

Propositional Interval Temporal Logics: Some Promising Paths. - Angelo Montanari (TIME, 2005)

Time Granularity. - Jérôme Euzenat; Angelo Montanari (Handbook of Temporal Reasoning in Artificial Intelligence, 2005)

An automaton-based approach to the verification of timed workflow schemas. - Elisabetta De Maria; Angelo Montanari; Marco Zantoni (TIME, 2006)

On the relationships between theories of time granularity and the monadic second-order theory of one successor. - Angelo Montanari; Adriano Peron; Gabriele Puppis (J. Appl. Non Class. Logics, 2006)

Definability and decidability of binary predicates for time granularity. - Massimo Franceschet; Angelo Montanari; Adriano Peron; Guido Sciavicco (J. Appl. Log., 2006)

A general tableau method for propositional interval temporal logics: Theory and implementation. - Valentin Goranko; Angelo Montanari; Pietro Sala; Guido Sciavicco (J. Appl. Log., 2006)

The t4sql temporal query language. - Carlo Combi; Angelo Montanari; Giuseppe Pozzi (CIKM, 2007)

Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema. - Massimo Franceschet; Angelo Montanari; Donatella Gubiani (DEXA Workshops, 2007)

On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Guido Sciavicco (LFCS, 2007)

A Contraction Method to Decide MSO Theories of Deterministic Trees. - Angelo Montanari; Gabriele Puppis (LICS, 2007)

ChronoGeoGraph: an Expressive Spatio-Temporal Conceptual Model. - Donatella Gubiani; Angelo Montanari (SEBD, 2007)

A Tool for the Visual Synthesis and the Logical Translation of Spatio-Temporal Conceptual Schemas. - Donatella Gubiani; Angelo Montanari (SEBD, 2007)

An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. - Davide Bresolin; Angelo Montanari; Pietro Sala (STACS, 2007)

Tableau Systems for Logics of Subinterval Structures over Dense Orderings. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Pietro Sala (TABLEAUX, 2007)

On the Equivalence of Automaton-Based Representations of Time Granularities. - Ugo Dal Lago; Angelo Montanari; Gabriele Puppis (TIME, 2007)

Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Pietro Sala (M4M, 2007)

An Optimal Decision Procedure for Right Propositional Neighborhood Logic. - Davide Bresolin; Angelo Montanari; Guido Sciavicco (J. Autom. Reason., 2007)

Compact and tractable automaton-based representations of time granularities. - Ugo Dal Lago; Angelo Montanari; Gabriele Puppis (Theor. Comput. Sci., 2007)

Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. - Ian M. Hodkinson; Angelo Montanari; Guido Sciavicco (CSL, 2008)

A conceptual spatial model supporting topologically-consistent multiple representations. - Donatella Gubiani; Angelo Montanari (GIS, 2008)

Back to Interval Temporal Logics. - Angelo Montanari (ICLP, 2008)

Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (JELIA, 2008)

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 (LPAR, 2008)

An optimal tableau for Right Propositional Neighborhood Logic over Trees. - Davide Bresolin; Angelo Montanari; Pietro Sala (TIME, 2008)

A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. - Angelo Montanari; Gabriele Puppis; Pietro Sala (CSL, 2009)

A Relational Encoding of a Conceptual Model with Multiple Temporal Dimensions. - Donatella Gubiani; Angelo Montanari (DEXA, 2009)

Games on Strings with a Limited Order Relation. - Elisabetta De Maria; Angelo Montanari; Nicola Vitacolonna (LFCS, 2009)

Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Guido Sciavicco (SEFM, 2009)

A Tableau-Based System for Spatial Reasoning about Directional Relations. - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (TABLEAUX, 2009)

Undecidability of Interval Temporal Logics with the Overlap Modality. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (TIME, 2009)

From Entity Relationship to XML Schema: A Graph-Theoretic Approach. - Massimo Franceschet; Donatella Gubiani; Angelo Montanari; Carla Piazza (XSym, 2009)

A theory of ultimately periodic languages and automata with an application to time granularity. - Davide Bresolin; Angelo Montanari; Gabriele Puppis (Acta Informatica, 2009)

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Guido Sciavicco (Ann. Pure Appl. Log., 2009)

Decidability of the interval temporal logic ABBar over the natural numbers - Angelo Montanari; Gabriele Puppis; Pietro Sala; Guido Sciavicco (CoRR, 2009)

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (M4M, 2009)

Time Domain. - Angelo Montanari; Jan Chomicki (Encyclopedia of Database Systems, 2009)

Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (ECAI, 2010)

Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. - Angelo Montanari; Gabriele Puppis; Pietro Sala (ICALP (2), 2010)

From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract). - Massimo Franceschet; Donatella Gubiani; Angelo Montanari; Carla Piazza (SEBD, 2010)

Decidability of the Interval Temporal Logic ABB over the Natural Numbers. - Angelo Montanari; Gabriele Puppis; Pietro Sala; Guido Sciavicco (STACS, 2010)

A Decidable Spatial Generalization of Metric Interval Temporal Logic. - Davide Bresolin; Pietro Sala; Dario Della Monica; Angelo Montanari; Guido Sciavicco (TIME, 2010)

Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. - Angelo Montanari; Ian Pratt-Hartmann; Pietro Sala (TIME, 2010)

Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). - Dario Campagna; Christian De Rosa; Agostino Dovier; Angelo Montanari; Carla Piazza (Fundam. Informaticae, 2010)

Tableaux for Logics of Subinterval Structures over Dense Orderings. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Pietro Sala (J. Log. Comput., 2010)

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 (IJCAI, 2011)

What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (LICS, 2011)

A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities. - Carlo Combi; Angelo Montanari; Pietro Sala (SSTD, 2011)

Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (TABLEAUX, 2011)

The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (TIME, 2011)

The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Guido Sciavicco (TIME, 2011)

An Optimal Decision Procedure for MPNL over the Integers - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (GandALF, 2011)

Interval Temporal Logics: a Journey. - Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (Bull. EATCS, 2011)

The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. - Dario Della Monica; Angelo Montanari; Pietro Sala (Logic Programs, Norms and Action, 2012)

Interval Temporal Logics over Finite Linear Orders: the Complete Picture. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (ECAI, 2012)

A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints. - Angelo Montanari; Isabel Navarrete; Guido Sciavicco; Alberto Tonon (ICAART (1), 2012)

Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints. - Angelo Montanari; Isabel Navarrete; Guido Sciavicco; Alberto Tonon (ICAART (Revised Selected Papers), 2012)

An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. - Angelo Montanari; Pietro Sala (TIME, 2012)

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (GandALF, 2012)

Preface. - Angelo Montanari; Margherita Napoli; Mimmo Parente (Int. J. Found. Comput. Sci., 2012)

Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. - Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (J. Univers. Comput. Sci., 2012)

Interval Logics and ωB-Regular Languages. - Angelo Montanari; Pietro Sala (LATA, 2013)

Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. - Angelo Montanari; Pietro Sala (LICS, 2013)

An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. - Luca Aceto; Dario Della Monica; Anna Ingólfsdóttir; Angelo Montanari; Guido Sciavicco (LPAR, 2013)

A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Guido Sciavicco (TABLEAUX, 2013)

A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. - Luca Aceto; Dario Della Monica; Anna Ingólfsdóttir; Angelo Montanari; Guido Sciavicco (TIME, 2013)

Metric propositional neighborhood logics on natural numbers. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (Softw. Syst. Model., 2013)

Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (Theor. Comput. Sci., 2013)

A graph-theoretic approach to map conceptual designs to XML schemas. - Massimo Franceschet; Donatella Gubiani; Angelo Montanari; Carla Piazza (ACM Trans. Database Syst., 2013)

DL-Lite and Interval Temporal Logics: a Marriage Proposal. - Alessandro Artale; Davide Bresolin; Angelo Montanari; Guido Sciavicco; Vladislav Ryzhikov (ECAI, 2014)

Adding two equivalence relations to the interval temporal logic AB. - Angelo Montanari; Marco Pazzaglia; Pietro Sala (ICTCS, 2014)

On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. - Luca Aceto; Dario Della Monica; Anna Ingólfsdóttir; Angelo Montanari; Guido Sciavicco (JELIA, 2014)

Decidability of the Interval Temporal Logic $ mathsf{A bar{A}B bar{B}}$ over the Rationals. - Angelo Montanari; Gabriele Puppis; Pietro Sala (MFCS (1), 2014)

Checking Interval Properties of Computations. - Angelo Montanari; Aniello Murano; Giuseppe Perelli; Adriano Peron (TIME, 2014)

The dark side of interval temporal logic: marking the undecidability border. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (Ann. Math. Artif. Intell., 2014)

The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Guido Sciavicco (Ann. Math. Artif. Intell., 2014)

Interval-based Synthesis. - Angelo Montanari; Pietro Sala (GandALF, 2014)

Report on TIME 2013. - Angelo Montanari (Bull. EATCS, 2014)

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (Theor. Comput. Sci., 2014)

A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. - Alberto Molinari; Angelo Montanari; Adriano Peron (CSL, 2015)

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 (LATA, 2015)

Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. - Alberto Molinari; Angelo Montanari; Adriano Peron (TIME, 2015)

Undecidability of Chop. - Angelo Montanari; Emilio Muñoz-Velasco; Guido Sciavicco (TIME, 2015)

A decidable weakening of Compass Logic based on cone-shaped cardinal directions. - Angelo Montanari; Gabriele Puppis; Pietro Sala (Log. Methods Comput. Sci., 2015)

Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. - Alberto Molinari; Angelo Montanari; Adriano Peron (ICTCS, 2015)

Games, Automata, Logics, and Formal Verification (GandALF 2013). - Angelo Montanari; Gabriele Puppis; Tiziano Villa (Inf. Comput., 2015)

Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (IJCAR, 2016)

Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (ICTCS, 2016)

Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. - Matteo Bertello; Nicola Gigante; Angelo Montanari; Mark Reynolds 001 (IJCAI, 2016)

Prompt Interval Temporal Logic. - Dario Della Monica; Angelo Montanari; Aniello Murano; Pietro Sala (JELIA, 2016)

Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. - Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (KR, 2016)

Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. - Nicola Gigante; Angelo Montanari; Marta Cialdea Mayer; Andrea Orlandini (TIME, 2016)

Interval Temporal Logics Model Checking. - Angelo Montanari (TIME, 2016)

A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. - Luca Aceto; Dario Della Monica; Valentin Goranko; Anna Ingólfsdóttir; Angelo Montanari; Guido Sciavicco (Acta Informatica, 2016)

Checking interval properties of computations. - Alberto Molinari; Angelo Montanari; Aniello Murano; Giuseppe Perelli; Adriano Peron (Acta Informatica, 2016)

Metric propositional neighborhood logic with an equivalence relation. - Angelo Montanari; Marco Pazzaglia; Pietro Sala (Acta Informatica, 2016)

Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (GandALF, 2016)

A Temporal Perspective on the Paradox of Pinocchio's Nose. - Matjaz Gams; Eva Cerncic; Angelo Montanari (Informatica (Slovenia), 2016)

Adding one or more equivalence relations to the interval temporal logic. - Angelo Montanari; Marco Pazzaglia; Pietro Sala (Theor. Comput. Sci., 2016)

Complexity of Timeline-Based Planning. - Nicola Gigante; Angelo Montanari; Marta Cialdea Mayer; Andrea Orlandini (ICAPS, 2017)

Dealing with network changes in cellular fingerprint positioning systems. - Andrea Viel; Paolo Gallo; Angelo Montanari; Donatella Gubiani; Andrea Dalla Torre; Federico Pittino; Chris Marshall (ICL-GNSS, 2017)

Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. - David Barozzini; Dario Della Monica; Angelo Montanari; Pietro Sala (ICTCS/CILC, 2017)

A Model Checker for Interval Temporal Logic over Finite Structures. - Enrico Cominato; Dario Della Monica; Angelo Montanari; Guido Sciavicco (ICTCS/CILC, 2017)

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 (IJCAI, 2017)

A One-Pass Tree-Shaped Tableau for LTL+Past. - Nicola Gigante; Angelo Montanari; Mark Reynolds 001 (LPAR, 2017)

An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (SEFM, 2017)

Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. - Dario Della Monica; David de Frutos-Escrig; Angelo Montanari; Aniello Murano; Guido Sciavicco (TIME, 2017)

On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (GandALF, 2017)

Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata. - Dario Della Monica; Angelo Montanari; Pietro Sala (GandALF, 2017)

J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees. - Andrea Brunello; Enrico Marzano; Angelo Montanari; Guido Sciavicco (ICIST, 2018)

Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Gerhard J. Woeginger (ICTCS, 2018)

Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (KR, 2018)

A Novel Automata-Theoretic Approach to Timeline-Based Planning. - Dario Della Monica; Nicola Gigante; Angelo Montanari; Pietro Sala (KR, 2018)

A Novel Decision Tree Approach for the Handling of Time Series. - Andrea Brunello; Enrico Marzano; Angelo Montanari; Guido Sciavicco (MIKE, 2018)

A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. - Nicola Gigante; Angelo Montanari; Marta Cialdea Mayer; Andrea Orlandini; Mark Reynolds 001 (TIME, 2018)

Map matching with sparse cellular fingerprint observations. - Andrea Viel; Donatella Gubiani; Paolo Gallo; Angelo Montanari; Andrea Dalla Torre; Federico Pittino; Chris Marshall (UPINLBS, 2018)

One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. - Luca Geatti; Nicola Gigante; Angelo Montanari; Mark Reynolds 001 (GandALF, 2018)

Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (GandALF, 2018)

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (Inf. Comput., 2018)

Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives. - Alberto Molinari; Angelo Montanari; Adriano Peron (Inf. Comput., 2018)

Time Domain. - Angelo Montanari; Jan Chomicki (Encyclopedia of Database Systems (2nd ed.), 2018)

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 (ADBIS (Short Papers and Workshops), 2019)

A Cellular Network Database for Fingerprint Positioning Systems. - Donatella Gubiani; Paolo Gallo; Andrea Viel; Andrea Dalla Torre; Angelo Montanari (ADBIS (Short Papers and Workshops), 2019)

Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance. - Andrea Brunello; Dario Della Monica; Angelo Montanari (OVERLAY@AI*IA, 2019)

Model Checking: The Interval Way. - Angelo Montanari (CILC, 2019)

Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains. - Laura Bozzelli; Angelo Montanari; Adriano Peron (FSTTCS, 2019)

Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. - Dario Della Monica; Angelo Montanari; Aniello Murano; Guido Sciavicco (GCAI, 2019)

Model Checking Timeline-Based Systems over Dense Temporal Domains. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (ICTCS, 2019)

A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. - Luca Geatti; Nicola Gigante; Angelo Montanari (TABLEAUX, 2019)

Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. - Andrea Brunello; Angelo Montanari; Mark Reynolds 001 (TIME, 2019)

J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data. - Andrea Brunello; Enrico Marzano; Angelo Montanari; Guido Sciavicco (Comput., 2019)

Multiobjective evolutionary feature selection and fuzzy classification of contact centre data. - Andrea Brunello; Fernando Jiménez; Enrico Marzano; Angelo Montanari; Gracia Sánchez; Guido Sciavicco (Expert Syst. J. Knowl. Eng., 2019)

A map-matching algorithm dealing with sparse cellular fingerprint observations. - Andrea Dalla Torre; Paolo Gallo; Donatella Gubiani; Chris Marshall; Angelo Montanari; Federico Pittino; Andrea Viel (Geo spatial Inf. Sci., 2019)

Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (Inf. Comput., 2019)

An Event-Based Data Warehouse to Support Decisions in Multi-Channel, Multi-Service Contact Centers. - Andrea Brunello; Paolo Gallo; Enrico Marzano; Angelo Montanari; Nicola Vitacolonna (J. Cases Inf. Technol., 2019)

An original approach to positioning with cellular fingerprints based on decision tree ensembles. - Andrea Viel; Andrea Brunello; Angelo Montanari; Federico Pittino (J. Locat. Based Serv., 2019)

Which fragments of the interval temporal logic HS are tractable in model checking? - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (Theor. Comput. Sci., 2019)

Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (ACM Trans. Comput. Log., 2019)

Reactive Synthesis from Extended Bounded Response LTL Specifications. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (FMCAD, 2020)

Virtual Sensing of Temperatures in Indoor Environments: A Case Study. - Andrea Brunello; Martin Kraft; Angelo Montanari; Federico Pittino; Andrea Urgolo (ICDM (Workshops), 2020)

Undecidability of Future Timeline-based Planning over Dense Temporal Domains? - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (ICTCS, 2020)

A new similarity measure for low-sampling cellular fingerprint trajectories. - Paolo Gallo; Donatella Gubiani; Angelo Montanari; Nicola Saccomanno (MDM, 2020)

On a Temporal Logic of Prefixes and Infixes. - Laura Bozzelli; Angelo Montanari; Adriano Peron; Pietro Sala (MFCS, 2020)

Let's Forget About Exact Signal Strength: Indoor Positioning based on Access Point Ranking and Recurrent Neural Networks. - Nicola Saccomanno; Andrea Brunello; Angelo Montanari (MobiQuitous, 2020)

Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification. - Andrea Brunello; Dario Della Monica; Angelo Montanari; Andrea Urgolo (OVERLAY, 2020)

A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. - Dario Della Monica; Angelo Montanari; Guido Sciavicco; Ionel Eduard Stan (OVERLAY, 2020)

Complexity of Qualitative Timeline-Based Planning. - Dario Della Monica; Nicola Gigante; Salvatore La Torre; Angelo Montanari (TIME, 2020)

Model checking interval temporal logics with regular expressions. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (Inf. Comput., 2020)

Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts. - David Barozzini; David de Frutos-Escrig; Dario Della Monica; Angelo Montanari; Pietro Sala (Theor. Comput. Sci., 2020)

Timeline-based planning over dense temporal domains. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Gerhard J. Woeginger (Theor. Comput. Sci., 2020)

On timeline-based games and their complexity. - Nicola Gigante; Angelo Montanari; Andrea Orlandini; Marta Cialdea Mayer; Mark Reynolds 001 (Theor. Comput. Sci., 2020)

BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker. - Luca Geatti; Nicola Gigante; Angelo Montanari (OVERLAY@GandALF, 2021)

Extended ω-Regular Languages and Interval Temporal Logic. - Dario Della Monica; Angelo Montanari; Pietro Sala (ICTCS, 2021)

Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. - Luca Geatti; Nicola Gigante; Angelo Montanari; Gabriele Venturato (TIME, 2021)

AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning. - Andrea Bernardini; Andrea Brunello; Gian Luigi Gigli; Angelo Montanari; Nicola Saccomanno (Artif. Intell. Medicine, 2021)

Expressiveness of Extended Bounded Response LTL. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (GandALF, 2021)

Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete. - Laura Bozzelli; Angelo Montanari; Adriano Peron; Pietro Sala (GandALF, 2021)

Complexity analysis of a unifying algorithm for model checking interval temporal logic. - Laura Bozzelli; Angelo Montanari; Adriano Peron (Inf. Comput., 2021)

One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past. - Luca Geatti; Nicola Gigante; Angelo Montanari; Mark Reynolds 001 (Inf. Comput., 2021)

Virtual Sensing and Sensors Selection for Efficient Temperature Monitoring in Indoor Environments. - Andrea Brunello; Andrea Urgolo; Federico Pittino; András Montvay; Angelo Montanari (Sensors, 2021)

A first-order logic characterisation of safety and co-safety languages. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (FoSSaCS, 2022)

A Framework for Indoor Positioning Including Building Topology. - Andrea Brunello; Angelo Montanari; Nicola Saccomanno (IEEE Access, 2022)

Decidability and complexity of action-based temporal planning over dense time. - Nicola Gigante; Andrea Micheli; Angelo Montanari; Enrico Scala (Artif. Intell., 2022)

A combined approach to the analysis of speech conversations in a contact center domain. - Andrea Brunello; Enrico Marzano; Angelo Montanari; Guido Sciavicco (CoRR, 2022)

Controller Synthesis for Timeline-based Games. - Renato Acampora; Luca Geatti; Nicola Gigante; Angelo Montanari; Valentino Picotti (GandALF, 2022)

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (Log. Methods Comput. Sci., 2022)

A genetic programming approach to WiFi fingerprint meta-distance learning. - Andrea Brunello; Angelo Montanari; Nicola Saccomanno (Pervasive Mob. Comput., 2022)

Complexity issues for timeline-based planning over dense time under future and minimal semantics. - Laura Bozzelli; Angelo Montanari; Adriano Peron (Theor. Comput. Sci., 2022)

Reactive synthesis from interval temporal logic specifications. - Angelo Montanari; Pietro Sala (Theor. Comput. Sci., 2022)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic. - Alessandro Artale; Luca Geatti; Nicola Gigante; Andrea Mazzullo; Angelo Montanari (AAAI, 2023)

A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. - Alessandro Artale; Luca Geatti; Nicola Gigante; Andrea Mazzullo; Angelo Montanari (KR, 2023)

The Logic of Prefixes and Suffixes is Elementary under Homogeneity*. - Dario Della Monica; Angelo Montanari; Gabriele Puppis; Pietro Sala (LICS, 2023)

Towards Learning an Optimal Metric for Fingerprint-based Localisation. - Nicola Saccomanno; Andrea Brunello; Angelo Montanari (MobiCom, 2023)

High-Performance Features in Generalizable Fingerprint-Based Indoor Positioning. - Andrea Brunello; Angelo Montanari; Nicola Saccomanno; Joaquín Torres-Sospedra (MobiQuitous (1), 2023)

Towards Machine Learning Enhanced LTL Monitoring. - Luca Geatti; Angelo Montanari; Nicola Saccomanno (OVERLAY@AI*IA, 2023)

Qualitative past Timeline-Based Games (Extended Abstract). - Renato Acampora; Luca Geatti; Nicola Gigante; Angelo Montanari (TIME, 2023)

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 (TIME, 2023)

Monitors That Learn From Failures: Pairing STL and Genetic Programming. - Andrea Brunello; Dario Della Monica; Angelo Montanari; Nicola Saccomanno; Andrea Urgolo (IEEE Access, 2023)

The Logic of Prefixes and Suffixes is Elementary under Homogeneity. - Dario Della Monica; Angelo Montanari; Gabriele Puppis; Pietro Sala (CoRR, 2023)

GR(1) is equivalent to R(1). - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (Inf. Process. Lett., 2023)

A first-order logic characterization of safety and co-safety languages. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (Log. Methods Comput. Sci., 2023)

Crowdsourced Reconstruction of Cellular Networks to Serve Outdoor Positioning: Modeling, Validation and Analysis. - Andrea Brunello; Andrea Dalla Torre; Paolo Gallo; Donatella Gubiani; Angelo Montanari; Nicola Saccomanno (Sensors, 2023)

Interval Temporal Logic for Visibly Pushdown Systems. - Laura Bozzelli; Angelo Montanari; Adriano Peron (ACM Trans. Comput. Log., 2023)

An interval temporal logic characterization of extended ω-regular languages. - Dario Della Monica; Angelo Montanari; Pietro Sala (Theor. Comput. Sci., 2023)

Pspace-completeness of the temporal logic of sub-intervals and suffixes. - Laura Bozzelli; Angelo Montanari; Adriano Peron; Pietro Sala (Inf. Comput., 2023)

Towards interpretability in fingerprint based indoor positioning: May attention be with us. - Andrea Brunello; Angelo Montanari; Nicola Saccomanno (Expert Syst. Appl., 2023)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. - Luca Geatti; Alessio Mansutti; Angelo Montanari (FoSSaCS (2), 2024)

Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring. - Andrea Brunello; Luca Geatti; Angelo Montanari; Nicola Saccomanno (IJCAI, 2024)

Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation. - Andrea Brunello; Riccardo Ferrarese; Luca Geatti; Enrico Marzano; Angelo Montanari; Nicola Saccomanno (OVERLAY, 2024)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version). - Luca Geatti; Alessio Mansutti; Angelo Montanari (CoRR, 2024)

Synthesis of Timeline-Based Planning Strategies Avoiding Determinization. - Renato Acampora; Dario Della Monica; Luca Geatti; Nicola Gigante; Angelo Montanari; Pietro Sala (GandALF, 2024)

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. - Laura Bozzelli; Angelo Montanari; Adriano Peron; Pietro Sala (Log. Methods Comput. Sci., 2024)

Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (Softw. Syst. Model., 2024)

SAT Meets Tableaux for Linear Temporal Logic Satisfiability. - Luca Geatti; Nicola Gigante; Angelo Montanari; Gabriele Venturato (J. Autom. Reason., 2024)

Extended bounded response LTL: a new safety fragment for efficient reactive synthesis. - Alessandro Cimatti; Luca Geatti; Nicola Gigante; Angelo Montanari; Stefano Tonetta (Formal Methods Syst. Des., 2024)

On Cascades of Reset Automata. - Roberto Borelli; Luca Geatti; Marco Montali; Angelo Montanari (STACS, 2025)

Succinctness issues for LTL and safety and cosafety fragments of LTL. - Alessandro Artale; Luca Geatti; Nicola Gigante; Andrea Mazzullo; Angelo Montanari (Inf. Comput., 2025)

Time matters: Empirical insights into the limits and challenges of temporal generalization in CSI-based Wi-Fi sensing. - Andrea Brunello; Angelo Montanari; Raúl Montoliu; Adriano J. C. Moreira; Nicola Saccomanno; Emilio Sansano-Sansano; Joaquín Torres-Sospedra (Internet Things, 2025)

A survey on recent trends in robotics and artificial intelligence in the furniture industry. - Andrea Brunello; Giuliano Fabris; Alessandro Gasparetto; Angelo Montanari; Nicola Saccomanno; Lorenzo Scalera (Robotics Comput. Integr. Manuf., 2025)

Synthesis of timeline-based planning strategies avoiding determinization. - Dario Della Monica; Angelo Montanari; Pietro Sala (CoRR, 2025)