| 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 | A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic. | Quentin Peyras, Julien Brunel, David Chemouil |
| 2019 | On Verifying Timed Hyperproperties. | Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones |
| 2019 | From Quantified CTL to QBF. | Akash Hossain, Franois Laroussinie |
| 2019 | Simplifying Inductive Schemes in Temporal Logic. | Pablo Cordero, Inmaculada Fortes, Inmaculada Perez de Guzmn, Sixto Snchez |
| 2019 | Customizing BPMN Diagrams Using Timelines. | Carlo Combi, Barbara Oliboni, Pietro Sala |
| 2019 | Time-Aware Probabilistic Knowledge Graphs. | Melisachew Wudage Chekol, Heiner Stuckenschmidt |
| 2019 | Minimisation of Models Satisfying CTL Formulas. | Serenella Cerrito, Amlie David, Valentin Goranko |
| 2019 | Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. | Andrea Brunello, Angelo Montanari, Mark Reynolds |
| 2019 | Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. | Laura Bozzelli, Angelo Montanari, Adriano Peron |
| 2019 | On the Computation of Nash Equilibria in Games on Graphs (Invited Talk). | Patricia Bouyer |
| 2019 | From Unstructured Data to Narrative Abstractive Summaries (Invited Talk). | Estela Saquete Bor |
| 2019 | The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. | Ana de Almeida Borges, Juan Jos Conejero Rodrguez, David Fernndez-Duque, Mireia Gonzlez Bedmar, Joost J. Joosten |
| 2019 | Computing the Fourier Transformation over Temporal Data Streams (Invited Talk). | Michael H. Bhlen, Muhammad Saad |
| 2019 | Towards Certified Model Checking for PLTL Using One-Pass Tableaux. | Alex Abuin, Alexander Bolotov, Unai Daz-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 Gzel Kalayci, Roman Kontchakov, Benjamin Mrzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev |
| 2018 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2018 | Computational Complexity of a Core Fragment of Halpern-Shoham Logic. | Przemyslaw Andrzej Walega |
| 2018 | Population Based Methods for Optimising Infinite Behaviours of Timed Automata. | Lewis Tolonen, Tim French, Mark Reynolds |
| 2018 | An Empirical Study on Bidirectional Recurrent Neural Networks for Human Motion Recognition. | Pattreeya Tanisaro, Gunther Heidemann |
| 2018 | A Stream Reasoning System for Maritime Monitoring. | Georgios M. Santipantakis, Akrivi Vlachou, Christos Doulkeridis, Alexander Artikis, Ioannis Kontopoulos, George A. Vouros |
| 2018 | Learning Qualitative Constraint Networks. | Malek Mouhoub, Hamad Al Marri, Eisa Alanazi |
| 2018 | GSM+T: A Timed Artifact-Centric Process Model. | Julius Kpke, Johann Eder, Jianwen Su |
| 2018 | A Temporal Logic for Modelling Activities of Daily Living. | Malte S. Klie, Catholijn M. Jonker, M. Birna van Riemsdijk |
| 2018 | On the Expressive Power of Hybrid Branching-Time Logics. | Daniel Kernberger, Martin Lange |