| 2013 | 2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013 César Sánchez, K. Brent Venable, Esteban Zimányi |
| 2013 | A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco |
| 2013 | A Faster Execution Algorithm for Dynamically Controllable STNUs. Luke Hunsberger |
| 2013 | A Labeled Deduction System for the Logic UB. Carlos Caleiro, Luca Viganò, Marco Volpe |
| 2013 | A New Approach to Abstract Reachability State Space of Time Petri Nets. Kais Klai, Naim Aber, Laure Petrucci |
| 2013 | A New Metric Temporal Logic for Hybrid Systems. Mark Reynolds |
| 2013 | A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic. Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro |
| 2013 | An Algebraic System of Temporal Structures. Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2013 | Complexity of Model Checking over General Linear Time. Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2013 | Event Algebra for Transition Systems Composition - Application to Timed Automata. Elie Fares, Jean-Paul Bodeveix, Mamoun Filali |
| 2013 | Extracting Unsatisfiable Cores for LTL via Temporal Resolution. Viktor Schuppan |
| 2013 | Incremental, Inductive Model Checking. Aaron R. Bradley |
| 2013 | LTL Satisfiability Checking Revisited. Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He |
| 2013 | Making Time Just Another Axis in Geospatial Services. Piero Campalani, Dimitar Misev, Alan Beccati, Peter Baumann |
| 2013 | Minimal Consistency Problem of Temporal Qualitative Constraint Networks. Jean-François Condotta, Souhila Kaci |
| 2013 | Optimal Design of Consistent Simple Temporal Networks. Romeo Rizzi, Roberto Posenato |
| 2013 | Relaxation of Temporal Planning Problems. Martin C. Cooper, Frederic Maris, Pierre Régnier |
| 2013 | Rethinking Logics of Action and Time. James F. Allen |
| 2013 | Spatio-temporal Competition for Transportation Resources. Ouri Wolfson |