| 2022 | Gabbay Separation for the Duration Calculus. | Dimitar P. Guelev |
| 2022 | The Tail-Recursive Fragment of Timed Recursive CTL. | Florian Bruse, Martin Lange, tienne Lozes |
| 2022 | A Quantitative Extension of Interval Temporal Logic over Infinite Words. | Laura Bozzelli, Adriano Peron |
| 2022 | Realizability Problem for Constraint LTL. | Ashwin Bhaskar, M. Praveen |
| 2022 | Taming Strategy Logic: Non-Recurrent Fragments. | Massimo Benerecetti, Fabio Mogavero, Adriano Peron |
| 2022 | A Neuro-Symbolic Approach for Real-World Event Recognition from Weak Supervision. | Gianluca Apriceno, Andrea Passerini, Luciano Serafini |
| 2022 | Giving Instructions in Linear Temporal Logic. | Julian Gutierrez, Sarit Kraus, Giuseppe Perelli, Michael J. Wooldridge |
| 2021 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2021 | Kernel Machines in Time (Invited Talk). | Johan A. K. Suykens |
| 2021 | Investigation of Database Models for Evolving Graphs. | Alexandros Spitalas, Anastasios Gounaris, Kostas Tsichlas, Andreas Kosmatopoulos |
| 2021 | Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. | Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev |
| 2021 | 1½-Player Stochastic StopWatch Games. | Sparsa Roychowdhury |
| 2021 | Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans. | Toms Ribeiro, Oscar Lima, Michael Cashmore, Andrea Micheli, Rodrigo Ventura |
| 2021 | Extreme-Scale Model-Based Time Series Management with ModelarDB (Invited Talk). | Torben Bach Pedersen |
| 2021 | Interval Temporal Random Forests with an Application to COVID-19 Diagnosis. | Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan |
| 2021 | Simple Temporal Networks: A Practical Foundation for Temporal Representation and Reasoning (Invited Talk). | Luke Hunsberger, Roberto Posenato |
| 2021 | Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. | Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato |
| 2021 | Achieving a Sequenced, Relational Query Language with Log-Segmented Timestamps. | Curtis E. Dyreson, M. A. Manazir Ahsan |
| 2021 | Temporal Big Data Analytics: New Frontiers for Big Data Analytics Research (Panel Description). | Alfredo Cuzzocrea |
| 2021 | A One-Pass Tree-Shaped Tableau for Defeasible LTL. | Anasse Chafik, Fahima Cheikh Alili, Jean-Franois Condotta, Ivan Varzinczak |
| 2021 | Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. | Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi |
| 2021 | Model Checking Timed Recursive CTL. | Florian Bruse, Martin Lange |
| 2021 | Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. | Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2021 | Model Checking of Stream Processing Pipelines. | Alexis Bdard, Sylvain Hall |
| 2021 | A Neuro-Symbolic Approach to Structured Event Recognition. | Gianluca Apriceno, Andrea Passerini, Luciano Serafini |