TIME 2005
Call for Papers
Important Dates
Accepted Papers
Invited Speakers
Conference Officers
Program Committee
Tourist Information

Accepted Papers

Pieter Hartel A trace semantics for Positive Core XPath
Fusheng Wang, Carlo Zaniolo, XinZhou Temporal XML? SQL Strikes Back!
Philippe Muller and Axel Reymonet Using inference for evaluating models of temporal discourse
Amal Elnahas, Omar Karam, Ingy Ramzy, Ahmed Hamad "TellMe": A Novel Location Management and Prediction Protocol for Moving Object Databses
Kiyoung Yang and Cyrus Shahabi Multilevel Distance-based Index Structure for Multivariate Time Series
Stephane Demri, Ranko Lazic, David Nowak On the freeze quantifier in Constraint LTL: decidability and complexity
Nicole Bidoit, Matthieu Objois Temporal query languages expressive power: muTL versus T-WHILE
Andreas Schaefer Axiomatisation and decidability of multi-dimensional duration calculus
Claudio Bettini, Sergio Mascetti An efficient algorithm for minimizing time granularity periodical representations
Roger Villemaire, Sylvain Halle, Omar Cherkaoui Configuration Logic: A multi-site Modal Logic
Carsten Lutz, Dirk Walther and Frank Wolter Quantitative temporal logics: PSPACE and below
Krzysztof R. Apt, Sebastian Brand Constraint-Based Qualitative Simulation
Mohammed H. Al-Kateb, Essam M. Mansour, and Mohamed E. El-Sharkawi CME: A Temporal Relational Model for Efficient Coalescing
Alexei Lisitsa and Igor Potapov Temporal logic with predicate lambda-abstraction
Marko Samer, Helmut Veith Deterministic CTL Query Solving
Mahat Khelfallah and Belaid Benhamou A Local Method for Prioritized Fusion of Temporal Information
Ben D'Angelo, Sriram Sankaranarayanan, Cesar Sanchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna Lola: Runtime Monitoring of Synchronous Systems
Carlo Combi and Angelo Montanari and Rosalba Rossato A uniform algebraic characterization of temporal functional dependencies

Contributed Posters

Seo-Young Noh, Shashi K. Gadia An XML-based Framework for Temporal Database Implementation
Volker Gruhn, Ralf Laue Specification Patterns For Time-Related Properties
Andre Trudel & Haiyi Zhang Exploiting the relationship between IA networks and finite domain CSPs
Johann Eder and Horst Pichler Probabilistic Time Management for Workflow Systems
M.A. Reniers and Y.S. Usenko Analysis of timed processes with data using algebraic transformations
Song Lin, Stefano Lonardi, Vana Kalogeraki, Dimitrios Gunopulos Applying LVQ Techniques to Compress Historical Information in Sensor Networks
Artie Basukoski and Alexander Bolotov Search Strategies for Resolution in CTL-type Logics: Extension and Complexity.

Invited Posters

Angelo Montanari Propositional interval temporal logics: some promising paths
The Logic and Computation Group Time in Liverpool - An overview of Temporal Research in the Logic and Computation Group
Fusheng Wang, Carlo Zaniolo and Xin Zhou Version Management and Historical Queries in Digital Libraries
Peter Revesz Efficient Rectangle Indexing Algorithms Based on Point Dominance