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
|
