| 2001 | Temporal reasoning with aspectual adverbs. | Alice ter Meulen, Hans Smessaert |
| 2001 | Symbolic Model Checking of Real-Time Systems. | George Logothetis, Klaus Schneider |
| 2001 | Discovering Calendar-based Temporal Association Rules. | Yingjiu Li, Peng Ning, Xiaoyang Sean Wang, Sushil Jajodia |
| 2001 | Spatiotemporal databases: Recent Achievements and Opportunities for Future Research. | Manolis Koubarakis |
| 2001 | Mapping Temporal Planning Constraints into Timed Automata. | Lina Khatib, Nicola Muscettola, Klaus Havelund |
| 2001 | Reasoning about agents in the KARO framework. | Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek |
| 2001 | About the Temporal Decrease of Sets. | Bernhard Heinemann |
| 2001 | Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. | Serge Haddad, Denis Poitrenaud |
| 2001 | A Query Calculus for Spatio-Temporal Object Databases. | Tony Griffiths, Alvaro A. A. Fernandes, Nassima Djafri, Norman W. Paton |
| 2001 | Effective Representation and Efficient Management of Indeterminate Dates. | Fabio Grandi, Federica Mandreoli |
| 2001 | Representation of Temporal Intervals and Relations: Information Visualization Aspects and their Evaluation. | Luca Chittaro, Carlo Combi |
| 2001 | The Event Calculus Assessed. | Sergio Brandano |
| 2001 | Optimizing Temporal Queries: Efficient Handling of Duplicates. | Ivan T. Bowman, David Toman |
| 2001 | Modelling, Specifying, and Verifying Message Passing Systems. | Benedikt Bollig, Martin Leucker |
| 2001 | Deciding LTL over Mazurkiewicz Traces. | Benedikt Bollig, Martin Leucker |
| 2001 | A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
| 2001 | Hybrid Ockhamist Temporal Logic. | Patrick Blackburn, Valentin Goranko |
| 2001 | Navigating Through Multiple Temporal Granularity Objects. | Elisa Bertino, Elena Ferrari, Giovanna Guerrini, Isabella Merlo |
| 2001 | A Linguistic Framework for Querying Dimensional Data. | Elisa Bertino, Tsz S. Cheng, Shashi K. Gadia, Giovanna Guerrini |
| 2001 | Qualitative temporal representation and reasoning about points, intervals and durations. | Silvana Badaloni, Massimiliano Giacomin, Claudio Masolo |
| 2000 | PMTV: A Schema Versioning Approach for Bi-Temporal Databases. | Han-Chieh Wei, Ramez Elmasri |
| 2000 | Is Point-Based Semantics Always Adequate for Temporal Databases?. | Paolo Terenziani |
| 2000 | An Incremental Batch-Oriented Index for Bitemporal Databases. | Jefferson R. O. Silva, Mario A. Nascimento |
| 2000 | Temporal Reasoning: A Three Way Analysis. | Vineet Padmanabhan, Abdul Sattar, Arun K. Pujari, Chinmoy Goswami |
| 2000 | Navigating through Hierarchical Change Propagation in Spatiotemporal Queries. | Giorgos Mountrakis, Peggy Agouris, Anthony Stefanidis |