Abstract is missing.
- External Referees [doi]
- Conference Organization [doi]
- Message from the Chairs [doi]
- Generalized Model CheckingPatrice Godefroid. 3 [doi]
- Indexing Inventory SnapshotsBetty Salzberg. 4 [doi]
- Time and the Semantic WebJames Pustejovsky. 5-8 [doi]
- Using Inference for Evaluating Models of Temporal DiscoursePhilippe Muller, Axel Reymonet. 11-19 [doi]
- An Efficient Algorithm for Minimizing Time Granularity Periodical RepresentationsClaudio Bettini, Sergio Mascetti. 20-25 [doi]
- Constraint-Based Qualitative SimulationKrzysztof R. Apt, Sebastian Brand. 26-34 [doi]
- A Local Method for Prioritized Fusion of Temporal InformationMahat Khelfallah, Belaid Benhamou. 35-43 [doi]
- Temporal XML? SQL Strikes Back!Fusheng Wang, Carlo Zaniolo, Xin Zhou. 47-55 [doi]
- TellMe : A Novel Protocol and Location Prediction Scheme Exploiting the One For All Framework for Location ManagementAmal El-Nahas, Omar H. Karam, Ahmad Hamad, Ingy Ramzy. 56-64 [doi]
- A Multilevel Distance-Based Index Structure for Multivariate Time SeriesKiyoung Yang, Cyrus Shahabi. 65-73 [doi]
- Temporal Query Languages Expressive Power: µTL versus T-WHILENicole Bidoit, Matthieu Objois. 74-82 [doi]
- CME: A Temporal Relational Model for Efficient CoalescingMohammed Al-Kateb, Essam Mansour, Mohamed E. El-Sharkawi. 83-90 [doi]
- A Uniform Algebraic Characterization of Temporal Functional DependenciesCarlo Combi, Angelo Montanari, Rosalba Rossato. 91-99 [doi]
- A Trace Semantics for Positive Core XPathPieter H. Hartel. 103-112 [doi]
- On the Freeze Quantifier in Constraint LTL: Decidability and ComplexityStéphane Demri, Ranko Lazic, David Nowak. 113-121 [doi]
- Axiomatisation and Decidability of Multi-dimensional Duration CalculusAndreas Schäfer. 122-130 [doi]
- Configuration Logic: A Multi-site Modal LogicRoger Villemaire, Sylvain Hallé, Omar Cherkaoui. 131-137 [doi]
- Quantitative Temporal Logics: PSPACE and BelowCarsten Lutz, Dirk Walther, Frank Wolter. 138-146 [doi]
- Temporal Logic with Predicate lambda-AbstractionAlexei Lisitsa, Igor Potapov. 147-155 [doi]
- Deterministic CTL Query SolvingMarko Samer, Helmut Veith. 156-165 [doi]
- LOLA: Runtime Monitoring of Synchronous SystemsBen D Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna. 166-174 [doi]
- Exploiting the Relationship between IA Networks and Finite Domain CSPsAndré Trudel, Haiyi Zhang. 177-179 [doi]
- An XML-Based Framework for Temporal Database ImplementationSeo-Young Noh, Shashi K. Gadia. 180-182 [doi]
- Probabilistic Calculation of Execution Intervals for WorkflowsJohann Eder, Horst Pichler. 183-185 [doi]
- A Data Compression Technique for Sensor Networks with Dynamic Bandwidth AllocationSong Lin, Dimitrios Gunopulos, Vana Kalogeraki, Stefano Lonardi. 186-188 [doi]
- Specification Patterns for Time-Related PropertiesVolker Gruhn, Ralf Laue. 189-191 [doi]
- Analysis of Timed Processes with Data Using Algebraic TransformationsMichel A. Reniers, Yaroslav S. Usenko. 192-194 [doi]
- Search Strategies for Resolution in CTL-Type Logics: Extension and ComplexityArtie Basukoski, Alexander Bolotov. 195-197 [doi]
- Propositional Interval Temporal Logics: Some Promising PathsAngelo Montanari. 201-203 [doi]
- Time in Liverpool - An Overview of Temporal Research in the Logic and Computation Group204-206 [doi]
- Version Management and Historical Queries in Digital LibrariesFusheng Wang, Carlo Zaniolo, Xin Zhou, Hyun J. Moon. 207-209 [doi]
- Efficient Rectangle Indexing Algorithms Based on Point DominancePeter Z. Revesz. 210-212 [doi]