Abstract is missing.
- Dynamic Controllability Made SimpleMassimo Cairo, Romeo Rizzi. [doi]
- Front Matter, Table of Contents, Preface, Organization, List of Authors [doi]
- Evaluation of Temporal Datasets via Interval Temporal Logic Model CheckingDario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco. [doi]
- The Fully Hybrid mu-CalculusDaniel Kernberger, Martin Lange 0001. [doi]
- Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk)Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev. [doi]
- Timed-Automata-Based Verification of MITL over SignalsThomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege. [doi]
- Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene NetworksJonathan Behaegel, Jean-Paul Comet, Maxime Folschette. [doi]
- Time Dependent Policy-Based Access ControlPanagiotis Vasilikos, Flemming Nielson, Hanne Riis Nielson. [doi]
- A Relational Algebra for Streaming Tables Living in a Temporal Database WorldFabio Grandi, Federica Mandreoli, Riccardo Martoglia, Wilma Penzo. [doi]
- Dynamic Purpose Decomposition of Mobility Flows Based on Geographical DataEtienne Thuillier, Laurent Moalic, Alexandre Caminada. [doi]
- Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk)Javier Esparza. [doi]
- On Expressiveness of Halpern-Shoham Logic and its Horn FragmentsPrzemyslaw Andrzej Walega. [doi]
- Models and Algorithms for ChronologyGilles Geeraerts, Eythan Levy, Frédéric Pluquet. [doi]
- Conditional Simple Temporal Networks with Uncertainty and DecisionsMatteo Zavatteri. [doi]
- Time Expressions Recognition with Word Vectors and Neural NetworksMathías Etcheverry, Dina Wonsever. [doi]
- The Time Ontology of Allen's Interval AlgebraMichael Grüninger, Zhuojun Li. [doi]
- A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence ResultsMassimo Cairo, Luke Hunsberger, Roberto Posenato, Romeo Rizzi. [doi]
- Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk)Sheila A. McIlraith. [doi]
- Incorporating Decision Nodes into Conditional Simple Temporal NetworksMassimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato, Romeo Rizzi, Matteo Zavatteri. [doi]
- Collective Singleton-Based Consistency for Qualitative Constraint NetworksMichael Sioutis, Anastasia Paparrizou, Jean-François Condotta. [doi]
- CTL with Finitely Bounded SemanticsValentin Goranko, Antti Kuusisto, Raine Rönnholm. [doi]
- Similarity Search for Spatial Trajectories Using Online Lower Bounding DTW and Presorting StrategiesMarie Kiermeier, Martin Werner. [doi]
- Possible and Certain Answers for Queries over Order-Incomplete DataAntoine Amarilli, Mouhamadou Lamine Ba, Daniel Deutch, Pierre Senellart. [doi]
- Hierarchical Cost-Parity GamesLaura Bozzelli, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino. [doi]