| 2017 | 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, Mons, Belgium, October 16-18, 2017 Sven Schewe, Thomas Schneider, Jef Wijsen |
| 2017 | A Relational Algebra for Streaming Tables Living in a Temporal Database World. Fabio Grandi, Federica Mandreoli, Riccardo Martoglia, Wilma Penzo |
| 2017 | A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results. Massimo Cairo, Luke Hunsberger, Roberto Posenato, Romeo Rizzi |
| 2017 | Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk). Javier Esparza |
| 2017 | CTL with Finitely Bounded Semantics. Valentin Goranko, Antti Kuusisto, Raine Rönnholm |
| 2017 | Collective Singleton-Based Consistency for Qualitative Constraint Networks. Michael Sioutis, Anastasia Paparrizou, Jean-François Condotta |
| 2017 | Conditional Simple Temporal Networks with Uncertainty and Decisions. Matteo Zavatteri |
| 2017 | Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks. Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette |
| 2017 | Dynamic Controllability Made Simple. Massimo Cairo, Romeo Rizzi |
| 2017 | Dynamic Purpose Decomposition of Mobility Flows Based on Geographical Data. Etienne Thuillier, Laurent Moalic, Alexandre Caminada |
| 2017 | Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco |
| 2017 | Front Matter, Table of Contents, Preface, Organization, List of Authors. |
| 2017 | Hierarchical Cost-Parity Games. Laura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino |
| 2017 | Incorporating Decision Nodes into Conditional Simple Temporal Networks. Massimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato, Romeo Rizzi, Matteo Zavatteri |
| 2017 | Models and Algorithms for Chronology. Gilles Geeraerts, Eythan Levy, Frédéric Pluquet |
| 2017 | On Expressiveness of Halpern-Shoham Logic and its Horn Fragments. Przemyslaw Andrzej Walega |
| 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 | Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk). Sheila A. McIlraith |
| 2017 | Possible and Certain Answers for Queries over Order-Incomplete Data. Antoine Amarilli, Mouhamadou Lamine Ba, Daniel Deutch, Pierre Senellart |
| 2017 | Similarity Search for Spatial Trajectories Using Online Lower Bounding DTW and Presorting Strategies. Marie Kiermeier, Martin Werner |
| 2017 | The Fully Hybrid mu-Calculus. Daniel Kernberger, Martin Lange |
| 2017 | The Time Ontology of Allen's Interval Algebra. Michael Grüninger, Zhuojun Li |
| 2017 | Time Dependent Policy-Based Access Control. Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson |
| 2017 | Time Expressions Recognition with Word Vectors and Neural Networks. Mathías Etcheverry, Dina Wonsever |
| 2017 | Timed-Automata-Based Verification of MITL over Signals. Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege |