| 2004 | A Lattice of Classes of User-Defined Symbolic Periodicities. | Lavinia Egidi, Paolo Terenziani |
| 2004 | Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. | Clare Dixon, M. Carmen Fernndez Gago, Michael Fisher, Wiebe van der Hoek |
| 2004 | The SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition. | Diana Cukierman, James P. Delgrande |
| 2004 | Max-Count Aggregation Estimation for Moving Points. | Yi Chen, Peter Z. Revesz |
| 2004 | A Clausal Resolution Method for Branching-Time Logic ECTL+. | Alexander Bolotov, Artie Basukoski |
| 2004 | Toward a Unifying View of Point and Interval Temporal Data Model. | Michael H. Bhlen |
| 2004 | Mapping Calendar Expressions into Periodical Granularities. | Claudio Bettini, Sergio Mascetti, Xiaoyang Sean Wang |
| 2004 | Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. | Alessandro Artale |
| 2004 | Recursive Representation of Periodicity and Temporal Reasoning. | Luca Anselma |
| 2004 | Compositional Temporal Logic Based on Partial Order. | Adrianna Alexander, Wolfgang Reisig |
| 2004 | CTL Model Checking for Processing Simple XPath Queries. | Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke |
| 2003 | A New Efficient Algorithm for Solving the Simple Temporal Problem. | Lin Xu, Berthe Y. Choueiry |
| 2003 | Temporal Queries in XML Document Archives and Web Warehouses. | Fusheng Wang, Carlo Zaniolo |
| 2003 | On Incompleteness of Multi-dimensional First-order Temporal Logics. | David Toman |
| 2003 | Towards a Temporal Reasoning Approach Dealing with Instance-of, Part-of and Periodicity. | Paolo Terenziani, Luca Anselma |
| 2003 | A Novel Approach to Model NOW in Temporal Databases. | Bela Stantic, John Thornton, Abdul Sattar |
| 2003 | Efficient Aggregation over Moving Objects. | Peter Z. Revesz, Yi Chen |
| 2003 | A model to perform knowledge-based temporal abstraction over multiple signals. | Abraham Otero, Paulo Flix, Carlos Vzquez Regueiro, Miguel A. Rodrguez, Senn Barro |
| 2003 | Deciding consistency of a point-duration network with metric constraints. | Isabel Navarrete, Abdul Sattar, Roque Marn |
| 2003 | A temporal-logic extension of role-based access control covering dynamic separation of duties. | Till Mossakowski, Michael Drouineaud, Karsten Sohr |
| 2003 | Modal Logics of Knowledge and Tim. | Ron van der Meyden |
| 2003 | Qualitative spatial and temporal reasoning: exploiting the connections to algebra and topology. | Gerard Ligozat |
| 2003 | Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. | Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt |
| 2003 | On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. | Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2003 | An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge. | Bernhard Heinemann |