Angelo Montanari

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 127

Top Venues

University of Amsterdam (PHD)

Education History

University of Amsterdam

PHD

Publications

Luca Geatti, Alessio Mansutti, Angelo Montanari
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version). CoRR (2024)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. TIME (2023)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
A first-order logic characterization of safety and co-safety languages. Log. Methods Comput. Sci. 19 (3) (2023)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
GR(1) is equivalent to R(1). Inf. Process. Lett. 179 (2023)
Andrea Brunello, Dario Della Monica, Angelo Montanari, Nicola Saccomanno, Andrea Urgolo
Monitors That Learn From Failures: Pairing STL and Genetic Programming. IEEE Access 11 (2023)
Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
. LICS (2023)
Andrea Bernardini, Andrea Brunello, Gian Luigi Gigli, Angelo Montanari, Nicola Saccomanno
AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning. CoRR (2023)
Luca Geatti, Angelo Montanari, Nicola Saccomanno
Towards Machine Learning Enhanced LTL Monitoring. OVERLAY@AI*IA (2023)
Andrea Brunello, Angelo Montanari, Nicola Saccomanno
Towards interpretability in fingerprint based indoor positioning: May attention be with us. Expert Syst. Appl. 231 (2023)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. AAAI (2023)
Nicola Saccomanno, Andrea Brunello, Angelo Montanari
Towards Learning an Optimal Metric for Fingerprint-based Localisation. MobiCom (2023)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL. KR (2023)
Laura Bozzelli, Angelo Montanari, Adriano Peron
Interval Temporal Logic for Visibly Pushdown Systems. ACM Trans. Comput. Log. 24 (3) (2023)
Dario Della Monica, Angelo Montanari, Pietro Sala
-regular languages. Theor. Comput. Sci. 962 (2023)
Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
The Logic of Prefixes and Suffixes is Elementary under Homogeneity. CoRR (2023)
Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari
Qualitative past Timeline-Based Games (Extended Abstract). TIME (2023)
Andrea Brunello, Andrea Dalla Torre, Paolo Gallo, Donatella Gubiani, Angelo Montanari, Nicola Saccomanno
Crowdsourced Reconstruction of Cellular Networks to Serve Outdoor Positioning: Modeling, Validation and Analysis. Sensors 23 (1) (2023)
Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti
Controller Synthesis for Timeline-based Games. CoRR (2023)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
Pspace-completeness of the temporal logic of sub-intervals and suffixes. Inf. Comput. 294 (2023)
Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala
Decidability and complexity of action-based temporal planning over dense time. Artif. Intell. 307 (2022)
Angelo Montanari, Pietro Sala
Reactive synthesis from interval temporal logic specifications. Theor. Comput. Sci. 899 (2022)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
A first-order logic characterisation of safety and co-safety languages. FoSSaCS (2022)
Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti
Controller Synthesis for Timeline-based Games. GandALF (2022)
Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari
Complexity of Safety and coSafety Fragments of Linear Temporal Logic. CoRR (2022)
Andrea Brunello, Angelo Montanari, Nicola Saccomanno
A Framework for Indoor Positioning Including Building Topology. IEEE Access 10 (2022)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. CoRR (2022)
Andrea Brunello, Angelo Montanari, Nicola Saccomanno
A genetic programming approach to WiFi fingerprint meta-distance learning. Pervasive Mob. Comput. 85 (2022)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. Log. Methods Comput. Sci. 18 (1) (2022)
Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
A combined approach to the analysis of speech conversations in a contact center domain. CoRR (2022)
Laura Bozzelli, Angelo Montanari, Adriano Peron
Complexity issues for timeline-based planning over dense time under future and minimal semantics. Theor. Comput. Sci. 901 (2022)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
A first-order logic characterization of safety and co-safety languages. CoRR (2022)
Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato
Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. TIME (2021)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Expressiveness of Extended Bounded Response LTL. GandALF (2021)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete. GandALF (2021)
Dario Della Monica, Angelo Montanari, Pietro Sala
Extended ω-Regular Languages and Interval Temporal Logic. ICTCS (2021)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. SEFM (2021)
Laura Bozzelli, Angelo Montanari, Adriano Peron
Complexity analysis of a unifying algorithm for model checking interval temporal logic. Inf. Comput. 280 (2021)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. TIME (2021)
Andrea Brunello, Andrea Urgolo, Federico Pittino, András Montvay, Angelo Montanari
Virtual Sensing and Sensors Selection for Efficient Temperature Monitoring in Indoor Environments. Sensors 21 (8) (2021)
Andrea Bernardini, Andrea Brunello, Gian Luigi Gigli, Angelo Montanari, Nicola Saccomanno
AIOSA: An approach to the automatic identification of obstructive sleep apnea events based on deep learning. Artif. Intell. Medicine 118 (2021)
Luca Geatti, Nicola Gigante, Angelo Montanari
BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker. OVERLAY@GandALF (2021)
Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds
+Past. Inf. Comput. 278 (2021)
Andrea Brunello, Martin Kraft, Angelo Montanari, Federico Pittino, Andrea Urgolo
Virtual Sensing of Temperatures in Indoor Environments: A Case Study. ICDM (Workshops) (2020)
Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan
A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. OVERLAY (2020)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Model checking interval temporal logics with regular expressions. Inf. Comput. 272 (2020)
Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala
Decidability and Complexity of Action-Based Temporal Planning over Dense Time. AAAI (2020)
Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari
Complexity of Qualitative Timeline-Based Planning. TIME (2020)
Andrea Brunello, Dario Della Monica, Angelo Montanari, Andrea Urgolo
Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification. OVERLAY (2020)
Nicola Saccomanno, Andrea Brunello, Angelo Montanari
Let's Forget About Exact Signal Strength: Indoor Positioning based on Access Point Ranking and Recurrent Neural Networks. MobiQuitous (2020)
David Barozzini, David de Frutos-Escrig, Dario Della Monica, Angelo Montanari, Pietro Sala
-regular expressions and their automata and logic counterparts. Theor. Comput. Sci. 813 (2020)
Paolo Gallo, Donatella Gubiani, Angelo Montanari, Nicola Saccomanno
A new similarity measure for low-sampling cellular fingerprint trajectories. MDM (2020)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Reactive Synthesis from Extended Bounded Response LTL Specifications. CoRR (2020)
Nicola Gigante, Angelo Montanari, Andrea Orlandini, Marta Cialdea Mayer, Mark Reynolds
On timeline-based games and their complexity. Theor. Comput. Sci. 815 (2020)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Undecidability of Future Timeline-based Planning over Dense Temporal Domains? ICTCS (2020)
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Reactive Synthesis from Extended Bounded Response LTL Specifications. FMCAD (2020)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger
Timeline-based planning over dense temporal domains. Theor. Comput. Sci. 813 (2020)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
On a Temporal Logic of Prefixes and Infixes. MFCS (2020)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. CoRR (2020)
Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data. Comput. 8 (1) (2019)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Which fragments of the interval temporal logic HS are tractable in model checking? Theor. Comput. Sci. 764 (2019)
Luca Geatti, Nicola Gigante, Angelo Montanari
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. TABLEAUX (2019)
Andrea Brunello, Fernando Jiménez, Enrico Marzano, Angelo Montanari, Gracia Sánchez, Guido Sciavicco
Multiobjective evolutionary feature selection and fuzzy classification of contact centre data. Expert Syst. J. Knowl. Eng. 36 (3) (2019)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Model Checking Timeline-Based Systems over Dense Temporal Domains. ICTCS (2019)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. Inf. Comput. 266 (2019)
Laura Bozzelli, Angelo Montanari, Adriano Peron
Interval Temporal Logic for Visibly Pushdown Systems. FSTTCS (2019)
Andrea Viel, Andrea Brunello, Angelo Montanari, Federico Pittino
An original approach to positioning with cellular fingerprints based on decision tree ensembles. J. Locat. Based Serv. 13 (1) (2019)
Donatella Gubiani, Paolo Gallo, Andrea Viel, Andrea Dalla Torre, Angelo Montanari
A Cellular Network Database for Fingerprint Positioning Systems. ADBIS (Short Papers and Workshops) (2019)
Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. GCAI (2019)
Laura Bozzelli, Angelo Montanari, Adriano Peron
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. TIME (2019)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. ACM Trans. Comput. Log. 20 (1) (2019)
Laura Bozzelli, Angelo Montanari, Adriano Peron
Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains. FSTTCS (2019)
Andrea Dalla Torre, Paolo Gallo, Donatella Gubiani, Chris Marshall, Angelo Montanari, Federico Pittino, Andrea Viel
A map-matching algorithm dealing with sparse cellular fingerprint observations. Geo spatial Inf. Sci. 22 (2) (2019)
Andrea Brunello, Dario Della Monica, Angelo Montanari
Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance. OVERLAY@AI*IA (2019)
Andrea Brunello, Joanna Kaminska, Enrico Marzano, Angelo Montanari, Guido Sciavicco, Tomasz Turek
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) (2019)
Andrea Brunello, Paolo Gallo, Enrico Marzano, Angelo Montanari, Nicola Vitacolonna
An Event-Based Data Warehouse to Support Decisions in Multi-Channel, Multi-Service Contact Centers. J. Cases Inf. Technol. 21 (1) (2019)
Andrea Brunello, Angelo Montanari, Mark Reynolds
Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. TIME (2019)
Angelo Montanari
Model Checking: The Interval Way. CILC (2019)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Undecidability of future timeline-based planning over dense temporal domains. CoRR (2019)
Alberto Molinari, Angelo Montanari, Adriano Peron
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives. Inf. Comput. 259 (3) (2018)
Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
A Novel Decision Tree Approach for the Handling of Time Series. MIKE (2018)
Andrea Viel, Andrea Brunello, Angelo Montanari, Federico Pittino
An Original Approach to Positioning with Cellular Fingerprints Based on Decision Tree Ensembles. LBS (2018)
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds
A game-theoretic approach to timeline-based planning with uncertainty. CoRR (2018)
Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco
J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees. ICIST (2018)
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds
A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. TIME (2018)
Andrea Viel, Donatella Gubiani, Paolo Gallo, Angelo Montanari, Andrea Dalla Torre, Federico Pittino, Chris Marshall
Map matching with sparse cellular fingerprint observations. UPINLBS (2018)
Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. GandALF (2018)
Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala
A Novel Automata-Theoretic Approach to Timeline-Based Planning. KR (2018)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete. ICTCS (2018)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground. GandALF (2018)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Inf. Comput. 262 (2018)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. KR (2018)
David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala
Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. ICTCS/CILC (2017)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. CoRR (2017)
Alberto Molinari, Angelo Montanari, Adriano Peron
Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives. CoRR (2017)
Andrea Viel, Paolo Gallo, Angelo Montanari, Donatella Gubiani, Andrea Dalla Torre, Federico Pittino, Chris Marshall
Dealing with network changes in cellular fingerprint positioning systems. ICL-GNSS (2017)
Nicola Gigante, Angelo Montanari, Mark Reynolds
A One-Pass Tree-Shaped Tableau for LTL+Past. LPAR (2017)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. SEFM (2017)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions. GandALF (2017)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. ICALP (2017)
Dario Della Monica, Angelo Montanari, Pietro Sala
Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata. GandALF (2017)

Angelo Montanari.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Angelo Montanari