| 2005 | Generalized Model Checking. | Patrice Godefroid |
| 2005 | "TellMe": A Novel Protocol and Location Prediction Scheme Exploiting the "One For All" Framework for Location Management. | Amal El-Nahas, Omar H. Karam, Ahmad Hamad, Ingy Ramzy |
| 2005 | Probabilistic Calculation of Execution Intervals for Workflows. | Johann Eder, Horst Pichler |
| 2005 | On the Freeze Quantifier in Constraint LTL: Decidability and Complexity. | Stphane Demri, Ranko Lazic, David Nowak |
| 2005 | LOLA: Runtime Monitoring of Synchronous Systems. | Ben D'Angelo, Sriram Sankaranarayanan, Csar Snchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna |
| 2005 | A Uniform Algebraic Characterization of Temporal Functional Dependencies. | Carlo Combi, Angelo Montanari, Rosalba Rossato |
| 2005 | Temporal Query Languages Expressive Power: TL versus T-WHILE. | Nicole Bidoit, Matthieu Objois |
| 2005 | An Efficient Algorithm for Minimizing Time Granularity Periodical Representations. | Claudio Bettini, Sergio Mascetti |
| 2005 | Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity. | Artie Basukoski, Alexander Bolotov |
| 2005 | Constraint-Based Qualitative Simulation. | Krzysztof R. Apt, Sebastian Brand |
| 2005 | CME: A Temporal Relational Model for Efficient Coalescing. | Mohammed Al-Kateb, Essam Mansour, Mohamed E. El-Sharkawi |
| 2004 | Effective Data Integration in the Presence of Temporal Semantic Conflicts. | Hongwei Zhu, Stuart E. Madnick, Michael D. Siegel |
| 2004 | The Many Ways of Facing Temporal Uncertainty in Planning and Scheduling. | Thierry Vidal |
| 2004 | Probabilistic Temporal Interval Networks. | Vladimir Ryabov, Andr Trudel |
| 2004 | Temporal Prepositions and Their Logic. | Ian Pratt-Hartmann |
| 2004 | The Role of Labeled Partitionings for Modeling Periodic Temporal Notions. | Hans Jrgen Ohlbach |
| 2004 | Relations Between Fuzzy Time Intervals. | Hans Jrgen Ohlbach |
| 2004 | Decidability of the Theory of the Totally Unbounded omega-Layered Structure. | Angelo Montanari, Gabriele Puppis |
| 2004 | Pre-Processing Time Constraints for Efficiently Mining Generalized Sequential Patterns. | Florent Masseglia, Pascal Poncelet, Maguelonne Teisseire |
| 2004 | Fuzzy Calendar Algebra and Its Applications to Data Mining. | Wan-Jui Lee, Shie-Jue Lee |
| 2004 | Model Checking mu-Calculus in Well-Structured Transition Systems. | E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov |
| 2004 | Word Proximity Constraints: Information Retrieval Meets Temporal Reasoning. | Manolis Koubarakis |
| 2004 | A Possibility Theory-based Approach for Handling of Uncertain Relations Between Temporal Points. | Allel HadjAli, Didier Dubois, Henri Prade |
| 2004 | On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. | Laura Giordano, Alberto Martelli |
| 2004 | A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time. | Lavinia Egidi, Paolo Terenziani |