| 2000 | A Calculus of Macro-Events: Progress Report. Iliano Cervesato, Angelo Montanari |
| 2000 | A Formalization of Structured Temporal Objects and Repetition. Diana Cukierman, James P. Delgrande |
| 2000 | A Visualization of Medical Therapy Plans Compared to Gantt and PERT Charts. Robert Kosara, Silvia Miksch |
| 2000 | An Incremental Batch-Oriented Index for Bitemporal Databases. Jefferson R. O. Silva, Mario A. Nascimento |
| 2000 | Behavior Discovery as Database Scheme Design. Takao Miura, Isamu Shioya, Kohei Watanabe |
| 2000 | Closure Properties of Classes of Spatio-Temporal Objects under Boolean Set Operations. Sofie Haesevoets, Bart Kuijpers |
| 2000 | Efficient Resolution Mechanism for Fuzzy Temporal Constraint Logic. María-Antonia Cárdenas-Viedma, Isabel Navarrete, Roque Marín |
| 2000 | Estimating Positions and Paths of Moving Objects. Kate Beard, H. Mustafa Palancioglu |
| 2000 | Extending Topological Nexttime Logic. Bernhard Heinemann |
| 2000 | Free Schedules for Free Agents in Workflow Systems. Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia |
| 2000 | Is Point-Based Semantics Always Adequate for Temporal Databases?. Paolo Terenziani |
| 2000 | Modeling Temporal Aspects of Visual and Textual Objects in Multimedia Databases. Carlo Combi |
| 2000 | Navigating through Hierarchical Change Propagation in Spatiotemporal Queries. Giorgos Mountrakis, Peggy Agouris, Anthony Stefanidis |
| 2000 | PMTV: A Schema Versioning Approach for Bi-Temporal Databases. Han-Chieh Wei, Ramez Elmasri |
| 2000 | Querying Multiple Temporal Granularity Data. Isabella Merlo, Elisa Bertino, Elena Ferrari, Shashi K. Gadia, Giovanna Guerrini |
| 2000 | Reasoning about Generalized Intervals: Horn Representability and Tractability. Philippe Balbiani, Jean-François Condotta, Gérard Ligozat |
| 2000 | Representing and Reasoning with Temporal Constraints in Multimedia Presentations. Sibel Adali, Luca Console, Maria Luisa Sapino, Massimo Schenone, Paolo Terenziani |
| 2000 | Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. Alexander Bolotov, Clare Dixon |
| 2000 | Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. Clare Dixon, Michael Fisher |
| 2000 | Seventh International Workshop on Temporal Representation and Reasoning, TIME 2000, Nova Scotia, Canada, July 7-9, 2000 |
| 2000 | Temporal Reasoning: A Three Way Analysis. Vineet Padmanabhan, Abdul Sattar, Arun K. Pujari, Chinmoy Goswami |
| 2000 | Towards a Theory of Movie Database Queries. Bart Kuijpers, Jan Paredaens, Dirk Van Gucht |