| 2016 | 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016 Curtis E. Dyreson, Michael R. Hansen, Luke Hunsberger |
| 2016 | A Domain-Specific Language for Normative Texts with Timing Constraints. Runa Gulliksson, John J. Camilleri |
| 2016 | Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. Kim Guldstrand Larsen |
| 2016 | Combining Free Choice and Time in Petri Nets. S. Akshay, Loïc Hélouët, Ramchandra Phawade |
| 2016 | Conceptual and Metaphysical Origins and Relevance of Temporal Logic. David Jakobsen, Peter Øhrstrøm |
| 2016 | Consistency in Parametric Interval Probabilistic Timed Automata. Étienne André, Benoît Delahaye |
| 2016 | Consistent Query Answering for Atemporal Constraints over Temporal Databases. Jan Chomicki, Jef Wijsen |
| 2016 | Dynamic Controllability of Conditional Simple Temporal Networks Is PSPACE-complete. Massimo Cairo, Romeo Rizzi |
| 2016 | Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks. Massimo Cairo, Carlo Comin, Romeo Rizzi |
| 2016 | Interval Temporal Logics Model Checking. Angelo Montanari |
| 2016 | Model Checking for the Full Hybrid Computation Tree Logic. Daniel Kernberger, Martin Lange |
| 2016 | Modelling Systems over General Linear Time. John Christopher McCabe-Dansted, Mark Reynolds, Tim French |
| 2016 | On the Complexity of Fragments of Horn Modal Logics. Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco |
| 2016 | On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. Valentin Goranko, Louwe B. Kuijer |
| 2016 | Optimal Control for Simple Linear Hybrid Systems. Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak |
| 2016 | Querying Music Notation. Raphaël Fournier-S'niehotta, Philippe Rigaux, Nicolas Travers |
| 2016 | Specification of Evolving Privacy Policies for Online Social Networks. Raúl Pardo, Ivana Kellyerova, César Sánchez, Gerardo Schneider |
| 2016 | Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models. Mattias Tiger, Fredrik Heintz |
| 2016 | Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic. Shota Matsumoto, Kazunori Ueda |
| 2016 | The Impact of the Telic\Atelic Dichotomy on Temporal Databases. Paolo Terenziani |
| 2016 | The Model Checking Problem in Networks with Quasi-Equal Clocks. Christian Herrera, Bernd Westphal |
| 2016 | Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini |
| 2016 | Translating Temporal SQL to Nested SQL. Curtis E. Dyreson, Venkata A. Rani |
| 2016 | Verify LTL with Fairness Assumptions Efficiently. Yong Li, Lei Song, Yuan Feng, Lijun Zhang |
| 2016 | tauXUF: A Temporal Extension of the XQuery Update Facility Language for the tauXSchema Framework. Zouhaier Brahmia, Fabio Grandi, Rafik Bouaziz |