13. TIME 2006: Budapest, Hungary

Temporal Logic

• Carlo Combi, Rosalba Rossato:
  Representing trends and trend dependencies with multiple granularities. 3-10
  
• Clare Dixon, Michael Fisher, Boris Konev:
  Is There a Future for Deductive Temporal Verification? 11-18
  
• Angelo Gargantini, Angelo Morzenti:
  Automated Verification of Continuous Time Systems by Discrete Temporal Induction. 19-26
  
• Sylvain Hallé, Roger Villemaire, Omar Cherkaoui:
  CTL Model Checking for Labelled Tree Queries. 27-35
  
• Savas Konur:
  A Decidable Temporal Logic for Events and States. 36-41
  
• Alexei Lisitsa, Igor Potapov:
  In time alone: on the computational power of querying the history. 42-49
  
• Antonio Morales, Guido Sciavicco:
  Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic. 50-60
  

Time in Artificial Intelligence

• Carlo Combi, Giuseppe Pozzi:
  Task Scheduling for a TemporalWorkflow Management System. 61-68
  
• Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis:
  Ultimately Periodic Simple Temporal Problems (UPSTPs). 69-77
  
• Jean-François Condotta, Mahmoud Saade, Gerard Ligozat:
  A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi. 78-86
  
• Elisabetta De Maria, Angelo Montanari, Marco Zantoni:
  An automaton-based approach to the verification of timed workflow schemas. 87-94
  
• Malek Mouhoub, Amrudee Sukpan:
  Conditional and Composite Temporal Constraints with Preferences. 95-102
  
• Markus Zanker, Sergiu Gordea:
  Measuring, monitoring and controlling software maintenance efforts. 103-110
  
• Kai Zhang, André Trudel:
  Efficient Heuristics for Solving Probabilistic Interval Algebra Networks. 111-120
  

Time in Databases

• Michael H. Böhlen, Johann Gamper, Christian S. Jensen:
  How Would You Like to Aggregate Your Temporal Data? 121-136
  
• Scot Anderson:
  Aggregation Estimation for 2D Moving Points. 137-144
  
• Jun Gao:
  Adaptive Interpolation Algorithms for Temporal-Oriented Datasets. 145-151
  
• Francisco Guil, Roque Marín:
  Extracting Uncertain Temporal Relations from Mined Frequent Sequences. 152-159
  
• Achraf Makni, Rafik Bouaziz, Faïez Gargouri:
  Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN. 160-167
  
• Lixin Li, Xingyou Zhang, Reinhard Piltner:
  A Spatiotemporal Database for Ozone in the Conterminous U.S. 168-176
  
• Sergio Mascetti, Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia:
  k-Anonymity in Databases with Timestamped Data. 177-186
  

Time in Natural Language

• Antony Galton:
  Processes as Continuants (Abstract). 187
  
• Robert J. Gaizauskas, Henk Harkema, Mark Hepple, Andrea Setzer:
  Task-Oriented Extraction of Temporal Information: The Case of Clinical Narratives. 188-195
  
• Benjamin Han, Donna Gates, Lori S. Levin:
  From Language to Time: A Temporal Expression Anchorer. 196-203
  
• Kjetil Nørvåg, Albert Overskeid Nybø:
  DyST: Dynamic and Scalable Temporal Text Indexing. 204-211
  
• Feng Pan, Jerry R. Hobbs:
  Temporal Arithmetic Mixing Months and Days. 212-217
  
• Estela Saquete, Patricio Martínez-Barco, Rafael Muñoz, Matteo Negri, Manuela Speranza, Renzo Sprugnoli:
  Automatic resolution rule assignment to multilingual Temporal Expressions using annotated corpora. 218-224