| 2023 | Detecting Causality in the Presence of Byzantine Processes: The Synchronous Systems Case. | Anshuman Misra, Ajay D. Kshemkalyani |
| 2023 | An Event Calculus for Run-Time Reasoning (Extended Abstract). | Periklis Mantenoglou |
| 2023 | Answer Set Automata: A Learnable Pattern Specification Framework for Complex Event Recognition (Extended Abstract). | Nikos Katzouris, Georgios Paliouras |
| 2023 | A Benchmark for Early Time-Series Classification (Extended Abstract). | Petro-Foti Kamberi, Evgenios Kladis, Charilaos Akasiadis |
| 2023 | Converting Simple Temporal Networks with Uncertainty into Dispatchable Form - Faster (Extended Abstract). | Luke Hunsberger, Roberto Posenato |
| 2023 | More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words. | Hsi-Ming Ho, Khushraj Madnani |
| 2023 | SSTRESED: Scalable Semantic Trajectory Extraction for Simple Event Detection over Streaming Movement Data (Extended Abstract). | Nikos Giatrakos |
| 2023 | Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract). | Luca Geatti, Alessandro Gianola, Nicola Gigante |
| 2023 | Optimization of Nonsequenced Queries Using Log-Segmented Timestamps. | Curtis E. Dyreson |
| 2023 | A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. | Willem Conradie, Riccardo Monego, Emilio Muoz-Velasco, Guido Sciavicco, Ionel Eduard Stan |
| 2023 | The Calculus of Temporal Influence. | Florian Bruse, Marit Kastaun, Martin Lange, Sren Mller |
| 2023 | Analyzing Complex Systems with Cascades Using Continuous-Time Bayesian Networks. | Alessandro Bregoli, Karin Rathsman, Marco Scutari, Fabio Stella, Sren Wengel Mogensen |
| 2023 | LSCPM: Communities in Massive Real-World Link Streams by Clique Percolation Method. | Alexis Baudin, Lionel Tabourier, Clmence Magnien |
| 2023 | LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa. | Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari |
| 2023 | Discovering Predictive Dependencies on Multi-Temporal Relations. | Beatrice Amico, Carlo Combi, Romeo Rizzi, Pietro Sala |
| 2023 | Qualitative past Timeline-Based Games (Extended Abstract). | Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari |
| 2022 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2022 | Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk). | Moshe Y. Vardi |
| 2022 | Getting to the CORE of Complex Event Recognition (Invited Talk). | Stijn Vansummeren |
| 2022 | Decentralised Runtime Verification of Timed Regular Expressions. | Victor Roussanaly, Ylis Falcone |
| 2022 | Reasoning on Dynamic Transformations of Symbolic Heaps. | Nicolas Peltier |
| 2022 | Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification. | Giovanni Pagliarini, Simone Scaboro, Giuseppe Serra, Guido Sciavicco, Ionel Eduard Stan |
| 2022 | Visual Analytics Meets Temporal Reasoning: Challenges and Opportunities (Invited Talk). | Silvia Miksch |
| 2022 | Early Detection of Temporal Constraint Violations. | Isaac Mackey, Raghubir Chimni, Jianwen Su |
| 2022 | Logical Forms of Chronicles. | Thomas Guyet, Nicolas Markey |