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 (17) 1996-1998 (17) 1999-2001 (16) 2002-2004 (18) 2005-2007 (22) 2008-2009 (18) 2010-2011 (18) 2012-2013 (16) 2014-2015 (17) 2016 (17) 2017-2018 (26) 2019 (13)
Publication types (Num. hits)
article(75) incollection(4) inproceedings(133) phdthesis(1) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18 occurrences of 17 keywords

Results
Found 216 publication records. Showing 215 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
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 Systems 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 Computers 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. Location Based Services 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 Information Science 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 on Inf. Techn. 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
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 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
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 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 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 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
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 A One-Pass Tree-Shaped Tableau for LTL+Past. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  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
1Alberto Molinari, Angelo Montanari, Adriano Peron Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2016 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 Inf. 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 Inf. 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 Inf. 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
1Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. Search on Bibsonomy FSTTCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Angelo Montanari, Gabriele Puppis, Pietro Sala A decidable weakening of Compass Logic based on cone-shaped cardinal directions. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Gabriele Puppis, Tiziano Villa Games, Automata, Logics, and Formal Verification (GandALF 2013). Search on Bibsonomy Inf. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. Search on Bibsonomy LATA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco Undecidability of Chop. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  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 TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alberto Molinari, Angelo Montanari, Adriano Peron A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. Search on Bibsonomy CSL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco The dark side of interval temporal logic: marking the undecidability border. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Pietro Sala Interval-based Synthesis. Search on Bibsonomy GandALF The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Angelo Montanari Report on TIME 2013. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2014 DBLP  BibTeX  RDF
1Angelo Montanari, Gabriele Puppis, Pietro Sala Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals. Search on Bibsonomy MFCS (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Marco Pazzaglia, Pietro Sala Adding two equivalence relations to the interval temporal logic AB. Search on Bibsonomy ICTCS The full citation details ... 2014 DBLP  BibTeX  RDF
1Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov DL-Lite and Interval Temporal Logics: a Marriage Proposal. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Marco Pazzaglia, Pietro Sala Metric Propositional Neighborhood Logic with an Equivalence Relation. Search on Bibsonomy TIME The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron Checking Interval Properties of Computations. Search on Bibsonomy TIME The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Metric propositional neighborhood logics on natural numbers. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza A graph-theoretic approach to map conceptual designs to XML schemas. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Pietro Sala Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness. Search on Bibsonomy LICS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Pietro Sala Interval Logics and ωB-Regular Languages. Search on Bibsonomy LATA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. Search on Bibsonomy TIME The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. Search on Bibsonomy J. UCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture Search on Bibsonomy GandALF The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Margherita Napoli, Mimmo Parente Preface. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2012 DBLP  BibTeX  RDF
1Dario Della Monica, Angelo Montanari, Pietro Sala The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic. Search on Bibsonomy Logic Programs, Norms and Action The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco Interval Temporal Logics over Finite Linear Orders: the Complete Picture. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints. Search on Bibsonomy ICAART (1) The full citation details ... 2012 DBLP  BibTeX  RDF
1Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints. Search on Bibsonomy ICAART (Revised Selected Papers) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Pietro Sala An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. Search on Bibsonomy TIME The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco An Optimal Decision Procedure for MPNL over the Integers Search on Bibsonomy GandALF The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Interval Temporal Logics: a Journey. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2011 DBLP  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. Search on Bibsonomy LICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. Search on Bibsonomy TIME The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. Search on Bibsonomy TIME The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlo Combi, Angelo Montanari, Pietro Sala A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities. Search on Bibsonomy SSTD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dario Campagna, Christian De Rosa, Agostino Dovier, Angelo Montanari, Carla Piazza Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Margherita Napoli, Mimmo Parente (eds.) Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010. Search on Bibsonomy GANDALF The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 215 (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