Angelo Montanari

307 papers A* 21A 14B 32C 39Misc 2Journal 117Unranked 73

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Automata-less Monitoring via Trace-Checking. AAAI Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
2026	A*	`conf`	Do LLMs Really Struggle at NL-FOL Translation? Revealing Their Strengths via a Novel Benchmarking Strategy. AAAI Andrea Brunello, Luca Geatti, Michele Mignani, Angelo Montanari, Nicola Saccomanno
2025	J	`jnl`	A survey on recent trends in robotics and artificial intelligence in the furniture industry. Robotics Comput. Integr. Manuf. Andrea Brunello, Giuliano Fabris, Alessandro Gasparetto, Angelo Montanari, Nicola Saccomanno, Lorenzo Scalera
2025	J	`jnl`	Automata-less Monitoring via Trace-Checking (Extended Version). CoRR Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
2025	J	`jnl`	Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy. CoRR Andrea Brunello, Luca Geatti, Michele Mignani, Angelo Montanari, Nicola Saccomanno
2025	A	`conf`	Interpretable Early Failure Detection via Machine Learning and Trace Checking-Based Monitoring. ECAI Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
2025	J	`jnl`	Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring. CoRR Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
2025	A	`conf`	On Cascades of Reset Automata. STACS Roberto Borelli, Luca Geatti, Marco Montali, Angelo Montanari
2025	—	`ed.`	Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2025, Bologna, Italy, October 26, 2025. OVERLAY Angelo Montanari, Andrea Orlandini, Nicola Saccomanno, Stefano Tonetta
2025	J	`jnl`	Succinctness issues for LTL and safety and cosafety fragments of LTL. Inf. Comput. Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
2025	J	`jnl`	Synthesis of timeline-based planning strategies avoiding determinization. CoRR Dario Della Monica, Angelo Montanari, Pietro Sala
2025	J	`jnl`	Time matters: Empirical insights into the limits and challenges of temporal generalization in CSI-based Wi-Fi sensing. Internet Things Andrea Brunello, Angelo Montanari, Raúl Montoliu, Adriano J. C. Moreira, Nicola Saccomanno, Emilio Sansano-Sansano, Joaquín Torres-Sospedra
2025	J	`jnl`	Unified Peripartum Database with Natural-Language-to-SQL Capabilities at Udine University Hospital: Design and Prototype. CoRR Doriana Armenise, Ginevra Battello, Andrea Brunello, Lorenza Driul, Angelo Montanari, Elisa Rizzante, Nicola Saccomanno, Andrea Salvador, Serena Xodo, Silvia Zermano
2024	J	`jnl`	Controller Synthesis for Timeline-based Games. Log. Methods Comput. Sci. Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti
2024	—	`conf`	Evaluating LLMs Capabilities at Natural Language to Logic Translation: A Preliminary Investigation. OVERLAY Andrea Brunello, Riccardo Ferrarese, Luca Geatti, Enrico Marzano, Angelo Montanari, Nicola Saccomanno
2024	J	`jnl`	Extended bounded response LTL: a new safety fragment for efficient reactive synthesis. Formal Methods Syst. Des. Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2024	J	`jnl`	Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis. Softw. Syst. Model. Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2024	A*	`conf`	Learning What to Monitor: Using Machine Learning to Improve past STL Monitoring. IJCAI Andrea Brunello, Luca Geatti, Angelo Montanari, Nicola Saccomanno
2024	J	`jnl`	SAT Meets Tableaux for Linear Temporal Logic Satisfiability. J. Autom. Reason. Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato
2024	J	`jnl`	Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version). CoRR Luca Geatti, Alessio Mansutti, Angelo Montanari
2024	—	`conf`	Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. FoSSaCS (2) Luca Geatti, Alessio Mansutti, Angelo Montanari
2024	—	`conf`	Synthesis of Timeline-Based Planning Strategies Avoiding Determinization. GandALF Renato Acampora, Dario Della Monica, Luca Geatti, Nicola Gigante, Angelo Montanari, Pietro Sala
2024	J	`jnl`	The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. Log. Methods Comput. Sci. Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2023	A*	`conf`	A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. KR Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
2023	J	`jnl`	A first-order logic characterization of safety and co-safety languages. Log. Methods Comput. Sci. Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2023	J	`jnl`	AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning. CoRR Andrea Bernardini, Andrea Brunello, Gian Luigi Gigli, Angelo Montanari, Nicola Saccomanno
2023	—	`ed.`	AIxIA 2022 - Advances in Artificial Intelligence - XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings AI*IA Agostino Dovier, Angelo Montanari, Andrea Orlandini
2023	J	`jnl`	An interval temporal logic characterization of extended Theor. Comput. Sci. Dario Della Monica, Angelo Montanari, Pietro Sala
2023	A*	`conf`	Complexity of Safety and coSafety Fragments of Linear Temporal Logic. AAAI Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
2023	J	`jnl`	Controller Synthesis for Timeline-based Games. CoRR Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti
2023	J	`jnl`	Crowdsourced Reconstruction of Cellular Networks to Serve Outdoor Positioning: Modeling, Validation and Analysis. Sensors Andrea Brunello, Andrea Dalla Torre, Paolo Gallo, Donatella Gubiani, Angelo Montanari, Nicola Saccomanno
2023	J	`jnl`	GR(1) is equivalent to R(1). Inf. Process. Lett. Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2023	—	`conf`	High-Performance Features in Generalizable Fingerprint-Based Indoor Positioning. MobiQuitous (1) Andrea Brunello, Angelo Montanari, Nicola Saccomanno, Joaquín Torres-Sospedra
2023	J	`jnl`	Interval Temporal Logic for Visibly Pushdown Systems. ACM Trans. Comput. Log. Laura Bozzelli, Angelo Montanari, Adriano Peron
2023	C	`conf`	LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. TIME Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
2023	J	`jnl`	Monitors That Learn From Failures: Pairing STL and Genetic Programming. IEEE Access Andrea Brunello, Dario Della Monica, Angelo Montanari, Nicola Saccomanno, Andrea Urgolo
2023	—	`ed.`	Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28 - December 2, 2022. DP@AIxIA Agostino Dovier, Angelo Montanari, Andrea Orlandini
2023	J	`jnl`	Pspace-completeness of the temporal logic of sub-intervals and suffixes. Inf. Comput. Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2023	C	`conf`	Qualitative past Timeline-Based Games (Extended Abstract). TIME Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari
2023	A*	`conf`	The Logic of Prefixes and Suffixes is Elementary under Homogeneity LICS Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
2023	J	`jnl`	The Logic of Prefixes and Suffixes is Elementary under Homogeneity. CoRR Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
2023	A*	`conf`	Towards Learning an Optimal Metric for Fingerprint-based Localisation. MobiCom Nicola Saccomanno, Andrea Brunello, Angelo Montanari
2023	—	`conf`	Towards Machine Learning Enhanced LTL Monitoring. OVERLAY@AI*IA Luca Geatti, Angelo Montanari, Nicola Saccomanno
2023	J	`jnl`	Towards interpretability in fingerprint based indoor positioning: May attention be with us. Expert Syst. Appl. Andrea Brunello, Angelo Montanari, Nicola Saccomanno
2022	J	`jnl`	A Framework for Indoor Positioning Including Building Topology. IEEE Access Andrea Brunello, Angelo Montanari, Nicola Saccomanno
2022	J	`jnl`	A combined approach to the analysis of speech conversations in a contact center domain. CoRR Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
2022	B	`conf`	A first-order logic characterisation of safety and co-safety languages. FoSSaCS Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2022	J	`jnl`	A first-order logic characterization of safety and co-safety languages. CoRR Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2022	J	`jnl`	A genetic programming approach to WiFi fingerprint meta-distance learning. Pervasive Mob. Comput. Andrea Brunello, Angelo Montanari, Nicola Saccomanno
2022	J	`jnl`	Complexity issues for timeline-based planning over dense time under future and minimal semantics. Theor. Comput. Sci. Laura Bozzelli, Angelo Montanari, Adriano Peron
2022	J	`jnl`	Complexity of Safety and coSafety Fragments of Linear Temporal Logic. CoRR Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
2022	—	`conf`	Controller Synthesis for Timeline-based Games. GandALF Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti
2022	J	`jnl`	Decidability and complexity of action-based temporal planning over dense time. Artif. Intell. Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala
2022	J	`jnl`	Reactive synthesis from interval temporal logic specifications. Theor. Comput. Sci. Angelo Montanari, Pietro Sala
2022	J	`jnl`	Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. Log. Methods Comput. Sci. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2022	J	`jnl`	The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. CoRR Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2021	J	`jnl`	AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning. Artif. Intell. Medicine Andrea Bernardini, Andrea Brunello, Gian Luigi Gigli, Angelo Montanari, Nicola Saccomanno
2021	—	`conf`	Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete. GandALF Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2021	—	`conf`	BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker. OVERLAY@GandALF Luca Geatti, Nicola Gigante, Angelo Montanari
2021	J	`jnl`	Complexity analysis of a unifying algorithm for model checking interval temporal logic. Inf. Comput. Laura Bozzelli, Angelo Montanari, Adriano Peron
2021	—	`conf`	Expressiveness of Extended Bounded Response LTL. GandALF Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2021	—	`conf`	Extended ω-Regular Languages and Interval Temporal Logic. ICTCS Dario Della Monica, Angelo Montanari, Pietro Sala
2021	B	`conf`	Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. SEFM Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2021	J	`jnl`	One-pass and tree-shaped tableau systems for TPTL and TPTL Inf. Comput. Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds
2021	C	`conf`	Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. TIME Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato
2021	C	`conf`	Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. TIME Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2021	J	`jnl`	Virtual Sensing and Sensors Selection for Efficient Temperature Monitoring in Indoor Environments. Sensors Andrea Brunello, Andrea Urgolo, Federico Pittino, András Montvay, Angelo Montanari
2020	—	`conf`	A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. OVERLAY Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan
2020	B	`conf`	A new similarity measure for low-sampling cellular fingerprint trajectories. MDM Paolo Gallo, Donatella Gubiani, Angelo Montanari, Nicola Saccomanno
2020	J	`jnl`	Beyond Theor. Comput. Sci. David Barozzini, David de Frutos-Escrig, Dario Della Monica, Angelo Montanari, Pietro Sala
2020	C	`conf`	Complexity of Qualitative Timeline-Based Planning. TIME Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari
2020	A*	`conf`	Decidability and Complexity of Action-Based Temporal Planning over Dense Time. AAAI Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala
2020	—	`conf`	Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification. OVERLAY Andrea Brunello, Dario Della Monica, Angelo Montanari, Andrea Urgolo
2020	C	`conf`	Let's Forget About Exact Signal Strength: Indoor Positioning based on Access Point Ranking and Recurrent Neural Networks. MobiQuitous Nicola Saccomanno, Andrea Brunello, Angelo Montanari
2020	J	`jnl`	Model checking interval temporal logics with regular expressions. Inf. Comput. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2020	B	`conf`	On a Temporal Logic of Prefixes and Infixes. MFCS Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2020	J	`jnl`	On timeline-based games and their complexity. Theor. Comput. Sci. Nicola Gigante, Angelo Montanari, Andrea Orlandini, Marta Cialdea Mayer, Mark Reynolds
2020	B	`conf`	Reactive Synthesis from Extended Bounded Response LTL Specifications. FMCAD Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2020	J	`jnl`	Reactive Synthesis from Extended Bounded Response LTL Specifications. CoRR Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
2020	J	`jnl`	Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. CoRR Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2020	J	`jnl`	Timeline-based planning over dense temporal domains. Theor. Comput. Sci. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger
2020	—	`conf`	Undecidability of Future Timeline-based Planning over Dense Temporal Domains? ICTCS Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2020	—	`conf`	Virtual Sensing of Temperatures in Indoor Environments: A Case Study. ICDM (Workshops) Andrea Brunello, Martin Kraft, Angelo Montanari, Federico Pittino, Andrea Urgolo
2019	—	`conf`	A Cellular Network Database for Fingerprint Positioning Systems. ADBIS (Short Papers and Workshops) Donatella Gubiani, Paolo Gallo, Andrea Viel, Andrea Dalla Torre, Angelo Montanari
2019	B	`conf`	A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. TABLEAUX Luca Geatti, Nicola Gigante, Angelo Montanari
2019	J	`jnl`	A map-matching algorithm dealing with sparse cellular fingerprint observations. Geo spatial Inf. Sci. Andrea Dalla Torre, Paolo Gallo, Donatella Gubiani, Chris Marshall, Angelo Montanari, Federico Pittino, Andrea Viel
2019	J	`jnl`	An Event-Based Data Warehouse to Support Decisions in Multi-Channel, Multi-Service Contact Centers. J. Cases Inf. Technol. Andrea Brunello, Paolo Gallo, Enrico Marzano, Angelo Montanari, Nicola Vitacolonna
2019	J	`jnl`	An original approach to positioning with cellular fingerprints based on decision tree ensembles. J. Locat. Based Serv. Andrea Viel, Andrea Brunello, Angelo Montanari, Federico Pittino
2019	—	`conf`	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. ADBIS (Short Papers and Workshops) Andrea Brunello, Joanna Kaminska, Enrico Marzano, Angelo Montanari, Guido Sciavicco, Tomasz Turek
2019	C	`conf`	Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. TIME Laura Bozzelli, Angelo Montanari, Adriano Peron
2019	J	`jnl`	Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. Inf. Comput. Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2019	—	`conf`	Interval Temporal Logic for Visibly Pushdown Systems. FSTTCS Laura Bozzelli, Angelo Montanari, Adriano Peron
2019	J	`jnl`	Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. ACM Trans. Comput. Log. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2019	J	`jnl`	J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data. Comput. Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
2019	—	`conf`	Model Checking Timeline-Based Systems over Dense Temporal Domains. ICTCS Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2019	—	`conf`	Model Checking: The Interval Way. CILC Angelo Montanari
2019	J	`jnl`	Multiobjective evolutionary feature selection and fuzzy classification of contact centre data. Expert Syst. J. Knowl. Eng. Andrea Brunello, Fernando Jiménez, Enrico Marzano, Angelo Montanari, Gracia Sánchez, Guido Sciavicco
2019	—	`conf`	Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance. OVERLAY@AI*IA Andrea Brunello, Dario Della Monica, Angelo Montanari
2019	C	`conf`	Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. TIME Andrea Brunello, Angelo Montanari, Mark Reynolds
2019	—	`conf`	Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains. FSTTCS Laura Bozzelli, Angelo Montanari, Adriano Peron
2019	—	`conf`	Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. GCAI Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco
2019	J	`jnl`	Undecidability of future timeline-based planning over dense temporal domains. CoRR Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2019	J	`jnl`	Which fragments of the interval temporal logic HS are tractable in model checking? Theor. Comput. Sci. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2018	C	`conf`	A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. TIME Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds
2018	A*	`conf`	A Novel Automata-Theoretic Approach to Timeline-Based Planning. KR Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala
2018	—	`conf`	A Novel Decision Tree Approach for the Handling of Time Series. MIKE Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
2018	J	`jnl`	A game-theoretic approach to timeline-based planning with uncertainty. CoRR Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds
2018	—	`conf`	An Original Approach to Positioning with Cellular Fingerprints Based on Decision Tree Ensembles. LBS Andrea Viel, Andrea Brunello, Angelo Montanari, Federico Pittino
2018	—	`conf`	Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground. GandALF Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2018	A*	`conf`	Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. KR Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2018	—	`conf`	J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees. ICIST Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
2018	—	`conf`	Map matching with sparse cellular fingerprint observations. UPINLBS Andrea Viel, Donatella Gubiani, Paolo Gallo, Angelo Montanari, Andrea Dalla Torre, Federico Pittino, Chris Marshall
2018	J	`jnl`	Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives. Inf. Comput. Alberto Molinari, Angelo Montanari, Adriano Peron
2018	J	`jnl`	Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Inf. Comput. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2018	—	`conf`	One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. GandALF Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds
2018	—	`ch.`	Time Domain. Encyclopedia of Database Systems (2nd ed.) Angelo Montanari, Jan Chomicki
2018	—	`conf`	Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete. ICTCS Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger
2017	—	`conf`	A Model Checker for Interval Temporal Logic over Finite Structures. ICTCS/CILC Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco
2017	B	`conf`	A One-Pass Tree-Shaped Tableau for LTL+Past. LPAR Nicola Gigante, Angelo Montanari, Mark Reynolds
2017	B	`conf`	An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. SEFM Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2017	—	`conf`	Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata. GandALF Dario Della Monica, Angelo Montanari, Pietro Sala
2017	A*	`conf`	Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. IJCAI Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco
2017	A*	`conf`	Complexity of Timeline-Based Planning. ICAPS Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini
2017	—	`conf`	Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. ICTCS/CILC David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala
2017	—	`conf`	Dealing with network changes in cellular fingerprint positioning systems. ICL-GNSS Andrea Viel, Paolo Gallo, Angelo Montanari, Donatella Gubiani, Andrea Dalla Torre, Federico Pittino, Chris Marshall
2017	C	`conf`	Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. TIME Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco
2017	J	`jnl`	Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. CoRR Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2017	J	`jnl`	Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives. CoRR Alberto Molinari, Angelo Montanari, Adriano Peron
2017	—	`conf`	On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions. GandALF Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2017	A*	`conf`	Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. ICALP Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	J	`jnl`	A Temporal Perspective on the Paradox of Pinocchio's Nose. Informatica (Slovenia) Matjaz Gams, Eva Cerncic, Angelo Montanari
2016	J	`jnl`	A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. Acta Informatica Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2016	J	`jnl`	Adding one or more equivalence relations to the interval temporal logic. Theor. Comput. Sci. Angelo Montanari, Marco Pazzaglia, Pietro Sala
2016	J	`jnl`	Checking Interval Properties of Computations. CoRR Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
2016	J	`jnl`	Checking interval properties of computations. Acta Informatica Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
2016	J	`jnl`	Complexity of ITL model checking: some well-behaved fragments of the interval logic HS. CoRR Alberto Molinari, Angelo Montanari, Adriano Peron
2016	—	`conf`	Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. ICTCS Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	A	`conf`	Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. IJCAR Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	C	`conf`	Interval Temporal Logics Model Checking. TIME Angelo Montanari
2016	—	`conf`	Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. FSTTCS Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	A*	`conf`	Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. IJCAI Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds
2016	J	`jnl`	Metric propositional neighborhood logic with an equivalence relation. Acta Informatica Angelo Montanari, Marco Pazzaglia, Pietro Sala
2016	A*	`conf`	Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. KR Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	—	`conf`	Model Checking the Logic of Allen's Relations Meets and Started-by is P GandALF Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016	B	`conf`	Prompt Interval Temporal Logic. JELIA Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala
2016	C	`conf`	Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. TIME Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini
2015	B	`conf`	A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. CSL Alberto Molinari, Angelo Montanari, Adriano Peron
2015	J	`jnl`	A decidable weakening of Compass Logic based on cone-shaped cardinal directions. Log. Methods Comput. Sci. Angelo Montanari, Gabriele Puppis, Pietro Sala
2015	C	`conf`	Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. TIME Alberto Molinari, Angelo Montanari, Adriano Peron
2015	—	`conf`	Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. ICTCS Alberto Molinari, Angelo Montanari, Adriano Peron
2015	J	`jnl`	Games, Automata, Logics, and Formal Verification (GandALF 2013). Inf. Comput. Angelo Montanari, Gabriele Puppis, Tiziano Villa
2015	C	`conf`	On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. LATA Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2015	C	`conf`	Undecidability of Chop. TIME Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco
2014	—	`conf`	Adding two equivalence relations to the interval temporal logic AB. ICTCS Angelo Montanari, Marco Pazzaglia, Pietro Sala
2014	C	`conf`	Checking Interval Properties of Computations. TIME Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
2014	A	`conf`	DL-Lite and Interval Temporal Logics: a Marriage Proposal. ECAI Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov
2014	—	`conf`	Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals. MFCS (1) Angelo Montanari, Gabriele Puppis, Pietro Sala
2014	J	`jnl`	Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Theor. Comput. Sci. Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2014	—	`conf`	Interval-based Synthesis. GandALF Angelo Montanari, Pietro Sala
2014	C	`conf`	Metric Propositional Neighborhood Logic with an Equivalence Relation. TIME Angelo Montanari, Marco Pazzaglia, Pietro Sala
2014	B	`conf`	On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. JELIA Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2014	J	`jnl`	Report on TIME 2013. Bull. EATCS Angelo Montanari
2014	J	`jnl`	The dark side of interval temporal logic: marking the undecidability border. Ann. Math. Artif. Intell. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2014	J	`jnl`	The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Ann. Math. Artif. Intell. Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
2013	C	`conf`	A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. TIME Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2013	B	`conf`	A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. TABLEAUX Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
2013	J	`jnl`	A graph-theoretic approach to map conceptual designs to XML schemas. ACM Trans. Database Syst. Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza
2013	A*	`conf`	Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. LICS Angelo Montanari, Pietro Sala
2013	B	`conf`	An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. LPAR Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco
2013	C	`conf`	Interval Logics and ωB-Regular Languages. LATA Angelo Montanari, Pietro Sala
2013	J	`jnl`	Metric propositional neighborhood logics on natural numbers. Softw. Syst. Model. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2013	J	`jnl`	Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Theor. Comput. Sci. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2012	—	`conf`	A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints. ICAART (1) Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon
2012	C	`conf`	An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. TIME Angelo Montanari, Pietro Sala
2012	J	`jnl`	Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. J. Univers. Comput. Sci. Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2012	—	`conf`	Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints. ICAART (Revised Selected Papers) Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon
2012	A	`conf`	Interval Temporal Logics over Finite Linear Orders: the Complete Picture. ECAI Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2012	—	`conf`	Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture GandALF Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
2012	J	`jnl`	Preface. Int. J. Found. Comput. Sci. Angelo Montanari, Margherita Napoli, Mimmo Parente
2012	—	`conf`	The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. Logic Programs, Norms and Action Dario Della Monica, Angelo Montanari, Pietro Sala
2011	B	`conf`	A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities. SSTD Carlo Combi, Angelo Montanari, Pietro Sala
2011	—	`conf`	An Optimal Decision Procedure for MPNL over the Integers GandALF Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2011	A*	`conf`	Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. IJCAI Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2011	J	`jnl`	Interval Temporal Logics: a Journey. Bull. EATCS Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2011	B	`conf`	Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. TABLEAUX Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2011	C	`conf`	The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. TIME Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2011	C	`conf`	The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. TIME Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
2011	A*	`conf`	What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. LICS Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2010	C	`conf`	A Decidable Spatial Generalization of Metric Interval Temporal Logic. TIME Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco
2010	A	`conf`	Decidability of the Interval Temporal Logic ABB over the Natural Numbers. STACS Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco
2010	C	`conf`	Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. TIME Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala
2010	—	`conf`	From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract). SEBD Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza
2010	—	`conf`	Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. ICALP (2) Angelo Montanari, Gabriele Puppis, Pietro Sala
2010	A	`conf`	Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. ECAI Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2010	J	`jnl`	Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). Fundam. Informaticae Dario Campagna, Christian De Rosa, Agostino Dovier, Angelo Montanari, Carla Piazza
2010	—	`ed.`	Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010. GANDALF Angelo Montanari, Margherita Napoli, Mimmo Parente
2010	J	`jnl`	Tableaux for Logics of Subinterval Structures over Dense Orderings. J. Log. Comput. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
2009	B	`conf`	A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. CSL Angelo Montanari, Gabriele Puppis, Pietro Sala
2009	C	`conf`	A Relational Encoding of a Conceptual Model with Multiple Temporal Dimensions. DEXA Donatella Gubiani, Angelo Montanari
2009	B	`conf`	A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2009	J	`jnl`	A theory of ultimately periodic languages and automata with an application to time granularity. Acta Informatica Davide Bresolin, Angelo Montanari, Gabriele Puppis
2009	J	`jnl`	Decidability of the interval temporal logic ABBar over the natural numbers CoRR Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco
2009	—	`conf`	From Entity Relationship to XML Schema: A Graph-Theoretic Approach. XSym Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza
2009	Misc	`conf`	Games on Strings with a Limited Order Relation. LFCS Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna
2009	J	`jnl`	Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Ann. Pure Appl. Log. Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2009	B	`conf`	Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. SEFM Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2009	—	`ch.`	Time Domain. Encyclopedia of Database Systems Angelo Montanari, Jan Chomicki
2009	C	`conf`	Undecidability of Interval Temporal Logics with the Overlap Modality. TIME Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2009	—	`conf`	Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. M4M Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2008	—	`conf`	A conceptual spatial model supporting topologically-consistent multiple representations. GIS Donatella Gubiani, Angelo Montanari
2008	C	`conf`	An optimal tableau for Right Propositional Neighborhood Logic over Trees. TIME Davide Bresolin, Angelo Montanari, Pietro Sala
2008	B	`conf`	Back to Interval Temporal Logics. ICLP Angelo Montanari
2008	B	`conf`	Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. LPAR Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2008	B	`conf`	Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. CSL Ian M. Hodkinson, Angelo Montanari, Guido Sciavicco
2008	B	`conf`	Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. JELIA Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
2007	A*	`conf`	A Contraction Method to Decide MSO Theories of Deterministic Trees. LICS Angelo Montanari, Gabriele Puppis
2007	—	`conf`	A Tool for the Visual Synthesis and the Logical Translation of Spatio-Temporal Conceptual Schemas. SEBD Donatella Gubiani, Angelo Montanari
2007	J	`jnl`	An Optimal Decision Procedure for Right Propositional Neighborhood Logic. J. Autom. Reason. Davide Bresolin, Angelo Montanari, Guido Sciavicco
2007	A	`conf`	An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. STACS Davide Bresolin, Angelo Montanari, Pietro Sala
2007	—	`conf`	ChronoGeoGraph: an Expressive Spatio-Temporal Conceptual Model. SEBD Donatella Gubiani, Angelo Montanari
2007	J	`jnl`	Compact and tractable automaton-based representations of time granularities. Theor. Comput. Sci. Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
2007	—	`conf`	Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. M4M Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
2007	—	`conf`	Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema. DEXA Workshops Massimo Franceschet, Angelo Montanari, Donatella Gubiani
2007	Misc	`conf`	On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. LFCS Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2007	C	`conf`	On the Equivalence of Automaton-Based Representations of Time Granularities. TIME Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
2007	B	`conf`	Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
2007	A	`conf`	The t4sql temporal query language. CIKM Carlo Combi, Angelo Montanari, Giuseppe Pozzi
2006	J	`jnl`	A general tableau method for propositional interval temporal logics: Theory and implementation. J. Appl. Log. Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco
2006	C	`conf`	An automaton-based approach to the verification of timed workflow schemas. TIME Elisabetta De Maria, Angelo Montanari, Marco Zantoni
2006	J	`jnl`	Definability and decidability of binary predicates for time granularity. J. Appl. Log. Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
2006	J	`jnl`	On the relationships between theories of time granularity and the monadic second-order theory of one successor. J. Appl. Non Class. Logics Angelo Montanari, Adriano Peron, Gabriele Puppis
2005	B	`conf`	A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. TABLEAUX Davide Bresolin, Angelo Montanari
2005	C	`conf`	A Uniform Algebraic Characterization of Temporal Functional Dependencies. TIME Carlo Combi, Angelo Montanari, Rosalba Rossato
2005	B	`conf`	An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. LPAR Angelo Montanari, Alberto Policriti, Nicola Vitacolonna
2005	—	`conf`	Checking Workflow Schemas with Time Constraints Using Timed Automata. OTM Workshops Elisabetta De Maria, Angelo Montanari, Marco Zantoni
2005	—	`conf`	Granular GeoGraph: a multi-granular conceptual model for spatial data. SEBD Iginia De Fent, Donatella Gubiani, Angelo Montanari
2005	C	`conf`	Propositional Interval Temporal Logics: Some Promising Paths. TIME Angelo Montanari
2005	—	`ch.`	Time Granularity. Handbook of Temporal Reasoning in Artificial Intelligence Jérôme Euzenat, Angelo Montanari
2004	J	`jnl`	A Road Map of Interval Temporal Logics and Duration Calculi. J. Appl. Non Class. Logics Valentin Goranko, Angelo Montanari, Guido Sciavicco
2004	—	`conf`	Decidability of MSO Theories of Tree Structures. FSTTCS Angelo Montanari, Gabriele Puppis
2004	C	`conf`	Decidability of the Theory of the Totally Unbounded omega-Layered Structure. TIME Angelo Montanari, Gabriele Puppis
2004	J	`jnl`	Model Checking for Combined Logics with an Application to Mobile Systems. Autom. Softw. Eng. Massimo Franceschet, Angelo Montanari, Maarten de Rijke
2004	J	`jnl`	Temporalized logics and automata for time granularity. Theory Pract. Log. Program. Massimo Franceschet, Angelo Montanari
2004	B	`conf`	Time Granularities and Ultimately Periodic Automata. JELIA Davide Bresolin, Angelo Montanari, Gabriele Puppis
2003	B	`conf`	A General Tableau Method for Propositional Interval Temporal Logics. TABLEAUX Valentin Goranko, Angelo Montanari, Guido Sciavicco
2003	—	`conf`	Binary Extensions of S1S and the Composition Method. Verification: Theory and Practice Enrico Marzano, Angelo Montanari, Alberto Policriti
2003	C	`conf`	Definability and decidability of binary predicates for time granularity. TIME Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
2003	J	`jnl`	Propositional Interval Neighborhood Temporal Logics. J. Univers. Comput. Sci. Valentin Goranko, Angelo Montanari, Guido Sciavicco
2003	J	`jnl`	Temporal representation and reasoning. Data Knowl. Eng. Claudio Bettini, Angelo Montanari
2003	J	`jnl`	Temporalized logics and automata for time granularity CoRR Massimo Franceschet, Angelo Montanari
2003	—	`conf`	Towards Compact and Tractable Automaten-Based Representations of Time Granularities. ICTCS Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
2002	J	`jnl`	Alternative Translation Techniques for Propositional and First-Order Modal Logics. J. Autom. Reason. Angelo Montanari, Alberto Policriti, Matteo Slanina
2002	B	`conf`	Decidability of Interval Temporal Logics over Split-Frames via Granularity. JELIA Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna
2002	J	`jnl`	Extending Kamp's Theorem to Model Time Granularity. J. Log. Comput. Angelo Montanari, Adriano Peron, Alberto Policriti
2002	A	`conf`	Querying Data with Multiple Temporal Dimensions. CAiSE Carlo Combi, Angelo Montanari
2002	J	`jnl`	Research Issues and Trends in Spatial and Temporal Granularities. Ann. Math. Artif. Intell. Claudio Bettini, Angelo Montanari
2001	J	`jnl`	AAAI 2000 Workshop Reports. AI Mag. Yves Lespérance, Gerd Wagner, William P. Birmingham, Kurt Bollacker, Alexander Nareyek, J. Paul Walser, David W. Aha, Timothy W. Finin, Benjamin N. Grosof, Nathalie Japkowicz, Robert Holte, Lise Getoor, Carla P. Gomes, Holger H. Hoos, Alan C. Schultz, Miroslav Kubat, Tom M. Mitchell, Jörg Denzinger, Yolanda Gil, Karen L. Myers, Claudio Bettini, Angelo Montanari
2001	B	`conf`	Calendars, Time Granularities, and Automata. SSTD Ugo Dal Lago, Angelo Montanari
2001	A	`conf`	Data Models with Multiple Temporal Dimensions: Completing the Picture. CAiSE Carlo Combi, Angelo Montanari
2000	C	`conf`	A Calculus of Macro-Events: Progress Report. TIME Iliano Cervesato, Angelo Montanari
2000	J	`jnl`	A Guided Tour through Some Extensions of the Event Calculus. Comput. Intell. Iliano Cervesato, Massimo Franceschet, Angelo Montanari
2000	J	`jnl`	A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus. Ann. Math. Artif. Intell. Massimo Franceschet, Angelo Montanari
2000	B	`conf`	Derivability in Locally Quantified Modal Logics via Translation in Set Theory. MFCS Angelo Montanari, Alberto Policriti, Matteo Slanina
2000	A*	`conf`	Supporting automated deduction in first-order modal logics. KR Angelo Montanari, Alberto Policriti, Matteo Slanina
2000	J	`jnl`	Temporal representation and reasoning in artificial intelligence: Issues and approaches. Ann. Math. Artif. Intell. Luca Chittaro, Angelo Montanari
2000	J	`jnl`	The Taming (Timing) of the States. Log. J. IGPL Angelo Montanari, Adriano Peron, Alberto Policriti
1999	J	`jnl`	A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants. J. Log. Program. Iliano Cervesato, Angelo Montanari
1999	C	`conf`	A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. TIME Massimo Franceschet, Angelo Montanari
1999	J	`jnl`	Editorial. Log. J. IGPL Angelo Montanari, Alberto Policriti, Yde Venema
1999	—	`conf`	Indexing by Shape of Image Databases Based on Extended Grid Files. ICMCS, Vol. 2 Carlo Combi, Gian Luca Foresti, Massimo Franceschet, Angelo Montanari
1999	—	`conf`	Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. AI*IA Massimo Franceschet, Angelo Montanari
1999	J	`jnl`	Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. Log. J. IGPL Angelo Montanari, Adriano Peron, Alberto Policriti
1998	J	`jnl`	Editorial: Temporal Representation and Reasoning. Ann. Math. Artif. Intell. Luca Chittaro, Angelo Montanari
1998	C	`conf`	Event Calculus with Explicit Quantifiers. TIME Iliano Cervesato, Massimo Franceschet, Angelo Montanari
1998	J	`jnl`	Modal Deduction in Second-Order Logic and Set Theory - II. Stud Logica Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
1998	A*	`conf`	The Complexity of Model Checking in Modal Event Calculi with Quantifiers. KR Iliano Cervesato, Massimo Franceschet, Angelo Montanari
1998	J	`jnl`	The Complexity of Model Checking in Modal Event Calculi with Quantifiers. Electron. Trans. Artif. Intell. Iliano Cervesato, Massimo Franceschet, Angelo Montanari
1997	—	`conf`	A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. IJCAI (1) Angelo Montanari, Alberto Policriti
1997	J	`jnl`	Modal Deduction in Second-Order Logic and Set Theory - I. J. Log. Comput. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
1997	C	`conf`	Modal Event Calculi with Preconditions. TIME Iliano Cervesato, Massimo Franceschet, Angelo Montanari
1997	B	`conf`	The Complexity of Model Checking in Modal Event Calculi. ICLP Iliano Cervesato, Massimo Franceschet, Angelo Montanari
1997	—	`conf`	The Consensus Glossary of Temporal Database Concepts - February 1998 Version. Temporal Databases, Dagstuhl Christian S. Jensen, Curtis E. Dyreson, Michael H. Böhlen, James Clifford, Ramez Elmasri, Shashi K. Gadia, Fabio Grandi, Patrick J. Hayes, Sushil Jajodia, Wolfgang Käfer, Nick Kline, Nikos A. Lorentzos, Yannis G. Mitsopoulos, Angelo Montanari, Daniel A. Nonen, Elisa Peressi, Barbara Pernici, John F. Roddick, Nandlal L. Sarda, Maria Rita Scalas, Arie Segev, Richard T. Snodgrass, Michael D. Soo, Abdullah Uz Tansel, Paolo Tiberio, Gio Wiederhold
1997	J	`jnl`	Two-sorted Metric Temporal Logics. Theor. Comput. Sci. Angelo Montanari, Maarten de Rijke
1996	A	`conf`	A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants. ECAI Angelo Montanari, Luca Chittaro, Iliano Cervesato
1996	J	`jnl`	Decidability Results for Metric and Layered Temporal Logics. Notre Dame J. Formal Log. Angelo Montanari, Alberto Policriti
1996	J	`jnl`	Efficient Temporal Reasoning in the Cached Event Calculus. Comput. Intell. Luca Chittaro, Angelo Montanari
1996	—	`—`	Metric and Layered Temporal Logic for Time Granularity Angelo Montanari
1996	C	`ed.`	Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996 TIME Luca Chittaro, Scott D. Goodwin, Howard J. Hamilton, Angelo Montanari
1996	J	`jnl`	Trends in temporal representation and reasoning. Knowl. Eng. Rev. Luca Chittaro, Angelo Montanari
1995	B	`conf`	A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. ICLP Iliano Cervesato, Luca Chittaro, Angelo Montanari
1995	A	`conf`	A Set-Theoretic Translation Method for (Poly)modal Logics. STACS Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
1995	J	`jnl`	A Set-Theoretic Translation Method for Polymodal Logics. J. Autom. Reason. Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
1995	—	`conf`	Completeness Results for Two-sorted Metric Temporal Logics. AMAST Angelo Montanari, Maarten de Rijke
1994	C	`conf`	Efficient Handling of Context Dependency in the Cached Event Calculus. TIME Luca Chittaro, Angelo Montanari
1994	—	`conf`	Modal Event Calculus. ILPS Iliano Cervesato, Luca Chittaro, Angelo Montanari
1994	J	`jnl`	Object Migration in Temporal Object-Oriented Databases. Informatica (Slovenia) Angelo Montanari, Elisa Peressi, Barbara Pernici
1994	A	`conf`	Skeptical and Credulous Event Calculi for Supporting Modal Queries. ECAI Luca Chittaro, Angelo Montanari, Alessandro Provetti
1994	—	`conf`	T-ORM: Temporal Aspects in Objects and Roles. ORM Nina Edelweiss, José Palazzo M. de Oliveira, José Mauro Volkmer de Castilho, Elisa Peressi, Angelo Montanari, Barbara Pernici
1994	—	`conf`	T-ORM: un modello temporale per l'evoluzione degli oggetti. SEBD Elisa Peressi, Angelo Montanari, Barbara Pernici
1994	—	`conf`	What the Event Calculus actually does, and how to do it efficiently. GULP-PRODE (2) Iliano Cervesato, Luca Chittaro, Angelo Montanari
1993	J	`jnl`	Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems. Sci. Comput. Program. Emanuele Ciapessoni, Edoardo Corsetti, Angelo Montanari, Pierluigi San Pietro
1993	—	`conf`	Reasoning about discrete processes in a logic programming framework. GULP L. Chitaro, Angelo Montanari
1993	—	`ch.`	temporal Reasoning. Temporal Databases Angelo Montanari, Barbara Pernici
1992	—	`conf`	Dealing with Time Granularity in the Event Calculus. FGCS Angelo Montanari, Enrico Maim, Emanuele Ciapessoni, Elena Ratto
1991	J	`jnl`	Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems. Real Time Syst. Edoardo Corsetti, Angelo Montanari, Elena Ratto
1991	—	`conf`	Dealing with different time scales in formal specifications. IWSSD Edoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto
1991	—	`conf`	Embedding time granularity in logical specifications of real-time systems. RTS Angelo Montanari, Elena Ratto, Edoardo Corsetti, Angelo Morzenti