Home Call for Papers Important Dates Accepted Papers Program Registration Invited Speakers Conference Officers Program Committee Venue Tourist Information Contacts 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

time2005@cse.buffalo.edu