Author of the publication

Model Checking for Combined Logics with an Application to Mobile Systems.

, , and . Autom. Softw. Eng., 11 (3): 289-321 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Montanari, Angelo
add a person with the name Montanari, Angelo
 

Other publications of authors with the same name

Metric propositional neighborhood logic with an equivalence relation., , and . Acta Inf., 53 (6-8): 621-648 (2016)From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract)., , , and . SEBD, page 382-389. Esculapio Editore, (2010)Indexing by Shape of Image Databases Based on Extended Grid Files., , , and . ICMCS, Vol. 2, page 230-234. IEEE Computer Society, (1999)0-7695-0253-9.Calendars, Time Granularities, and Automata., and . SSTD, volume 2121 of Lecture Notes in Computer Science, page 279-298. Springer, (2001)A Decidable Spatial Logic with Cone-Shaped Cardinal Directions., , and . CSL, volume 5771 of Lecture Notes in Computer Science, page 394-408. Springer, (2009)A Tableau-Based System for Spatial Reasoning about Directional Relations., , , and . TABLEAUX, volume 5607 of Lecture Notes in Computer Science, page 123-137. Springer, (2009)A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation., , , and . TABLEAUX, volume 8123 of Lecture Notes in Computer Science, page 74-80. Springer, (2013)A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty., , , , and . TIME, volume 120 of LIPIcs, page 13:1-13:17. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data., , , and . Computers, 8 (1): 21 (2019)Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification., , , , and . LPAR, volume 5330 of Lecture Notes in Computer Science, page 590-604. Springer, (2008)