| 2012 | 19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012 Ben C. Moszkowski, Mark Reynolds, Paolo Terenziani |
| 2012 | A Metric Temporal Logic for Dealing with Zero-Time Transitions. Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi |
| 2012 | A Review on Temporal Reasoning Using Support Vector Machines. Renata C. B. Madeo, Clodoaldo Ap. M. Lima, Sarajane Marques Peres |
| 2012 | A Tableau for the Combination of CTL and BCTL*. John Christopher McCabe-Dansted |
| 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 | An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals. Angelo Montanari, Pietro Sala |
| 2012 | Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. Carlo A. Furia, Paola Spoletini |
| 2012 | Compositional Refinement for Real-Time Systems with Priorities. Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali |
| 2012 | Efficient Regular Linear Temporal Logic Using Dualization and Stratification. César Sánchez, Julián Samborski-Forlese |
| 2012 | Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL. Omar I. Al-Bataineh, Tim French, Terry Woodings |
| 2012 | Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction. Hubie Chen, Michal Wrona |
| 2012 | Merging Temporal Annotations. Hector Llorens, Naushad UzZaman, James F. Allen |
| 2012 | Modeling and Clustering Users with Evolving Profiles in Usage Streams. Chongsheng Zhang, Florent Masseglia, Xiangliang Zhang |
| 2012 | Reasoning about Plan Revision in Agent Programs. Natasha Alechina |
| 2012 | Robustness Analysis for Scheduling Problems Using the Inverse Method. Laurent Fribourg, Romain Soulat, David Lesens, Pierre Moro |
| 2012 | Spatio-temporal Data Warehouses and Mobility Data: Current Status and Research Issues. Esteban Zimányi |
| 2012 | Symmetric Temporal Theorem Proving. Amir Niknafs-Kermani, Boris Konev, Michael Fisher |
| 2012 | TVICS: An Efficient Traffic Video Information Converting System. Hang Yue, Peter Z. Revesz |
| 2012 | Temporal Implications of Database Information Accountability. Kyriacos E. Pavlou, Richard T. Snodgrass |
| 2012 | Undecidability and Temporal Logic: Some Landmarks from Turing to the Present. Valentin Goranko |