| 2005 | "TellMe": A Novel Protocol and Location Prediction Scheme Exploiting the "One For All" Framework for Location Management. Amal El-Nahas, Omar H. Karam, Ahmad Hamad, Ingy Ramzy |
| 2005 | 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA |
| 2005 | A Data Compression Technique for Sensor Networks with Dynamic Bandwidth Allocation. Song Lin, Dimitrios Gunopulos, Vana Kalogeraki, Stefano Lonardi |
| 2005 | A Local Method for Prioritized Fusion of Temporal Information. Mahat Khelfallah, Belaid Benhamou |
| 2005 | A Multilevel Distance-Based Index Structure for Multivariate Time Series. Kiyoung Yang, Cyrus Shahabi |
| 2005 | A Trace Semantics for Positive Core XPath. Pieter H. Hartel |
| 2005 | A Uniform Algebraic Characterization of Temporal Functional Dependencies. Carlo Combi, Angelo Montanari, Rosalba Rossato |
| 2005 | An Efficient Algorithm for Minimizing Time Granularity Periodical Representations. Claudio Bettini, Sergio Mascetti |
| 2005 | An XML-Based Framework for Temporal Database Implementation. Seo-Young Noh, Shashi K. Gadia |
| 2005 | Analysis of Timed Processes with Data Using Algebraic Transformations. Michel A. Reniers, Yaroslav S. Usenko |
| 2005 | Axiomatisation and Decidability of Multi-dimensional Duration Calculus. Andreas Schäfer |
| 2005 | CME: A Temporal Relational Model for Efficient Coalescing. Mohammed Al-Kateb, Essam Mansour, Mohamed E. El-Sharkawi |
| 2005 | Conference Organization. |
| 2005 | Configuration Logic: A Multi-site Modal Logic. Roger Villemaire, Sylvain Hallé, Omar Cherkaoui |
| 2005 | Constraint-Based Qualitative Simulation. Krzysztof R. Apt, Sebastian Brand |
| 2005 | Deterministic CTL Query Solving. Marko Samer, Helmut Veith |
| 2005 | Efficient Rectangle Indexing Algorithms Based on Point Dominance. Peter Z. Revesz |
| 2005 | Exploiting the Relationship between IA Networks and Finite Domain CSPs. André Trudel, Haiyi Zhang |
| 2005 | External Referees. |
| 2005 | Generalized Model Checking. Patrice Godefroid |
| 2005 | Indexing Inventory Snapshots. Betty Salzberg |
| 2005 | LOLA: Runtime Monitoring of Synchronous Systems. Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna |
| 2005 | Message from the Chairs. |
| 2005 | On the Freeze Quantifier in Constraint LTL: Decidability and Complexity. Stéphane Demri, Ranko Lazic, David Nowak |
| 2005 | Probabilistic Calculation of Execution Intervals for Workflows. Johann Eder, Horst Pichler |
| 2005 | Propositional Interval Temporal Logics: Some Promising Paths. Angelo Montanari |
| 2005 | Quantitative Temporal Logics: PSPACE and Below. Carsten Lutz, Dirk Walther, Frank Wolter |
| 2005 | Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity. Artie Basukoski, Alexander Bolotov |
| 2005 | Specification Patterns for Time-Related Properties. Volker Gruhn, Ralf Laue |
| 2005 | Temporal Logic with Predicate lambda-Abstraction. Alexei Lisitsa, Igor Potapov |
| 2005 | Temporal Query Languages Expressive Power: µTL versus T-WHILE. Nicole Bidoit, Matthieu Objois |
| 2005 | Temporal XML? SQL Strikes Back! Fusheng Wang, Carlo Zaniolo, Xin Zhou |
| 2005 | Time and the Semantic Web. James Pustejovsky |
| 2005 | Time in Liverpool - An Overview of Temporal Research in the Logic and Computation Group. |
| 2005 | Using Inference for Evaluating Models of Temporal Discourse. Philippe Muller, Axel Reymonet |
| 2005 | Version Management and Historical Queries in Digital Libraries. Fusheng Wang, Carlo Zaniolo, Xin Zhou, Hyun Jin Moon |