| 1 |
The Consensus Glossary of Temporal Database Concepts - February 1998 Version. 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. Temporal Databases, Dagstuhl 1997, 367-405. Cited by 175Web SearchBibTeXDownload |
| 2 |
temporal Reasoning. Angelo Montanari, Barbara Pernici. Temporal Databases 1993, 534-562. Cited by 28Web SearchBibTeX |
| 3 |
Temporal representation and reasoning. Claudio Bettini, Angelo Montanari. Data Knowl. Eng. (44): 139-141 (2003). Cited by 4Web SearchBibTeX |
| 4 |
T-ORM: Temporal Aspects in Objects and Roles. Nina Edelweiss, José Palazzo M. de Oliveira, José Mauro Volkmer de Castilho, Elisa Peressi, Angelo Montanari, Barbara Pernici. ORM 1994, 18-27. Cited by 3Web SearchBibTeX |
| 5 |
Object Migration in Temporal Object-Oriented Databases. Angelo Montanari, Elisa Peressi, Barbara Pernici. Informatica (Slovenia) (18) (1994). Cited by 1Web SearchBibTeX |
| 6 |
A theory of ultimately periodic languages and automata with an application to time granularity. Davide Bresolin, Angelo Montanari, Gabriele Puppis. Acta Inf. (46): 331-360 (2009). Web SearchBibTeXDownload |
| 7 |
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. Massimo Franceschet, Angelo Montanari. AI*IA 1999, 131-142. Web SearchBibTeXDownload |
| 8 |
AAAI 2000 Workshop Reports. Yves Lespérance, Gerd Wagner, William P. Birmingham, Kurt D. 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. AI Magazine (22): 127-136 (2001). Web SearchBibTeXDownload |
| 9 |
Completeness Results for Two-sorted Metric Temporal Logics. Angelo Montanari, Maarten de Rijke. AMAST 1995, 385-399. Web SearchBibTeXDownload |
| 10 |
A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus. Massimo Franceschet, Angelo Montanari. Ann. Math. Artif. Intell. (30): 93-118 (2000). Web SearchBibTeXDownload |
| 11 |
Editorial: Temporal Representation and Reasoning. Luca Chittaro, Angelo Montanari. Ann. Math. Artif. Intell. (22): 1-4 (1998). Web SearchBibTeXDownload |
| 12 |
Research Issues and Trends in Spatial and Temporal Granularities. Claudio Bettini, Angelo Montanari. Ann. Math. Artif. Intell. (36): 1-4 (2002). Web SearchBibTeX |
| 13 |
Temporal representation and reasoning in artificial intelligence: Issues and approaches. Luca Chittaro, Angelo Montanari. Ann. Math. Artif. Intell. (28): 47-106 (2000). Web SearchBibTeXDownload |
| 14 |
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco. Ann. Pure Appl. Logic (161): 289-304 (2009). Web SearchBibTeXDownload |
| 15 |
Model Checking for Combined Logics with an Application to Mobile Systems. Massimo Franceschet, Angelo Montanari, Maarten de Rijke. Autom. Softw. Eng. (11): 289-321 (2004). Web SearchBibTeXDownload |
| 16 |
Querying Data with Multiple Temporal Dimensions. Carlo Combi, Angelo Montanari. CAiSE 2002, 711-714. Web SearchBibTeXDownload |
| 17 |
Data Models with Multiple Temporal Dimensions: Completing the Picture. Carlo Combi, Angelo Montanari. CAiSE 2001, 187-202. Web SearchBibTeXDownload |
| 18 |
The t4sql temporal query language. Carlo Combi, Angelo Montanari, Giuseppe Pozzi. CIKM 2007, 193-202. Web SearchBibTeXDownload |
| 19 |
A Guided Tour through Some Extensions of the Event Calculus. Iliano Cervesato, Massimo Franceschet, Angelo Montanari. Computational Intelligence (16): 307-347 (2000). Web SearchBibTeXDownload |
| 20 |
Efficient Temporal Reasoning in the Cached Event Calculus. Luca Chittaro, Angelo Montanari. Computational Intelligence (12): 359-382 (1996). Web SearchBibTeXDownload |
| 21 |
Decidability of the interval temporal logic ABBar over the natural numbers. Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco. CoRR (abs/0912.3429) (2009). Web SearchBibTeXDownload |
| 22 |
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification. Angelo Montanari, Margherita Napoli, Mimmo Parente. CoRR (abs/1006.1711) (2010). Web SearchBibTeXDownload |
| 23 |
Temporalized logics and automata for time granularity. Massimo Franceschet, Angelo Montanari. CoRR (cs.LO/0311022) (2003). Web SearchBibTeXDownload |
| 24 |
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. Ian Hodkinson, Angelo Montanari, Guido Sciavicco. CSL 2008, 308-322. Web SearchBibTeXDownload |
| 25 |
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. Angelo Montanari, Gabriele Puppis, Pietro Sala. CSL 2009, 394-408. Web SearchBibTeXDownload |
| 26 |
A Relational Encoding of a Conceptual Model with Multiple Temporal Dimensions. Donatella Gubiani, Angelo Montanari. DEXA 2009, 792-806. Web SearchBibTeXDownload |
| 27 |
Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema. Massimo Franceschet, Angelo Montanari, Donatella Gubiani. DEXA Workshops 2007, 25-29. Web SearchBibTeXDownload |
| 28 |
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants. Angelo Montanari, Luca Chittaro, Iliano Cervesato. ECAI 1996, 33-37. Web SearchBibTeX |
| 29 |
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. ECAI 2010, 695-700. Web SearchBibTeXDownload |
| 30 |
Skeptical and Credulous Event Calculi for Supporting Modal Queries. Luca Chittaro, Angelo Montanari, Alessandro Provetti. ECAI 1994, 361-365. Web SearchBibTeX |
| 31 |
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. Electr. Notes Theor. Comput. Sci. (262): 65-81 (2010). Web SearchBibTeXDownload |
| 32 |
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala. Electr. Notes Theor. Comput. Sci. (231): 131-151 (2009). Web SearchBibTeXDownload |
| 33 |
Time Domain. Angelo Montanari, Jan Chomicki. Encyclopedia of Database Systems 2009, 3103-3107. Web SearchBibTeXDownload |
| 34 |
Dealing with Time Granularity in the Event Calculus. Angelo Montanari, Enrico Maim, Emanuele Ciapessoni, Elena Ratto. FGCS 1992, 702-712. Web SearchBibTeX |
| 35 |
Decidability of MSO Theories of Tree Structures. Angelo Montanari, Gabriele Puppis. FSTTCS 2004, 434-446. Web SearchBibTeXDownload |
| 36 |
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). Dario Campagna, Christian De Rosa, Agostino Dovier, Angelo Montanari, Carla Piazza. Fundam. Inform. (105): 105-133 (2010). Web SearchBibTeXDownload |
| 37 |
An Optimal Decision Procedure for MPNL over the Integers. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. GandALF 2011, 192-206. Web SearchBibTeXDownload |
| 38 |
A conceptual spatial model supporting topologically-consistent multiple representations. Donatella Gubiani, Angelo Montanari. GIS 2008, 9. Web SearchBibTeXDownload |
| 39 |
Reasoning about discrete processes in a logic programming framework. L. Chitaro, Angelo Montanari. GULP 1993, 407-422. Web SearchBibTeX |
| 40 |
What the Event Calculus actually does, and how to do it efficiently. Iliano Cervesato, Luca Chittaro, Angelo Montanari. GULP-PRODE (2) 1994, 336-350. Web SearchBibTeX |
| 41 |
Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. Angelo Montanari, Gabriele Puppis, Pietro Sala. ICALP (2) 2010, 345-356. Web SearchBibTeXDownload |
| 42 |
Back to Interval Temporal Logics. Angelo Montanari. ICLP 2008, 11-13. Web SearchBibTeXDownload |
| 43 |
The Complexity of Model Checking in Modal Event Calculi. Iliano Cervesato, Massimo Franceschet, Angelo Montanari. ICLP 1997, 419. Web SearchBibTeX |
| 44 |
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. Iliano Cervesato, Luca Chittaro, Angelo Montanari. ICLP 1995, 299-313. Web SearchBibTeX |
| 45 |
Indexing by Shape of Image Databases Based on Extended Grid Files. Carlo Combi, Gian Luca Foresti, Massimo Franceschet, Angelo Montanari. ICMCS, Vol. 2 1999, 230-234. Web SearchBibTeXDownload |
| 46 |
Towards Compact and Tractable Automaten-Based Representations of Time Granularities. Ugo Dal Lago, Angelo Montanari, Gabriele Puppis. ICTCS 2003, 72-85. Web SearchBibTeXDownload |
| 47 |
Expressiveness of the Interval Logics of Allen’s Relations on the Class of All Linear Orders: Complete Classification. Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. IJCAI 2011, 845-850. Web SearchBibTeXDownload |
| 48 |
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics. Angelo Montanari, Alberto Policriti. IJCAI (1) 1997, 196-201. Web SearchBibTeX |
| 49 |
A general tableau method for propositional interval temporal logics: Theory and implementation. Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco. J. Applied Logic (4): 305-330 (2006). Web SearchBibTeXDownload |
| 50 |
Definability and decidability of binary predicates for time granularity. Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco. J. Applied Logic (4): 168-191 (2006). Web SearchBibTeXDownload |
| 51 |
A Set-Theoretic Translation Method for Polymodal Logics. Giovanna D'Agostino, Angelo Montanari, Alberto Policriti. J. Autom. Reasoning (15): 317-337 (1995). Web SearchBibTeXDownload |
| 52 |
Alternative Translation Techniques for Propositional and First-Order Modal Logics. Angelo Montanari, Alberto Policriti, Matteo Slanina. J. Autom. Reasoning (28): 397-415 (2002). Web SearchBibTeXDownload |
| 53 |
An Optimal Decision Procedure for Right Propositional Neighborhood Logic. Davide Bresolin, Angelo Montanari, Guido Sciavicco. J. Autom. Reasoning (38): 173-199 (2007). Web SearchBibTeXDownload |
| 54 |
Time Granularities and Ultimately Periodic Automata. Davide Bresolin, Angelo Montanari, Gabriele Puppis. JELIA 2004, 513-525. Web SearchBibTeXDownload |
| 55 |
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. JELIA 2008, 62-75. Web SearchBibTeXDownload |
| 56 |
Decidability of Interval Temporal Logics over Split-Frames via Granularity. Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna. JELIA 2002, 259-270. Web SearchBibTeXDownload |
| 57 |
Extending Kamp's Theorem to Model Time Granularity. Angelo Montanari, Adriano Peron, Alberto Policriti. J. Log. Comput. (12): 641-677 (2002). Web SearchBibTeXDownload |
| 58 |
Modal Deduction in Second-Order Logic and Set Theory - I. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti. J. Log. Comput. (7): 251-265 (1997). Web SearchBibTeXDownload |
| 59 |
Tableaux for Logics of Subinterval Structures over Dense Orderings. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala. J. Log. Comput. (20): 133-166 (2010). Web SearchBibTeXDownload |
| 60 |
A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants. Iliano Cervesato, Angelo Montanari. J. Log. Program. (38): 111-164 (1999). Web SearchBibTeXDownload |
| 61 |
A Road Map of Interval Temporal Logics and Duration Calculi. Valentin Goranko, Angelo Montanari, Guido Sciavicco. Journal of Applied Non-Classical Logics (14): 9-54 (2004). Web SearchBibTeX |
| 62 |
On the relationships between theories of time granularity and the monadic second-order theory of one successor. Angelo Montanari, Adriano Peron, Gabriele Puppis. Journal of Applied Non-Classical Logics (16): 433-456 (2006). Web SearchBibTeXDownload |
| 63 |
Propositional Interval Neighborhood Temporal Logics. Valentin Goranko, Angelo Montanari, Guido Sciavicco. J. UCS (9): 1137-1167 (2003). Web SearchBibTeXDownload |
| 64 |
Supporting automated deduction in first-order modal logics. Angelo Montanari, Alberto Policriti, Matteo Slanina. KR 2000, 547-556. Web SearchBibTeX |
| 65 |
The Complexity of Model Checking in Modal Event Calculi with Quantifiers. Iliano Cervesato, Massimo Franceschet, Angelo Montanari. KR 1998, 368-379. Web SearchBibTeX |
| 66 |
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco. LFCS 2007, 84-99. Web SearchBibTeXDownload |
| 67 |
Games on Strings with a Limited Order Relation. Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna. LFCS 2009, 164-179. Web SearchBibTeXDownload |
| 68 |
A Contraction Method to Decide MSO Theories of Deterministic Trees. Angelo Montanari, Gabriele Puppis. LICS 2007, 141-150. Web SearchBibTeXDownload |
| 69 |
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. LICS 2011, 387-396. Web SearchBibTeXDownload |
| 70 |
Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. Angelo Montanari, Adriano Peron, Alberto Policriti. Logic Journal of the IGPL (7): 79-102 (1999). Web SearchBibTeXDownload |
| 71 |
The Taming (Timing) of the States. Angelo Montanari, Adriano Peron, Alberto Policriti. Logic Journal of the IGPL (8): 681-699 (2000). Web SearchBibTeXDownload |
| 72 |
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. LPAR 2008, 590-604. Web SearchBibTeXDownload |
| 73 |
An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures. Angelo Montanari, Alberto Policriti, Nicola Vitacolonna. LPAR 2005, 139-153. Web SearchBibTeXDownload |
| 74 |
Derivability in Locally Quantified Modal Logics via Translation in Set Theory. Angelo Montanari, Alberto Policriti, Matteo Slanina. MFCS 2000, 559-568. Web SearchBibTeXDownload |
| 75 |
Decidability Results for Metric and Layered Temporal Logics. Angelo Montanari, Alberto Policriti. Notre Dame Journal of Formal Logic (37): 260-282 (1996). Web SearchBibTeXDownload |
| 76 |
Checking Workflow Schemas with Time Constraints Using Timed Automata. Elisabetta De Maria, Angelo Montanari, Marco Zantoni. OTM Workshops 2005, 1-2. Web SearchBibTeXDownload |
| 77 |
Dealing with Different Time Granularities in Formal Specifications of Real-Time Systems. Edoardo Corsetti, Angelo Montanari, Elena Ratto. Real-Time Systems (3): 191-215 (1991). Web SearchBibTeXDownload |
| 78 |
Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems. Emanuele Ciapessoni, Edoardo Corsetti, Angelo Montanari, Pierluigi San Pietro. Sci. Comput. Program. (20): 141-171 (1993). Web SearchBibTeXDownload |
| 79 |
A Tool for the Visual Synthesis and the Logical Translation of Spatio-Temporal Conceptual Schemas. Donatella Gubiani, Angelo Montanari. SEBD 2007, 495-498. Web SearchBibTeX |
| 80 |
ChronoGeoGraph: an Expressive Spatio-Temporal Conceptual Model. Donatella Gubiani, Angelo Montanari. SEBD 2007, 160-171. Web SearchBibTeX |
| 81 |
T-ORM: un modello temporale per l'evoluzione degli oggetti. Elisa Peressi, Angelo Montanari, Barbara Pernici. SEBD 1994, 271-291. Web SearchBibTeX |
| 82 |
Granular GeoGraph: a multi-granular conceptual model for spatial data. Iginia De Fent, Donatella Gubiani, Angelo Montanari. SEBD 2005, 368-379. Web SearchBibTeX |
| 83 |
From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract). Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza. SEBD 2010, 382-389. Web SearchBibTeX |
| 84 |
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco. SEFM 2009, 240-249. Web SearchBibTeXDownload |
| 85 |
Modal Event Calculus. Iliano Cervesato, Luca Chittaro, Angelo Montanari. SLP 1994, 675. Web SearchBibTeX |
| 86 |
Calendars, Time Granularities, and Automata. Ugo Dal Lago, Angelo Montanari. SSTD 2001, 279-298. Web SearchBibTeXDownload |
| 87 |
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities. Carlo Combi, Angelo Montanari, Pietro Sala. SSTD 2011, 404-421. Web SearchBibTeXDownload |
| 88 |
Decidability of the Interval Temporal Logic ABB over the Natural Numbers. Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco. STACS 2010, 597-608. Web SearchBibTeXDownload |
| 89 |
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. Davide Bresolin, Angelo Montanari, Pietro Sala. STACS 2007, 549-560. Web SearchBibTeXDownload |
| 90 |
A Set-Theoretic Translation Method for (Poly)modal Logics. Giovanna D'Agostino, Angelo Montanari, Alberto Policriti. STACS 1995, 217-228. Web SearchBibTeXDownload |
| 91 |
Modal Deduction in Second-Order Logic and Set Theory - II. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti. Studia Logica (60): 387-420 (1998). Web SearchBibTeXDownload |
| 92 |
A General Tableau Method for Propositional Interval Temporal Logics. Valentin Goranko, Angelo Montanari, Guido Sciavicco. TABLEAUX 2003, 102-116. Web SearchBibTeXDownload |
| 93 |
Tableau Systems for Logics of Subinterval Structures over Dense Orderings. Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala. TABLEAUX 2007, 73-89. Web SearchBibTeXDownload |
| 94 |
A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. Davide Bresolin, Angelo Montanari. TABLEAUX 2005, 63-77. Web SearchBibTeXDownload |
| 95 |
A Tableau-Based System for Spatial Reasoning about Directional Relations. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. TABLEAUX 2009, 123-137. Web SearchBibTeXDownload |
| 96 |
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco. TABLEAUX 2011, 73-87. Web SearchBibTeXDownload |
| 97 |
Two-sorted Metric Temporal Logics. Angelo Montanari, Maarten de Rijke. Theor. Comput. Sci. (183): 187-214 (1997). Web SearchBibTeXDownload |
| 98 |
Compact and tractable automaton-based representations of time granularities. Ugo Dal Lago, Angelo Montanari, Gabriele Puppis. Theor. Comput. Sci. (373): 115-141 (2007). Web SearchBibTeXDownload |
| 99 |
A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. Massimo Franceschet, Angelo Montanari. TIME 1999, 55-66. Web SearchBibTeXDownload |
| 100 |
Undecidability of Interval Temporal Logics with the Overlap Modality. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. TIME 2009, 88-95. Web SearchBibTeXDownload |
| 101 |
Event Calculus with Explicit Quantifiers. Iliano Cervesato, Massimo Franceschet, Angelo Montanari. TIME 1998, 81-88. Web SearchBibTeXDownload |
| 102 |
On the Equivalence of Automaton-Based Representations of Time Granularities. Ugo Dal Lago, Angelo Montanari, Gabriele Puppis. TIME 2007, 82-93. Web SearchBibTeXDownload |
| 103 |
Definability and decidability of binary predicates for time granularity. Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco. TIME 2003, 192-202. Web SearchBibTeXDownload |
| 104 |
An automaton-based approach to the verification of timed workflow schemas. Elisabetta De Maria, Angelo Montanari, Marco Zantoni. TIME 2006, 87-94. Web SearchBibTeXDownload |
| 105 |
Propositional Interval Temporal Logics: Some Promising Paths. Angelo Montanari. TIME 2005, 201-203. Web SearchBibTeXDownload |
| 106 |
An optimal tableau for Right Propositional Neighborhood Logic over Trees. Davide Bresolin, Angelo Montanari, Pietro Sala. TIME 2008, 110-117. Web SearchBibTeXDownload |
| 107 |
A Calculus of Macro-Events: Progress Report. Iliano Cervesato, Angelo Montanari. TIME 2000, 47-58. Web SearchBibTeXDownload |
| 108 |
Efficient Handling of Context Dependency in the Cached Event Calculus. Luca Chittaro, Angelo Montanari. TIME 1994, 103-112. Web SearchBibTeX |
| 109 |
Decidability of the Theory of the Totally Unbounded omega-Layered Structure. Angelo Montanari, Gabriele Puppis. TIME 2004, 156-160. Web SearchBibTeXDownload |
| 110 |
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala. TIME 2010, 27-34. Web SearchBibTeXDownload |
| 111 |
A Decidable Spatial Generalization of Metric Interval Temporal Logic. Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco. TIME 2010, 95-102. Web SearchBibTeXDownload |
| 112 |
Modal Event Calculi with Preconditions. Iliano Cervesato, Massimo Franceschet, Angelo Montanari. TIME 1997, 38-45. Web SearchBibTeXDownload |
| 113 |
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco. TIME 2011, 123-130. Web SearchBibTeXDownload |
| 114 |
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. TIME 2011, 131-138. Web SearchBibTeXDownload |
| 115 |
A Uniform Algebraic Characterization of Temporal Functional Dependencies. Carlo Combi, Angelo Montanari, Rosalba Rossato. TIME 2005, 91-99. Web SearchBibTeXDownload |
| 116 |
Temporalized logics and automata for time granularity. Massimo Franceschet, Angelo Montanari. TPLP (4): 621-658 (2004). Web SearchBibTeXDownload |
| 117 |
Binary Extensions of S1S and the Composition Method. Enrico Marzano, Angelo Montanari, Alberto Policriti. Verification: Theory and Practice 2003, 626-644. Web SearchBibTeXDownload |
| 118 |
From Entity Relationship to XML Schema: A Graph-Theoretic Approach. Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza. XSym 2009, 165-179. Web SearchBibTeXDownload |
