| 2017 | The Time Ontology of Allen's Interval Algebra. | Michael Grninger, Zhuojun Li |
| 2017 | A Relational Algebra for Streaming Tables Living in a Temporal Database World. | Fabio Grandi, Federica Mandreoli, Riccardo Martoglia, Wilma Penzo |
| 2017 | CTL with Finitely Bounded Semantics. | Valentin Goranko, Antti Kuusisto, Raine Rnnholm |
| 2017 | Models and Algorithms for Chronology. | Gilles Geeraerts, Eythan Levy, Frdric Pluquet |
| 2017 | Time Expressions Recognition with Word Vectors and Neural Networks. | Mathas Etcheverry, Dina Wonsever |
| 2017 | Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk). | Javier Esparza |
| 2017 | Dynamic Controllability Made Simple. | Massimo Cairo, Romeo Rizzi |
| 2017 | A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results. | Massimo Cairo, Luke Hunsberger, Roberto Posenato, Romeo Rizzi |
| 2017 | Incorporating Decision Nodes into Conditional Simple Temporal Networks. | Massimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato, Romeo Rizzi, Matteo Zavatteri |
| 2017 | Timed-Automata-Based Verification of MITL over Signals. | Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege |
| 2017 | Hierarchical Cost-Parity Games. | Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino |
| 2017 | Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks. | Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette |
| 2017 | Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). | Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2017 | Possible and Certain Answers for Queries over Order-Incomplete Data. | Antoine Amarilli, Mouhamadou Lamine Ba, Daniel Deutch, Pierre Senellart |
| 2016 | Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models. | Mattias Tiger, Fredrik Heintz |
| 2016 | The Impact of the Telic\Atelic Dichotomy on Temporal Databases. | Paolo Terenziani |
| 2016 | Specification of Evolving Privacy Policies for Online Social Networks. | Ral Pardo, Ivana Kellyerova, Csar Snchez, Gerardo Schneider |
| 2016 | Optimal Control for Simple Linear Hybrid Systems. | Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak |
| 2016 | Interval Temporal Logics Model Checking. | Angelo Montanari |
| 2016 | Modelling Systems over General Linear Time. | John Christopher McCabe-Dansted, Mark Reynolds, Tim French |
| 2016 | Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic. | Shota Matsumoto, Kazunori Ueda |
| 2016 | Verify LTL with Fairness Assumptions Efficiently. | Yong Li, Lei Song, Yuan Feng, Lijun Zhang |
| 2016 | Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems. | Kim Guldstrand Larsen |
| 2016 | Model Checking for the Full Hybrid Computation Tree Logic. | Daniel Kernberger, Martin Lange |
| 2016 | Conceptual and Metaphysical Origins and Relevance of Temporal Logic. | David Jakobsen, Peter hrstrm |