LIPIcs, Volume 178, TIME 2020

• Emilio Muñoz-Velasco, Ana Ozaki, and Martin Theobald LIPIcs, Volume 178, TIME 2020, Complete Volume 10.4230/LIPIcs.TIME.2020
• Emilio Muñoz-Velasco, Ana Ozaki, and Martin Theobald Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.TIME.2020.0
• Clare Dixon Verifying Autonomous Robots: Challenges and Reflections (Invited Talk) 10.4230/LIPIcs.TIME.2020.1
• Pedro Cabalar Temporal Modalities in Answer Set Programming (Invited Talk) 10.4230/LIPIcs.TIME.2020.2
• Johann Eder and Marco Franceschetti Time and Business Process Management: Problems, Achievements, Challenges (Invited Talk) 10.4230/LIPIcs.TIME.2020.3
• Marco Franceschetti and Johann Eder Negotiating Temporal Commitments in Cross-Organizational Business Processes 10.4230/LIPIcs.TIME.2020.4
• Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, and Stefano Trevisani The Horn Fragment of Branching Algebra 10.4230/LIPIcs.TIME.2020.5
• Florian Bruse and Martin Lange Temporal Logic with Recursion 10.4230/LIPIcs.TIME.2020.6
• Catalin-Andrei Ilie and James Ben Worrell Parametric Model Checking Continuous-Time Markov Chains 10.4230/LIPIcs.TIME.2020.7
• Zehui Cheng and Phokion G. Kolaitis Universal Solutions in Temporal Data Exchange 10.4230/LIPIcs.TIME.2020.8
• Guido Sciavicco and Ionel Eduard Stan Knowledge Extraction with Interval Temporal Logic Decision Trees 10.4230/LIPIcs.TIME.2020.9
• Aurélie Suzanne, Guillaume Raschia, José Martinez, and Damien Tassetti Window-Slicing Techniques Extended to Spanning-Event Streams 10.4230/LIPIcs.TIME.2020.10
• Guido Sciavicco, Matteo Zavatteri, and Tiziano Villa Mining Significant Temporal Networks Is Polynomial 10.4230/LIPIcs.TIME.2020.11
• Michael Sioutis and Diedrich Wolter Dynamic Branching in Qualitative Constraint Networks via Counting Local Models 10.4230/LIPIcs.TIME.2020.12
• Jean Guyomarc'h, François Guerret, Bilal El Mejjati, Emmanuel Ohayon, Bastien Vincke, and Alain Mérigot Non-Simultaneity as a Design Constraint 10.4230/LIPIcs.TIME.2020.13
• Alex Abuin, Alexander Bolotov, Montserrat Hermo, and Paqui Lucio One-Pass Context-Based Tableaux Systems for CTL and ECTL 10.4230/LIPIcs.TIME.2020.14
• Hai Nguyen Van, Frédéric Boulanger, and Burkhart Wolff TESL: A Model with Metric Time for Modeling and Simulation 10.4230/LIPIcs.TIME.2020.15
• Dario Della Monica, Nicola Gigante, Salvatore La Torre, and Angelo Montanari Complexity of Qualitative Timeline-Based Planning 10.4230/LIPIcs.TIME.2020.16
• Bartosz Bednarczyk and Piotr Witkowski A Note on C² Interpreted over Finite Data-Words 10.4230/LIPIcs.TIME.2020.17
• Jelle Hellings and Yuqing Wu Stab-Forests: Dynamic Data Structures for Efficient Temporal Query Processing 10.4230/LIPIcs.TIME.2020.18
• Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, and Ivan Varzinczak On the Decidability of a Fragment of preferential LTL 10.4230/LIPIcs.TIME.2020.19