The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Angelo Montanari" ( http://dblp.L3S.de/Authors/Angelo_Montanari )

URL (Homepage):  https://users.dimi.uniud.it/~angelo.montanari/index.php  Author page on DBLP  Author page in RDF  Community of Angelo Montanari in ASPL-2

Publication years (Num. hits)
1991-1995 (18) 1996-1998 (17) 1999-2001 (16) 2002-2004 (18) 2005-2007 (22) 2008-2009 (18) 2010-2011 (18) 2012-2013 (16) 2014-2015 (18) 2016 (16) 2017-2018 (27) 2019 (20) 2020 (16) 2021-2022 (22) 2023 (1)
Publication types (Num. hits)
article(94) incollection(4) inproceedings(162) phdthesis(1) proceedings(2)
Venues (Conferences, Journals, ...)
TIME(33) CoRR(13) GandALF(12) Theor. Comput. Sci.(11) ICTCS(8) Inf. Comput.(7) TABLEAUX(7) Ann. Math. Artif. Intell.(6) ECAI(5) JELIA(5) KR(5) SEBD(5) Acta Informatica(4) FSTTCS(4) LPAR(4) CSL(3) More (+10 of total 114)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18 occurrences of 17 keywords

Results
Found 264 publication records. Showing 263 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta GR(1) is equivalent to R(1). Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Angelo Montanari, Nicola Saccomanno A Framework for Indoor Positioning Including Building Topology. Search on Bibsonomy IEEE Access The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala Decidability and complexity of action-based temporal planning over dense time. Search on Bibsonomy Artif. Intell. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Angelo Montanari, Nicola Saccomanno A genetic programming approach to WiFi fingerprint meta-distance learning. Search on Bibsonomy Pervasive Mob. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Angelo Montanari, Adriano Peron Complexity issues for timeline-based planning over dense time under future and minimal semantics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Pietro Sala Reactive synthesis from interval temporal logic specifications. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  BibTeX  RDF
1Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti Controller Synthesis for Timeline-based Games. Search on Bibsonomy GandALF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta A first-order logic characterization of safety and co-safety languages. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco A combined approach to the analysis of speech conversations in a contact center domain. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta A first-order logic characterisation of safety and co-safety languages. Search on Bibsonomy FoSSaCS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Andrea 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. Search on Bibsonomy Artif. Intell. Medicine The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta Expressiveness of Extended Bounded Response LTL. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Andrea Urgolo, Federico Pittino, András Montvay, Angelo Montanari Virtual Sensing and Sensors Selection for Efficient Temperature Monitoring in Indoor Environments. Search on Bibsonomy Sensors The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Angelo Montanari, Adriano Peron Complexity analysis of a unifying algorithm for model checking interval temporal logic. Search on Bibsonomy Inf. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds 0001 One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past. Search on Bibsonomy Inf. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Luca Geatti, Nicola Gigante, Angelo Montanari BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker. Search on Bibsonomy OVERLAY@GandALF The full citation details ... 2021 DBLP  BibTeX  RDF
1Dario Della Monica, Angelo Montanari, Pietro Sala Extended ω-Regular Languages and Interval Temporal Logic. Search on Bibsonomy ICTCS The full citation details ... 2021 DBLP  BibTeX  RDF
1Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. Search on Bibsonomy TIME The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. Search on Bibsonomy TIME The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. Search on Bibsonomy SEFM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1David Barozzini, David de Frutos-Escrig, Dario Della Monica, Angelo Montanari, Pietro Sala Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger Timeline-based planning over dense temporal domains. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Nicola Gigante, Angelo Montanari, Andrea Orlandini, Marta Cialdea Mayer, Mark Reynolds 0001 On timeline-based games and their complexity. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta Reactive Synthesis from Extended Bounded Response LTL Specifications. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron Model checking interval temporal logics with regular expressions. Search on Bibsonomy Inf. Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Nicola Saccomanno, Andrea Brunello, Angelo Montanari Let's Forget About Exact Signal Strength: Indoor Positioning based on Access Point Ranking and Recurrent Neural Networks. Search on Bibsonomy MobiQuitous The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Martin Kraft, Angelo Montanari, Federico Pittino, Andrea Urgolo Virtual Sensing of Temperatures in Indoor Environments: A Case Study. Search on Bibsonomy ICDM (Workshops) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala On a Temporal Logic of Prefixes and Infixes. Search on Bibsonomy MFCS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Paolo Gallo, Donatella Gubiani, Angelo Montanari, Nicola Saccomanno A new similarity measure for low-sampling cellular fingerprint trajectories. Search on Bibsonomy MDM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala Decidability and Complexity of Action-Based Temporal Planning over Dense Time. Search on Bibsonomy AAAI The full citation details ... 2020 DBLP  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron Undecidability of Future Timeline-based Planning over Dense Temporal Domains? Search on Bibsonomy ICTCS The full citation details ... 2020 DBLP  BibTeX  RDF
1Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. Search on Bibsonomy OVERLAY The full citation details ... 2020 DBLP  BibTeX  RDF
1Andrea Brunello, Dario Della Monica, Angelo Montanari, Andrea Urgolo Learning How to Monitor: Pairing Monitoring and Learning for Online System Verification. Search on Bibsonomy OVERLAY The full citation details ... 2020 DBLP  BibTeX  RDF
1Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari Complexity of Qualitative Timeline-Based Planning. Search on Bibsonomy TIME The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta Reactive Synthesis from Extended Bounded Response LTL Specifications. Search on Bibsonomy FMCAD The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Fernando Jiménez, Enrico Marzano, Angelo Montanari, Gracia Sánchez, Guido Sciavicco Multiobjective evolutionary feature selection and fuzzy classification of contact centre data. Search on Bibsonomy Expert Syst. J. Knowl. Eng. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Which fragments of the interval temporal logic HS are tractable in model checking? Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data. Search on Bibsonomy Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Viel, Andrea Brunello, Angelo Montanari, Federico Pittino An original approach to positioning with cellular fingerprints based on decision tree ensembles. Search on Bibsonomy J. Locat. Based Serv. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Dalla Torre, Paolo Gallo, Donatella Gubiani, Chris Marshall, Angelo Montanari, Federico Pittino, Andrea Viel A map-matching algorithm dealing with sparse cellular fingerprint observations. Search on Bibsonomy Geo spatial Inf. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron Undecidability of future timeline-based planning over dense temporal domains. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Andrea Brunello, Paolo Gallo, Enrico Marzano, Angelo Montanari, Nicola Vitacolonna An Event-Based Data Warehouse to Support Decisions in Multi-Channel, Multi-Service Contact Centers. Search on Bibsonomy J. Cases Inf. Technol. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Davide 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. Search on Bibsonomy Inf. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Angelo Montanari Model Checking: The Interval Way. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron Model Checking Timeline-Based Systems over Dense Temporal Domains. Search on Bibsonomy ICTCS The full citation details ... 2019 DBLP  BibTeX  RDF
1Luca Geatti, Nicola Gigante, Angelo Montanari A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. Search on Bibsonomy TABLEAUX The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Angelo Montanari, Mark Reynolds 0001 Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. Search on Bibsonomy TIME The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Angelo Montanari, Adriano Peron Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. Search on Bibsonomy TIME The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. Search on Bibsonomy GCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Donatella Gubiani, Paolo Gallo, Andrea Viel, Andrea Dalla Torre, Angelo Montanari A Cellular Network Database for Fingerprint Positioning Systems. Search on Bibsonomy ADBIS (Short Papers and Workshops) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea 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. Search on Bibsonomy ADBIS (Short Papers and Workshops) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Dario Della Monica, Angelo Montanari Pairing Monitoring with Machine Learning for Smart System Verification and Predictive Maintenance. Search on Bibsonomy OVERLAY@AI*IA The full citation details ... 2019 DBLP  BibTeX  RDF
1Laura Bozzelli, Angelo Montanari, Adriano Peron Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains. Search on Bibsonomy FSTTCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Angelo Montanari, Adriano Peron Interval Temporal Logic for Visibly Pushdown Systems. Search on Bibsonomy FSTTCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Jan Chomicki Time Domain. Search on Bibsonomy Encyclopedia of Database Systems (2nd ed.) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luca Geatti, Nicola Gigante, Angelo Montanari, Mark Reynolds 0001 One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds 0001 A game-theoretic approach to timeline-based planning with uncertainty. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground. Search on Bibsonomy GandALF The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alberto Molinari, Angelo Montanari, Adriano Peron Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives. Search on Bibsonomy Inf. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura 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. Search on Bibsonomy Inf. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Viel, Andrea Brunello, Angelo Montanari, Federico Pittino An Original Approach to Positioning with Cellular Fingerprints Based on Decision Tree Ensembles. Search on Bibsonomy LBS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete. Search on Bibsonomy ICTCS The full citation details ... 2018 DBLP  BibTeX  RDF
1Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco A Novel Decision Tree Approach for the Handling of Time Series. Search on Bibsonomy MIKE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds 0001 A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees. Search on Bibsonomy ICIST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala A Novel Automata-Theoretic Approach to Timeline-Based Planning. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Andrea Viel, Donatella Gubiani, Paolo Gallo, Angelo Montanari, Andrea Dalla Torre, Federico Pittino, Chris Marshall Map matching with sparse cellular fingerprint observations. Search on Bibsonomy UPINLBS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Angelo Montanari, Pietro Sala Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata. Search on Bibsonomy GandALF The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alberto Molinari, Angelo Montanari, Adriano Peron Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Laura 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. Search on Bibsonomy GandALF The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicola Gigante, Angelo Montanari, Mark Reynolds 0001 A One-Pass Tree-Shaped Tableau for LTL+Past. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrea Viel, Paolo Gallo, Angelo Montanari, Donatella Gubiani, Andrea Dalla Torre, Federico Pittino, Chris Marshall Dealing with network changes in cellular fingerprint positioning systems. Search on Bibsonomy ICL-GNSS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. Search on Bibsonomy ICALP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco A Model Checker for Interval Temporal Logic over Finite Structures. Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  BibTeX  RDF
1David Barozzini, Dario Della Monica, Angelo Montanari, Pietro Sala Counter-queue Automata with an Application to a Meaningful Extension of Omega-regular Languages. Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  BibTeX  RDF
1Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini Complexity of Timeline-Based Planning. Search on Bibsonomy ICAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. Search on Bibsonomy SEFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. Search on Bibsonomy Acta Informatica The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron Checking interval properties of computations. Search on Bibsonomy Acta Informatica The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Marco Pazzaglia, Pietro Sala Metric propositional neighborhood logic with an equivalence relation. Search on Bibsonomy Acta Informatica The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Marco Pazzaglia, Pietro Sala Adding one or more equivalence relations to the interval temporal logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matjaz Gams, Eva Cerncic, Angelo Montanari A Temporal Perspective on the Paradox of Pinocchio's Nose. Search on Bibsonomy Informatica (Slovenia) The full citation details ... 2016 DBLP  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete. Search on Bibsonomy GandALF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron Checking Interval Properties of Computations. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Alberto Molinari, Angelo Montanari, Adriano Peron Complexity of ITL model checking: some well-behaved fragments of the interval logic HS. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. Search on Bibsonomy ICTCS The full citation details ... 2016 DBLP  BibTeX  RDF
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Angelo Montanari Interval Temporal Logics Model Checking. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Angelo Montanari, Aniello Murano, Pietro Sala Prompt Interval Temporal Logic. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 263 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license