Angelo Montanari Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1David W. Aha [45]
2Johan van Benthem [22] [27]
3Claudio Bettini [45] [50] [54]
4William P. Birmingham [45]
5Michael H. Böhlen [23]
6Kurt D. Bollacker [45]
7Davide Bresolin [64] [68] [76] [78] [79] [83] [86] [87] [88] [92] [94] [95] [98] [99]
8José Mauro Volkmer de Castilho [10]
9Iliano Cervesato [8] [11] [15] [20] [24] [26] [28] [30] [31] [34] [39] [42]
10L. Chitaro [5]
11Luca Chittaro [7] [8] [11] [12] [15] [19] [20] [29] [41]
12Jan Chomicki [96]
13Emanuele Ciapessoni [2] [3]
14James Clifford [23]
15Carlo Combi [36] [47] [52] [66] [85]
16Edoardo Corsetti [1] [3]
17Giovanna D'Agostino [13] [14] [22] [27]
18Jörg Denzinger [45]
19Curtis E. Dyreson [23]
20Nina Edelweiss [10]
21Ramez Elmasri [23]
22Iginia De Fent [69]
23Timothy W. Finin (Tim Finin) [45]
24Gian Luca Foresti [36]
25Massimo Franceschet [24] [26] [28] [30] [31] [35] [36] [37] [39] [40] [55] [57] [60] [62] [73] [84] [97]
26Shashi K. Gadia [23]
27Lise Getoor [45]
28Yolanda Gil [45]
29Carla P. Gomes [45]
30Valentin Goranko [53] [58] [61] [72] [78] [83] [87] [92] [94] [99]
31Fabio Grandi [23]
32Benjamin N. Grosof [45]
33Donatella Gubiani [69] [80] [81] [84] [90] [97] [101]
34Patrick J. Hayes [23]
35Ian Hodkinson [91]
36Robert C. Holte (Robert Holte) [45]
37Holger H. Hoos (Holger Hoos) [45]
38Sushil Jajodia [23]
39Nathalie Japkowicz [45]
40Christian S. Jensen [23]
41Wolfgang Käfer [23]
42Nick Kline [23]
43Miroslav Kubat [45]
44Ugo Dal Lago [46] [59] [75] [77]
45Yves Lespérance [45]
46Nikos A. Lorentzos [23]
47Enrico Maim [2]
48Elisabetta De Maria [70] [74] [100]
49Enrico Marzano [56]
50Tom M. Mitchell [45]
51Yannis G. Mitsopoulos [23]
52Dario Della Monica [87]
53Karen L. Myers [45]
54Alexander Nareyek [45]
55Daniel A. Nonen [23]
56José Palazzo Moreira de Oliveira (José Palazzo M. de Oliveira) [10]
57Elisa Peressi [6] [9] [10] [23]
58Barbara Pernici [4] [6] [9] [10] [23]
59Adriano Peron [32] [38] [48] [57] [73]
60Carla Piazza [97]
61Pierluigi San Pietro [3]
62Alberto Policriti [13] [14] [18] [22] [25] [27] [32] [33] [38] [43] [44] [48] [49] [56] [71]
63Giuseppe Pozzi [85]
64Alessandro Provetti [12]
65Gabriele Puppis [59] [63] [64] [65] [75] [77] [82] [93] [95] [102]
66Elena Ratto [1] [2]
67Maarten de Rijke [16] [21] [62]
68John F. Roddick [23]
69Rosalba Rossato [66]
70Pietro Sala [72] [78] [79] [86] [88] [92] [93] [98] [102]
71Nandlal L. Sarda [23]
72Maria Rita Scalas [23]
73Alan C. Schultz [45]
74Guido Sciavicco [51] [53] [57] [58] [61] [72] [73] [76] [83] [87] [88] [91] [93] [94] [98] [99]
75Arie Segev [23]
76Matteo Slanina [43] [44] [49]
77Richard T. Snodgrass [23]
78Michael D. Soo [23]
79Abdullah Uz Tansel [23]
80Paolo Tiberio [23]
81Yde Venema [33]
82Nicola Vitacolonna [51] [71] [100]
83Gerd Wagner [45]
84J. Paul Walser [45]
85Gio Wiederhold [23]
86Marco Zantoni [70] [74]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)