| 2019 | 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, Málaga, Spain, October 16-19, 2019 Johann Gamper, Sophie Pinchinat, Guido Sciavicco |
| 2019 | A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic. Quentin Peyras, Julien Brunel, David Chemouil |
| 2019 | A Modal Logic for Subject-Oriented Spatial Reasoning. Przemyslaw Andrzej Walega, Michal Zawidzki |
| 2019 | Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. Laura Bozzelli, Angelo Montanari, Adriano Peron |
| 2019 | Computing the Fourier Transformation over Temporal Data Streams (Invited Talk). Michael H. Böhlen, Muhammad Saad |
| 2019 | Customizing BPMN Diagrams Using Timelines. Carlo Combi, Barbara Oliboni, Pietro Sala |
| 2019 | From Quantified CTL to QBF. Akash Hossain, François Laroussinie |
| 2019 | From Unstructured Data to Narrative Abstractive Summaries (Invited Talk). Estela Saquete Boró |
| 2019 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2019 | Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions. Matteo Zavatteri, Carlo Combi, Romeo Rizzi, Luca Viganò |
| 2019 | Minimisation of Models Satisfying CTL Formulas. Serenella Cerrito, Amélie David, Valentin Goranko |
| 2019 | On Verifying Timed Hyperproperties. Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones |
| 2019 | On the Computation of Nash Equilibria in Games on Graphs (Invited Talk). Patricia Bouyer |
| 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 |
| 2019 | Recurrent Neural Networks Applied to GNSS Time Series for Denoising and Prediction. Elena Loli Piccolomini, Stefano Gandolfi, Luca Poluzzi, Luca Tavasci, Pasquale Cascarano, Andrea Pascucci |
| 2019 | Simplifying Inductive Schemes in Temporal Logic. Pablo Cordero, Inmaculada Fortes, Inmaculada Perez de Guzmán, Sixto Sánchez |
| 2019 | Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. Andrea Brunello, Angelo Montanari, Mark Reynolds |
| 2019 | The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten |
| 2019 | Time-Aware Probabilistic Knowledge Graphs. Melisachew Wudage Chekol, Heiner Stuckenschmidt |
| 2019 | Towards Certified Model Checking for PLTL Using One-Pass Tableaux. Alex Abuin, Alexander Bolotov, Unai Díaz-de-Cerio, Montserrat Hermo, Paqui Lucio |
| 2019 | Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. Sebastian Brandt, Diego Calvanese, Elem Güzel Kalayci, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev |