| 2009 | Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. Szabolcs Mikulás, Mark Reynolds, Tim French |
| 2009 | Building Logical Specifications of Temporal Granularities through Algebraic Operators. Carlo Combi, Sara Degani |
| 2009 | Classical and Fuzzy Neighborhood Relations of the Temporal Qualitative Algebra. Silvana Badaloni, Marco Falda |
| 2009 | Dense Time Reasoning via Mosaics. Mark Reynolds |
| 2009 | Event-Oriented Data Models and Temporal Queries in Transaction-Time Databases. Carlo Zaniolo |
| 2009 | Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies. Luke Hunsberger |
| 2009 | Interval Algebra Networks with Infinite Intervals. André Trudel |
| 2009 | Model Checking CTL is Almost Always Inherently Sequential. Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer, Martin Mundhenk, Thomas Schneider |
| 2009 | On First-Order Query Rewriting for Incomplete Database Histories. Véronique Bruyère, Alexandre Decan, Jef Wijsen |
| 2009 | On the Expressivity of RoCTL*. John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat |
| 2009 | Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL. Catalin Dima |
| 2009 | Preserving Anonymity of Recurrent Location-Based Queries. Daniele Riboni, Linda Pareschi, Claudio Bettini, Sushil Jajodia |
| 2009 | Resolution-Based Model Construction for PLTL. Michel Ludwig, Ullrich Hustadt |
| 2009 | Simple Algorithm for Simple Timed Games. Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sighireanu |
| 2009 | Strong Temporal, Weak Spatial Logic for Rule Based Filters. Roger Villemaire, Sylvain Hallé |
| 2009 | TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings Carsten Lutz, Jean-François Raskin |
| 2009 | Temporal Relations with Signals: The Case of Italian Temporal Prepositions. Tommaso Caselli, Felice Dell'Orletta, Irina Prodanof |
| 2009 | The AXML Artifact Model. Serge Abiteboul, Pierre Bourhis, Alban Galland, Bogdan Marinoiu |
| 2009 | Timed Contact Algebras. Ivo Düntsch, Michael Winter |
| 2009 | Undecidability of Interval Temporal Logics with the Overlap Modality. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |