| 2016 | The Model Checking Problem in Networks with Quasi-Equal Clocks. | Christian Herrera, Bernd Westphal |
| 2016 | A Domain-Specific Language for Normative Texts with Timing Constraints. | Runa Gulliksson, John J. Camilleri |
| 2016 | On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems. | Valentin Goranko, Louwe B. Kuijer |
| 2016 | Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. | Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini |
| 2016 | Querying Music Notation. | Raphal Fournier-S'niehotta, Philippe Rigaux, Nicolas Travers |
| 2016 | Translating Temporal SQL to Nested SQL. | Curtis E. Dyreson, Venkata A. Rani |
| 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 | On the Complexity of Fragments of Horn Modal Logics. | Davide Bresolin, Emilio Muoz-Velasco, Guido Sciavicco |
| 2016 | tauXUF: A Temporal Extension of the XQuery Update Facility Language for the tauXSchema Framework. | Zouhaier Brahmia, Fabio Grandi, Rafik Bouaziz |
| 2016 | Consistency in Parametric Interval Probabilistic Timed Automata. | tienne Andr, Benot Delahaye |
| 2016 | Combining Free Choice and Time in Petri Nets. | S. Akshay, Loc Hlout, Ramchandra Phawade |
| 2015 | Historical Queries on Wikipedia: A Usability-Driven Approach. | Carlo Zaniolo |
| 2015 | Undecidability of Chop. | Angelo Montanari, Emilio Muoz-Velasco, Guido Sciavicco |
| 2015 | Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. | Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2015 | An Executable Semantics of Flexible Plans in Terms of Timed Game Automata. | Marta Cialdea Mayer, Andrea Orlandini |
| 2015 | Semantic Vacuity. | Grgur Petric Maretic, Muhammad Torabi Dashti, David A. Basin |
| 2015 | On the Counting of Strategies. | Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino |
| 2015 | LTL Fragments are Hard for Standard Parameterisations. | Martin Lck, Arne Meier |
| 2015 | Reachability Games on Recursive Hybrid Automata. | Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi |
| 2015 | A Team Based Variant of CTL. | Andreas Krebs, Arne Meier, Jonni Virtema |
| 2015 | The Model Checking Fingerprints of CTL Operators. | Andreas Krebs, Arne Meier, Martin Mundhenk |
| 2015 | A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks. | Luke Hunsberger, Roberto Posenato, Carlo Combi |
| 2015 | Global Caching for the Flat Coalgebraic -Calculus. | Daniel Hausmann, Lutz Schrder |