| 2018 | Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper). | Wojciech Jamroga |
| 2018 | Reducing epsilon-DC Checking for Conditional Simple Temporal Networks to DC Checking. | Luke Hunsberger, Roberto Posenato |
| 2018 | Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty. | Luke Hunsberger, Roberto Posenato |
| 2018 | A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. | Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds |
| 2018 | Deciding the Consistency of Branching Time Interval Networks. | Marco Gavanelli, Alessandro Passantino, Guido Sciavicco |
| 2018 | Algebraic Operators for Processing Sets of Temporal Intervals in Relational Databases. | Andreas Dohr, Christiane Engels, Andreas Behrend |
| 2018 | On Temporal and Separation Logics (Invited Paper). | Stphane Demri |
| 2018 | On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier. | Carlo Comin, Romeo Rizzi |
| 2018 | Extending Conditional Simple Temporal Networks with Partially Shrinkable Uncertainty. | Carlo Combi, Roberto Posenato |
| 2018 | Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty. | Massimo Cairo, Luke Hunsberger, Romeo Rizzi |
| 2018 | Extracting Interval Temporal Logic Rules: A First Approach. | Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muoz-Velasco, Guido Sciavicco |
| 2018 | Results on Alternating-Time Temporal Logics with Linear Past. | Laura Bozzelli, Aniello Murano, Loredana Sorrentino |
| 2018 | Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach. | Alexander Bolotov, Montserrat Hermo, Paqui Lucio |
| 2018 | Database Technology for Processing Temporal Data (Invited Paper). | Michael H. Bhlen, Anton Digns, Johann Gamper, Christian S. Jensen |
| 2018 | Predicting the Evolution of Communities with Online Inductive Logic Programming. | George Athanasopoulos, George Paliouras, Dimitrios Vogiatzis, Grigorios Tzortzis, Nikos Katzouris |
| 2017 | Conditional Simple Temporal Networks with Uncertainty and Decisions. | Matteo Zavatteri |
| 2017 | Front Matter, Table of Contents, Preface, Organization, List of Authors. | |
| 2017 | On Expressiveness of Halpern-Shoham Logic and its Horn Fragments. | Przemyslaw Andrzej Walega |
| 2017 | Time Dependent Policy-Based Access Control. | Panagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson |
| 2017 | Dynamic Purpose Decomposition of Mobility Flows Based on Geographical Data. | Etienne Thuillier, Laurent Moalic, Alexandre Caminada |
| 2017 | Collective Singleton-Based Consistency for Qualitative Constraint Networks. | Michael Sioutis, Anastasia Paparrizou, Jean-Franois Condotta |
| 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 | Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk). | Sheila A. McIlraith |
| 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 |