Message from the Program Committee Co-Chairs (PDF)
Representing trends and trend dependencies with multiple granularities (Abstract)
Is There a Future for Deductive Temporal Verification? (Abstract)
Automated Verification of Continuous Time Systems by Discrete Temporal Induction (Abstract)
CTL Model Checking for Labelled Tree Queries (Abstract)
A Decidable Temporal Logic for Events and States (Abstract)
In time alone: on the computational power of querying the history (Abstract)
Extracting Uncertain Temporal Relations from Mined Frequent Sequences (Abstract)
Task Scheduling for a TemporalWorkflow Management System (Abstract)
Ultimately Periodic Simple Temporal Problems (UPSTPs) (Abstract)
A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi (Abstract)
An automaton-based approach to the verification of timed workflow schemas (Abstract)
Conditional and Composite Temporal Constraints with Preferences (Abstract)
Measuring, monitoring and controlling software maintenance efforts (Abstract)
Efficient Heuristics for Solving Probabilistic Interval Algebra Networks (Abstract)
How Would You Like to Aggregate Your Temporal Data? (Abstract)
Aggregation Estimation for 2D Moving Points (Abstract)
Adaptive Interpolation Algorithms for Temporal-Oriented Datasets (Abstract)
Extracting Uncertain Temporal Relations from Mined Frequent Sequences (Abstract)
Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN (Abstract)
A Spatiotemporal Database for Ozone in the Conterminous U.S. (Abstract)
k-Anonymity in Databases with Timestamped Data (Abstract)
Task-Oriented Extraction of Temporal Information: The Case of Clinical Narratives (Abstract)
From Language to Time: A Temporal Expression Anchorer (Abstract)
DyST: Dynamic and Scalable Temporal Text Indexing (Abstract)
Temporal Arithmetic Mixing Months and Days (Abstract)
Automatic resolution rule assignment to multilingual Temporal Expressions using annotated corpora (Abstract)
Author Index (PDF)
