LIPIcs, Volume 90, TIME 2017

• Sven Schewe, Thomas Schneider, and Jef Wijsen LIPIcs, Volume 90, TIME'17, Complete Volume 10.4230/LIPIcs.TIME.2017
• Sven Schewe, Thomas Schneider, and Jef Wijsen Front Matter, Table of Contents, Preface, Organization, List of Authors 10.4230/LIPIcs.TIME.2017.0
• Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk) 10.4230/LIPIcs.TIME.2017.1
• Javier Esparza Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk) 10.4230/LIPIcs.TIME.2017.2
• Sheila A. McIlraith Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk) 10.4230/LIPIcs.TIME.2017.3
• Antoine Amarilli, Mouhamadou Lamine Ba, Daniel Deutch, and Pierre Senellart Possible and Certain Answers for Queries over Order-Incomplete Data 10.4230/LIPIcs.TIME.2017.4
• Jonathan Behaegel, Jean-Paul Comet, and Maxime Folschette Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks 10.4230/LIPIcs.TIME.2017.5
• Laura Bozzelli, Aniello Murano, Giuseppe Perelli, and Loredana Sorrentino Hierarchical Cost-Parity Games 10.4230/LIPIcs.TIME.2017.6
• Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, and Benjamin Monmege Timed-Automata-Based Verification of MITL over Signals 10.4230/LIPIcs.TIME.2017.7
• Massimo Cairo and Romeo Rizzi Dynamic Controllability Made Simple 10.4230/LIPIcs.TIME.2017.8
• Massimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato, Romeo Rizzi, and Matteo Zavatteri Incorporating Decision Nodes into Conditional Simple Temporal Networks 10.4230/LIPIcs.TIME.2017.9
• Massimo Cairo, Luke Hunsberger, Roberto Posenato, and Romeo Rizzi A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results 10.4230/LIPIcs.TIME.2017.10
• Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, and Guido Sciavicco Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking 10.4230/LIPIcs.TIME.2017.11
• Mathias Etcheverry and Dina Wonsever Time Expressions Recognition with Word Vectors and Neural Networks 10.4230/LIPIcs.TIME.2017.12
• Gilles Geeraerts, Eythan Levy, and Frédéric Pluquet Models and Algorithms for Chronology 10.4230/LIPIcs.TIME.2017.13
• Valentin Goranko, Antti Kuusisto, and Raine Rönnholm CTL with Finitely Bounded Semantics 10.4230/LIPIcs.TIME.2017.14
• Fabio Grandi, Federica Mandreoli, Riccardo Martoglia, and Wilma Penzo A Relational Algebra for Streaming Tables Living in a Temporal Database World 10.4230/LIPIcs.TIME.2017.15
• Michael Grüninger and Zhuojun Li The Time Ontology of Allen's Interval Algebra 10.4230/LIPIcs.TIME.2017.16
• Daniel Kernberger and Martin Lange The Fully Hybrid mu-Calculus 10.4230/LIPIcs.TIME.2017.17
• Marie Kiermeier and Martin Werner Similarity Search for Spatial Trajectories Using Online Lower Bounding DTW and Presorting Strategies 10.4230/LIPIcs.TIME.2017.18
• Michael Sioutis, Anastasia Paparrizou, and Jean-François Condotta Collective Singleton-Based Consistency for Qualitative Constraint Networks 10.4230/LIPIcs.TIME.2017.19
• Etienne Thuillier, Laurent Moalic, and Alexandre Caminada Dynamic Purpose Decomposition of Mobility Flows Based on Geographical Data 10.4230/LIPIcs.TIME.2017.20
• Panagiotis Vasilikos, Flemming Nielson, and Hanne Riis Nielson Time Dependent Policy-Based Access Control 10.4230/LIPIcs.TIME.2017.21
• Przemyslaw Andrzej Walega On Expressiveness of Halpern-Shoham Logic and its Horn Fragments 10.4230/LIPIcs.TIME.2017.22
• Matteo Zavatteri Conditional Simple Temporal Networks with Uncertainty and Decisions 10.4230/LIPIcs.TIME.2017.23