Conferences in DBLP

TIME Symposium / Workshop (time)
2002 (conf/time/2002)

1. Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
   On Non-Local Propositional and Local One-Variable Quantified CTL*. [Citation Graph (0, 0)][DBLP]
   TIME, 2002, pp:2-9 [Conf]
   
2. Jérémie Blanc, Rachid Echahed
   On the Operational Semantics of Timed Rewrite Systems. [Citation Graph (0, 0)][DBLP]
   TIME, 2002, pp:10-0 [Conf]
   
3. Paolo Terenziani, Carlo Carlini, Stefania Montani
   Towards a Comprehensive Treatment of Temporal Constraints in Clinical Guidelines. [Citation Graph (0, 0)][DBLP]
   TIME, 2002, pp:20-27 [Conf]
   
4. Andrei A. Krokhin, Peter Jonsson
   Extending the Point Algebra into the Qualitative Algebra. [Citation Graph (0, 0)][DBLP]
   TIME, 2002, pp:28-35 [Conf]
   
5. Alfonso Bosch, Manuel Torres, Roque Marín
   Reasoning with Disjunctive Fuzzy Temporal Constraint Networks. [Citation Graph (0, 0)][DBLP]
   TIME, 2002, pp:36-0 [Conf]
   
6. María Isabel Alfonso Galipienso, Federico Barber Sanchís
   Representation and Reasoning with Disjunctive Temporal Constraints. [Citation Graph (0, 0)][DBLP]
   TIME, 2002, pp:46-48 [Conf]
   
7. Bruno Berstel
   Extending the RETE Algorithm for Event Management. [Citation Graph (0, 0)][DBLP]
   TIME, 2002, pp:49-51 [Conf]
   
8. Antony Galton, Juan Carlos Augusto
   Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols. [Citation Graph (0, 0)][DBLP]
   TIME, 2002, pp:52-54 [Conf]
   
9. Carlo Montangero, Laura Semini
   istributed States Logic. [Citation Graph (0, 0)][DBLP]
   TIME, 2002, pp:55-57 [Conf]
   
10. Carsten Kleiner, Udo W. Lipeck
    Performance of Querying Temporal Attributes in Object-Relational Databases. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:58-60 [Conf]
    
11. Annika Hinze, Agnès Voisard
    A Parameterized Algebra for Event Notification Services. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:61-0 [Conf]
    
12. David Toman
    Logical Data Expiration. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:66-0 [Conf]
    
13. Donghui Zhang, Vassilis J. Tsotras
    Index Based Processing of Semi-Restrictive Temporal Joins. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:70-77 [Conf]
    
14. Elena Camossi, Elisa Bertino, Giovanna Guerrini, Marco Mesiti
    Evolution Specification of Multigranular Temporal Objects. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:78-85 [Conf]
    
15. Kyoji Kawagoe, Tomohiro Ueda
    A Similarity Search Method of Time Series Data with Combination of Fourier and Wavelet Transforms. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:86-0 [Conf]
    
16. John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher
    Applying Local Search to Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:94-99 [Conf]
    
17. Paolo Terenziani
    Temporal Reasoning with Classes and Instances of Events. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:100-107 [Conf]
    
18. Alexandra M. Coddington
    A Continuous Planning Framework with Durative Actions. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:108-0 [Conf]
    
19. Allan Ramsay
    Temporal Views as Abstract Relations. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:116-123 [Conf]
    
20. Tim Fernando
    A Finite-State Approach to Event Semantics. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:124-0 [Conf]
    
21. Carlo Combi, Massimo Franceschet, Adriano Peron
    A Logical Approach to Represent and Reason about Calendars. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:134-140 [Conf]
    
22. Daisuke Kachi
    Tensed Ontology Based on Simple Partial Logic. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:141-145 [Conf]
    
23. Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz
    Indexed Flows in Temporal x Modal Logic with Functional Semantics. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:146-0 [Conf]