| 2020 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2020 | TESL: A Model with Metric Time for Modeling and Simulation. | Hai Nguyen Van, Frdric Boulanger, Burkhart Wolff |
| 2020 | Window-Slicing Techniques Extended to Spanning-Event Streams. | Aurlie Suzanne, Guillaume Raschia, Jos Martinez, Damien Tassetti |
| 2020 | Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. | Michael Sioutis, Diedrich Wolter |
| 2020 | Mining Significant Temporal Networks Is Polynomial. | Guido Sciavicco, Matteo Zavatteri, Tiziano Villa |
| 2020 | Knowledge Extraction with Interval Temporal Logic Decision Trees. | Guido Sciavicco, Ionel Eduard Stan |
| 2020 | Complexity of Qualitative Timeline-Based Planning. | Dario Della Monica, Nicola Gigante, Salvatore La Torre, Angelo Montanari |
| 2020 | Parametric Model Checking Continuous-Time Markov Chains. | Catalin-Andrei Ilie, James B. Worrell |
| 2020 | Stab-Forests: Dynamic Data Structures for Efficient Temporal Query Processing. | Jelle Hellings, Yuqing Wu |
| 2020 | Non-Simultaneity as a Design Constraint. | Jean Guyomarc'h, Franois Guerret, Bilal El Mejjati, Emmanuel Ohayon, Bastien Vincke, Alain Mrigot |
| 2020 | Negotiating Temporal Commitments in Cross-Organizational Business Processes. | Marco Franceschetti, Johann Eder |
| 2020 | Time and Business Process Management: Problems, Achievements, Challenges (Invited Talk). | Johann Eder, Marco Franceschetti |
| 2020 | Verifying Autonomous Robots: Challenges and Reflections (Invited Talk). | Clare Dixon |
| 2020 | On the Decidability of a Fragment of preferential LTL. | Anasse Chafik, Fahima Cheikh Alili, Jean-Franois Condotta, Ivan Varzinczak |
| 2020 | Temporal Modalities in Answer Set Programming (Invited Talk). | Pedro Cabalar |
| 2020 | Temporal Logic with Recursion. | Florian Bruse, Martin Lange |
| 2020 | The Horn Fragment of Branching Algebra. | Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani |
| 2020 | A Note on C² Interpreted over Finite Data-Words. | Bartosz Bednarczyk, Piotr Witkowski |
| 2020 | One-Pass Context-Based Tableaux Systems for CTL and ECTL. | Alex Abuin, Alexander Bolotov, Montserrat Hermo, Paqui Lucio |
| 2020 | Universal Solutions in Temporal Data Exchange. | Zehui Cheng, Phokion G. Kolaitis |
| 2019 | Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions. | Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Vigan |
| 2019 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2019 | A Modal Logic for Subject-Oriented Spatial Reasoning. | Przemyslaw Andrzej Walega, Michal Zawidzki |
| 2019 | On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning. | Michael Sioutis, Anastasia Paparrizou, Tomi Janhunen |
| 2019 | Qualitative Reasoning and Data Mining. | Yakoub Salhi |