| 2009 | Classical and Fuzzy Neighborhood Relations of the Temporal Qualitative Algebra. | Silvana Badaloni, Marco Falda |
| 2009 | The AXML Artifact Model. | Serge Abiteboul, Pierre Bourhis, Alban Galland, Bogdan Marinoiu |
| 2009 | Simple Algorithm for Simple Timed Games. | Yasmina Abdeddam, Eugene Asarin, Mihaela Sighireanu |
| 2008 | Real-Time Model Checking: Algorithms and Complexity. | James Worrell |
| 2008 | Labeled Natural Deduction Systems for a Family of Tense Logics. | Luca Vigan, Marco Volpe |
| 2008 | Efficient Bit-Level Model Reductions for Automated Hardware Verification. | Sergey Tverdyshev, Eyad Alkassar |
| 2008 | Time Aware Mining of Itemsets. | Bashar Saleh, Florent Masseglia |
| 2008 | A Heuristic Approach to Order Events in Narrative Texts. | Farid Nouioua |
| 2008 | TLP-GP: Solving Temporally-Expressive Planning Problems. | Frederic Maris, Pierre Rgnier |
| 2008 | Temporal Description Logics: A Survey. | Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2008 | Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems. | Yuechang Liu, Yunfei Jiang, Hong Qian |
| 2008 | Representing Public Transport Schedules as Repeating Trips. | Romans Kasperovics, Michael H. Bhlen, Johann Gamper |
| 2008 | Using Oracle Extensibility Framework for Supporting Temporal and Spatio-Temporal Applications. | Kothuri Venkata Ravi Kanth, Robert Hanckel, Aravind Yalamanchi |
| 2008 | Regarding Overlapping as a Basic Concept of Subset Spaces. | Bernhard Heinemann |
| 2008 | Satisfying a Fragment of XQuery by Branching-Time Reduction. | Sylvain Hall, Roger Villemaire |
| 2008 | A Greedy Approach Towards Parsimonious Temporal Aggregation. | Juozas Gordevicius, Johann Gamper, Michael H. Bhlen |
| 2008 | Moving Spaces. | Ivo Dntsch, Michael Winter |
| 2008 | Practical First-Order Temporal Reasoning. | Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa |
| 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 | An optimal tableau for Right Propositional Neighborhood Logic over Trees. | Davide Bresolin, Angelo Montanari, Pietro Sala |
| 2008 | The Complexity of CaRet + Chop. | Laura Bozzelli |
| 2008 | Decomposition of Decidable First-Order Logics over Integers and Reals. | Florent Bouchy, Alain Finkel, Jrme Leroux |
| 2008 | Towards a Formal Framework for Spatio-Temporal Granularities. | Alberto Belussi, Carlo Combi, Gabriele Pozzani |
| 2008 | A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. | David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Vigan |