| 2008 | 15th International Symposium on Temporal Representation and Reasoning, TIME 2008, Université du Québec à Montréal, Canada, 16-18 June 2008 Stéphane Demri, Christian S. Jensen |
| 2008 | A Greedy Approach Towards Parsimonious Temporal Aggregation. Juozas Gordevicius, Johann Gamper, Michael H. Böhlen |
| 2008 | A Heuristic Approach to Order Events in Narrative Texts. Farid Nouioua |
| 2008 | A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò |
| 2008 | An optimal tableau for Right Propositional Neighborhood Logic over Trees. Davide Bresolin, Angelo Montanari, Pietro Sala |
| 2008 | Decomposition of Decidable First-Order Logics over Integers and Reals. Florent Bouchy, Alain Finkel, Jérôme Leroux |
| 2008 | Efficient Bit-Level Model Reductions for Automated Hardware Verification. Sergey Tverdyshev, Eyad Alkassar |
| 2008 | Efficient Similarity Join of Large Sets of Moving Object Trajectories. Hui Ding, Goce Trajcevski, Peter Scheuermann |
| 2008 | Good Friends are Hard to Find! Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg |
| 2008 | Labeled Natural Deduction Systems for a Family of Tense Logics. Luca Viganò, Marco Volpe |
| 2008 | Moving Spaces. Ivo Düntsch, Michael Winter |
| 2008 | Practical First-Order Temporal Reasoning. Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa |
| 2008 | Real-Time Model Checking: Algorithms and Complexity. James Worrell |
| 2008 | Regarding Overlapping as a Basic Concept of Subset Spaces. Bernhard Heinemann |
| 2008 | Representing Public Transport Schedules as Repeating Trips. Romans Kasperovics, Michael H. Böhlen, Johann Gamper |
| 2008 | Satisfying a Fragment of XQuery by Branching-Time Reduction. Sylvain Hallé, Roger Villemaire |
| 2008 | TLP-GP: Solving Temporally-Expressive Planning Problems. Frederic Maris, Pierre Régnier |
| 2008 | Temporal Description Logics: A Survey. Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2008 | The Complexity of CaRet + Chop. Laura Bozzelli |
| 2008 | Time Aware Mining of Itemsets. Bashar Saleh, Florent Masseglia |
| 2008 | Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems. Yuechang Liu, Yunfei Jiang, Hong Qian |
| 2008 | Towards a Formal Framework for Spatio-Temporal Granularities. Alberto Belussi, Carlo Combi, Gabriele Pozzani |
| 2008 | Using Oracle Extensibility Framework for Supporting Temporal and Spatio-Temporal Applications. Kothuri Venkata Ravi Kanth, Robert Hanckel, Aravind Yalamanchi |