LIPIcs, Volume 147, TIME 2019

• Johann Gamper, Sophie Pinchinat, and Guido Sciavicco LIPIcs, Volume 147, TIME'19, Complete Volume 10.4230/LIPIcs.TIME.2019
• Johann Gamper, Sophie Pinchinat, and Guido Sciavicco Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.TIME.2019.0
• Michael H. Böhlen and Muhammad Saad Computing the Fourier Transformation over Temporal Data Streams (Invited Talk) 10.4230/LIPIcs.TIME.2019.1
• Estela Saquete Boró From Unstructured Data to Narrative Abstractive Summaries (Invited Talk) 10.4230/LIPIcs.TIME.2019.2
• Patricia Bouyer On the Computation of Nash Equilibria in Games on Graphs (Invited Talk) 10.4230/LIPIcs.TIME.2019.3
• Przemysław Andrzej Wałęga and Michał Zawidzki A Modal Logic for Subject-Oriented Spatial Reasoning 10.4230/LIPIcs.TIME.2019.4
• Carlo Combi, Barbara Oliboni, and Pietro Sala Customizing BPMN Diagrams Using Timelines 10.4230/LIPIcs.TIME.2019.5
• Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, and Joost J. Joosten The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations 10.4230/LIPIcs.TIME.2019.6
• Sebastian Brandt, Diego Calvanese, Elem Güzel Kalaycı, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, and Michael Zakharyaschev Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases 10.4230/LIPIcs.TIME.2019.7
• Melisachew Wudage Chekol and Heiner Stuckenschmidt Time-Aware Probabilistic Knowledge Graphs 10.4230/LIPIcs.TIME.2019.8
• Yakoub Salhi Qualitative Reasoning and Data Mining 10.4230/LIPIcs.TIME.2019.9
• Elena Loli Piccolomini, Stefano Gandolfi, Luca Poluzzi, Luca Tavasci, Pasquale Cascarano, and Andrea Pascucci Recurrent Neural Networks Applied to GNSS Time Series for Denoising and Prediction 10.4230/LIPIcs.TIME.2019.10
• Akash Hossain and François Laroussinie From Quantified CTL to QBF 10.4230/LIPIcs.TIME.2019.11
• Alex Abuin, Alexander Bolotov, Unai Díaz de Cerio, Montserrat Hermo, and Paqui Lucio Towards Certified Model Checking for PLTL Using One-Pass Tableaux 10.4230/LIPIcs.TIME.2019.12
• Serenella Cerrito, Amélie David, and Valentin Goranko Minimisation of Models Satisfying CTL Formulas 10.4230/LIPIcs.TIME.2019.13
• Michael Sioutis, Anastasia Paparrizou, and Tomi Janhunen On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning 10.4230/LIPIcs.TIME.2019.14
• Quentin Peyras, Julien Brunel, and David Chemouil A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic 10.4230/LIPIcs.TIME.2019.15
• Matteo Zavatteri, Carlo Combi, Romeo Rizzi, and Luca Viganò Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions 10.4230/LIPIcs.TIME.2019.16
• Andrea Brunello, Angelo Montanari, and Mark Reynolds Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions 10.4230/LIPIcs.TIME.2019.17
• Laura Bozzelli, Angelo Montanari, and Adriano Peron Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic 10.4230/LIPIcs.TIME.2019.18
• Pablo Cordero, Inmaculada Fortes, Inmaculada P. de Guzmán, and Sixto Sánchez Simplifying Inductive Schemes in Temporal Logic 10.4230/LIPIcs.TIME.2019.19
• Hsi-Ming Ho, Ruoyu Zhou, and Timothy M. Jones On Verifying Timed Hyperproperties 10.4230/LIPIcs.TIME.2019.20