Conferences in DBLP

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

1. 
   Message from the Chairs. [Citation Graph (0, 0)][DBLP]
   TIME, 2005, pp:- [Conf]
   
2. 
   External Referees. [Citation Graph (0, 0)][DBLP]
   TIME, 2005, pp:- [Conf]
   
3. 
   Conference Organization. [Citation Graph (0, 0)][DBLP]
   TIME, 2005, pp:- [Conf]
   
4. Patrice Godefroid
   Generalized Model Checking. [Citation Graph (0, 0)][DBLP]
   TIME, 2005, pp:3- [Conf]
   
5. Betty Salzberg
   Indexing Inventory Snapshots. [Citation Graph (0, 0)][DBLP]
   TIME, 2005, pp:4- [Conf]
   
6. James Pustejovsky
   Time and the Semantic Web. [Citation Graph (0, 0)][DBLP]
   TIME, 2005, pp:5-8 [Conf]
   
7. Philippe Muller, Axel Reymonet
   Using Inference for Evaluating Models of Temporal Discourse. [Citation Graph (0, 0)][DBLP]
   TIME, 2005, pp:11-19 [Conf]
   
8. Claudio Bettini, Sergio Mascetti
   An Efficient Algorithm for Minimizing Time Granularity Periodical Representations. [Citation Graph (0, 0)][DBLP]
   TIME, 2005, pp:20-25 [Conf]
   
9. Krzysztof R. Apt, Sebastian Brand
   Constraint-Based Qualitative Simulation. [Citation Graph (0, 0)][DBLP]
   TIME, 2005, pp:26-34 [Conf]
   
10. Mahat Khelfallah, Belaid Benhamou
    A Local Method for Prioritized Fusion of Temporal Information. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:35-43 [Conf]
    
11. Fusheng Wang, Carlo Zaniolo, Xin Zhou
    Temporal XML? SQL Strikes Back! [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:47-55 [Conf]
    
12. Amal El-Nahas, Omar H. Karam, Ahmad Hamad, Ingy Ramzy
    "TellMe": A Novel Protocol and Location Prediction Scheme Exploiting the "One For All" Framework for Location Management. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:56-64 [Conf]
    
13. Kiyoung Yang, Cyrus Shahabi
    A Multilevel Distance-Based Index Structure for Multivariate Time Series. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:65-73 [Conf]
    
14. Nicole Bidoit, Matthieu Objois
    Temporal Query Languages Expressive Power: µTL versus T-WHILE. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:74-82 [Conf]
    
15. Mohammed Al-Kateb, Essam Mansour, Mohamed E. El-Sharkawi
    CME: A Temporal Relational Model for Efficient Coalescing. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:83-90 [Conf]
    
16. Carlo Combi, Angelo Montanari, Rosalba Rossato
    A Uniform Algebraic Characterization of Temporal Functional Dependencies. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:91-99 [Conf]
    
17. Pieter H. Hartel
    A Trace Semantics for Positive Core XPath. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:103-112 [Conf]
    
18. Stéphane Demri, Ranko Lazic, David Nowak
    On the Freeze Quantifier in Constraint LTL: Decidability and Complexity. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:113-121 [Conf]
    
19. Andreas Schäfer
    Axiomatisation and Decidability of Multi-dimensional Duration Calculus. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:122-130 [Conf]
    
20. Roger Villemaire, Sylvain Hallé, Omar Cherkaoui
    Configuration Logic: A Multi-site Modal Logic. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:131-137 [Conf]
    
21. Carsten Lutz, Dirk Walther, Frank Wolter
    Quantitative Temporal Logics: PSPACE and Below. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:138-146 [Conf]
    
22. Alexei Lisitsa, Igor Potapov
    Temporal Logic with Predicate lambda-Abstraction. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:147-155 [Conf]
    
23. Marko Samer, Helmut Veith
    Deterministic CTL Query Solving. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:156-165 [Conf]
    
24. Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna
    LOLA: Runtime Monitoring of Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:166-174 [Conf]
    
25. André Trudel, Haiyi Zhang
    Exploiting the Relationship between IA Networks and Finite Domain CSPs. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:177-179 [Conf]
    
26. Seo-Young Noh, Shashi K. Gadia
    An XML-Based Framework for Temporal Database Implementation. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:180-182 [Conf]
    
27. Johann Eder, Horst Pichler
    Probabilistic Calculation of Execution Intervals for Workflows. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:183-185 [Conf]
    
28. Song Lin, Dimitrios Gunopulos, Vana Kalogeraki, Stefano Lonardi
    A Data Compression Technique for Sensor Networks with Dynamic Bandwidth Allocation. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:186-188 [Conf]
    
29. Volker Gruhn, Ralf Laue
    Specification Patterns for Time-Related Properties. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:189-191 [Conf]
    
30. Michel A. Reniers, Yaroslav S. Usenko
    Analysis of Timed Processes with Data Using Algebraic Transformations. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:192-194 [Conf]
    
31. Artie Basukoski, Alexander Bolotov
    Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:195-197 [Conf]
    
32. Angelo Montanari
    Propositional Interval Temporal Logics: Some Promising Paths. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:201-203 [Conf]
    
33. 
    Time in Liverpool - An Overview of Temporal Research in the Logic and Computation Group. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:204-206 [Conf]
    
34. Fusheng Wang, Carlo Zaniolo, Xin Zhou, Hyun J. Moon
    Version Management and Historical Queries in Digital Libraries. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:207-209 [Conf]
    
35. Peter Z. Revesz
    Efficient Rectangle Indexing Algorithms Based on Point Dominance. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:210-212 [Conf]