| 2003 | Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. | Aidan Harding, Mark Ryan, Pierre-Yves Schobbens |
| 2003 | Spatio-Temporal Data Mining with Expected Distribution Domain Generalization Graphs. | Howard J. Hamilton, Liqiang Geng, Leah Findlater, Dee Jay Randall |
| 2003 | Quantified Propositional Temporal Logic with Repeating States. | Tim French |
| 2003 | Hybrid Logics on Linear Structures: Expressivity and Complexity. | Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff |
| 2003 | Definability and decidability of binary predicates for time granularity. | Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco |
| 2003 | Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. | Clare Dixon, Cludia Nalon, Michael Fisher |
| 2003 | Reasoning about Extremal Properties of Events. | Jatindra Kumar Deka |
| 2003 | Counterexample-Guided Abstraction Refinement. | Edmund M. Clarke |
| 2003 | On-line transportation Scheduling using Spatio-Temporal Reasoning. | Maroua Bouzid |
| 2003 | A Clausal Resolution Method for Extended Computation Tree Logic ECTL. | Alexander Bolotov |
| 2003 | Web services for time granularity reasoning. | Claudio Bettini |
| 2003 | On the Consistency Problem for the INDU Calculus. | Philippe Balbiani, Jean-Franois Condotta, Grard Ligozat |
| 2003 | Intelligent Navigation Process for Autonomous Underwater Vehicles (AUVs) Using Time-based Fuzzy Temporal Reasoning. | Amir M. Anvar |
| 2002 | Index Based Processing of Semi-Restrictive Temporal Joins. | Donghui Zhang, Vassilis J. Tsotras |
| 2002 | Logical Data Expiration. | David Toman |
| 2002 | Applying Local Search to Temporal Reasoning. | John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher |
| 2002 | Towards a Comprehensive Treatment of Temporal Constraints in Clinical Guidelines. | Paolo Terenziani, Carlo Carlini, Stefania Montani |
| 2002 | Temporal Reasoning with Classes and Instances of Events. | Paolo Terenziani |
| 2002 | Temporal Views as Abstract Relations. | Allan Ramsay |
| 2002 | istributed States Logic. | Carlo Montangero, Laura Semini |
| 2002 | Extending the Point Algebra into the Qualitative Algebra. | Andrei A. Krokhin, Peter Jonsson |
| 2002 | Performance of Querying Temporal Attributes in Object-Relational Databases. | Carsten Kleiner, Udo W. Lipeck |
| 2002 | A Similarity Search Method of Time Series Data with Combination of Fourier and Wavelet Transforms. | Kyoji Kawagoe, Tomohiro Ueda |
| 2002 | Tensed Ontology Based on Simple Partial Logic. | Daisuke Kachi |
| 2002 | A Parameterized Algebra for Event Notification Services. | Annika Hinze, Agns Voisard |