TIME 2016

23rd International Symposium on Temporal Representation and Reasoning

October 17-19, 2016, Technical University of Denmark

TIME 2016 Home
Accepted Papers
Call for papers
Important Dates
Invited Speakers
- Monday
- Tuesday
- Wednesday


Background of TIME

Wonderful Copenhagen

Accepted papers

  • S. Akshay, Loic Helouet and Ramchndra Phawade.
    Combining Free Choice and Time in Petri Nets

  • Etienne Andre and Benoit Delahaye.
    Consistency in Parametric Interval Probabilistic Timed Automata

  • Zouhaier Brahmia, Fabio Grandi and Rafik Bouaziz.
    tauXUF: A Temporal Extension of the XQuery Update Facility Language for the tauXSchema Framework

  • Davide Bresolin, Emilio Muñoz-Velasco and Guido Sciavicco.
    On the Complexity of Fragments of Horn Modal Logics

  • Massimo Cairo, Carlo Comin and Romeo Rizzi.
    Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks

  • Massimo Cairo and Romeo Rizzi.
    Dynamic Controllability of Conditional Simple Temporal Networks is PSPACE-complete

  • Jan Chomicki and Jef Wijsen.
    Consistent Query Answering for Atemporal Constraints over Temporal Databases

  • Curtis Dyreson and Venkata A. Rani.
    Translating Temporal SQL to Nested SQL

  • Raphaël Fournier-S'niehotta, Philippe Rigaux and Nicolas Travers.
    Querying Music Notation

  • Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer and Andrea Orlandini.
    Timelines are Expressive Enough to Capture Action-Based Temporal Planning

  • Valentin Goranko and Louwe B. Kuijer.
    On the length and depth of temporal formulae distinguishing non-bisimilar transition systems

  • Runa Gulliksson and John J. Camilleri.
    A Domain-Specific Language for Normative Texts with Timing Constraints

  • Christian Herrera and Bernd Westphal.
    The Model Checking Problem in Networks with Quasi-Equal Clocks

  • David Jakobsen and Peter Øhrstrøm.
    Conceptual and Metaphysical Origins and Relevance of Temporal Logic

  • Daniel Kernberger and Martin Lange.
    Model Checking for the Full Hybrid Computation Tree Logic

  • John McCabe-Dansted, Mark Reynolds and Tim French.
    Modelling Systems over General Linear Time

  • Yong Li, Lei Song, Yuan Feng and Lijun Zhang.
    Verify LTL with Fairness Assumptions Efficiently

  • Shota Matsumoto and Kazunori Ueda.
    Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic

  • Mahmoud A. A. Mousa, Sven Schewe and Dominik Wojtczak.
    Optimal Control for Simple Linear Hybrid System

  • Raúl Pardo, Ivana Kellyérová César Sánchez and Gerardo Schneider.
    Specification of Evolving Privacy Policies for Online Social Networks

  • Mattias Tiger and Fredrik Heintz.
    Stream Reasoning using Temporal Logic and Predictive Probabilistic State Models
                    time2016.compute.dtu.dk | email: time2016(at)compute.dtu.dk | DTU Compute, 2016