| 2012 | Temporal Implications of Database Information Accountability. | Kyriacos E. Pavlou, Richard T. Snodgrass |
| 2012 | Symmetric Temporal Theorem Proving. | Amir Niknafs-Kermani, Boris Konev, Michael Fisher |
| 2012 | An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. | Angelo Montanari, Pietro Sala |
| 2012 | A Tableau for the Combination of CTL and BCTL*. | John Christopher McCabe-Dansted |
| 2012 | A Review on Temporal Reasoning Using Support Vector Machines. | Renata C. B. Madeo, Clodoaldo Ap. M. Lima, Sarajane Marques Peres |
| 2012 | Merging Temporal Annotations. | Hector Llorens, Naushad UzZaman, James F. Allen |
| 2012 | Undecidability and Temporal Logic: Some Landmarks from Turing to the Present. | Valentin Goranko |
| 2012 | Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. | Carlo A. Furia, Paola Spoletini |
| 2012 | Robustness Analysis for Scheduling Problems Using the Inverse Method. | Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro |
| 2012 | A Metric Temporal Logic for Dealing with Zero-Time Transitions. | Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi |
| 2012 | An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders. | Willem Conradie, Salih Durhan, Guido Sciavicco |
| 2012 | Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction. | Hubie Chen, Michal Wrona |
| 2012 | Compositional Refinement for Real-Time Systems with Priorities. | Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali |
| 2012 | Reasoning about Plan Revision in Agent Programs. | Natasha Alechina |
| 2012 | Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL. | Omar I. Al-Bataineh, Tim French, Terry Woodings |
| 2011 | Towards a Foundation of Data Currency. | Jef Wijsen |
| 2011 | Temporal Preferences. | Kristen Brent Venable |
| 2011 | Algorithm Design Template Base on Temporal ADT. | Nikolay V. Shilov |
| 2011 | Synthesising Classic and Interval Temporal Logic. | Sven Schewe, Cong Tian |
| 2011 | Interleaved Programs and Rely-Guarantee Reasoning with ITL. | Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif |
| 2011 | Extending ITL with Interleaved Programs for Interactive Verification. | Gerhard Schellhorn |
| 2011 | MulTiSEX - A Multi-language Timex Sequential Extractor. | Stefan Rigo, Alberto Lavelli |
| 2011 | A Tableau for Until and Since over Linear Time. | Mark Reynolds |
| 2011 | p-Automata and Obligation Games. | Nir Piterman |
| 2011 | Compositional Reasoning Using Intervals and Time Reversal. | Ben C. Moszkowski |