Author Kit for final versions

Accepted papers

  • Jean-François Condotta and Souhila Kaci
    • Minimal Consistency Problem of Temporal Qualitative Constraint Networks
  • Romeo Rizzi and Roberto Posenato
    • Optimal Design of Consistent Simple Temporal Networks
  • Luke Hunsberger
    • A Faster Execution Algorithm for Dynamically Controllable Simple Temporal Networks with Uncertainty
  • Martin Cooper, Frédéric Maris and Pierre Régnier
    • Relaxation of Temporal Planning Problems
  • Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Vardi and Jifeng He
    • LTL Satisfiability Checking Revisited
  • Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari and Guido Sciavicco
    • A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders
  • Carlos Caleiro, Luca Viganò and Marco Volpe
    • A Labeled Deduction System for the Logic UB
  • Viktor Schuppan
    • Extracting Unsatisfiable Cores for LTL via Temporal Resolution
  • Mark Reynolds
    • A New Metric Temporal Logic for Hybrid Systems
  • Tim French, John Mccabe-Dansted and Mark Reynolds
    • An algebraic system for linear orders
  • Kais Klai, Naïm Aber and Laure Petrucci
    • A New Approach To Abstract Reachability State Space of Time Petri Nets
  • John Mccabe-Dansted, Mark Reynolds and Tim French
    • Model Checking for Compositional Models of General Linear Time is PSPACE-Complete
  • Marcello M. Bersani, Matteo Rossi and Pierluigi San Pietro
    • A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic
  • Elie Fares, Jean-Paul Bodeveix and Mamoun Filali-Amine
    • Event Algebra for Transition Systems Composition - Application to Timed Automata
  • Piero Campalani, Dimitar Misev, Alan Beccati and Peter
    • Baumann. Making Time Just Another Axis in Geospatial Services