Abstract is missing.
- p-Automata and Obligation GamesNir Piterman. 3-6 [doi]
- Extending ITL with Interleaved Programs for Interactive VerificationGerhard Schellhorn. 7 [doi]
- Temporal PreferencesKristen Brent Venable. 8-9 [doi]
- Towards a Foundation of Data CurrencyJef Wijsen. 10-11 [doi]
- Efficient Encoding of Temporal XML DocumentsMohamed Amine Baazizi, Nicole Bidoit-Tollu, Dario Colazzo. 15-22 [doi]
- Temporal Functional Dependencies Based on Interval RelationsCarlo Combi, Pietro Sala. 23-30 [doi]
- Verification of Time Ontologies with Points and IntervalsMichael Grüninger, Darren Ong. 31-38 [doi]
- A Tableau for Until and Since over Linear TimeMark Reynolds. 41-48 [doi]
- An Experimental Comparison of Theorem Provers for CTLRajeev Goré, Jimmy Thomson, Florian Widmann. 49-56 [doi]
- Temporal Access to the Iteration Sequences: A Unifying Approach to Fixed Point LogicsAlexei Lisitsa. 57-63 [doi]
- Synthesising Classic and Interval Temporal LogicSven Schewe, Cong Tian. 64-71 [doi]
- On Relaxing Metric Information in Linear Temporal LogicCarlo A. Furia, Paola Spoletini. 72-79 [doi]
- Linear Temporal Logic and Propositional Schemata, Back and ForthVincent Aravantinos, Ricardo Caferra, Nicolas Peltier. 80-87 [doi]
- Monitoring Usage-Control Policies in Distributed SystemsDavid A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu. 88-95 [doi]
- Interleaved Programs and Rely-Guarantee Reasoning with ITLGerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif. 99-106 [doi]
- Compositional Reasoning Using Intervals and Time ReversalBen C. Moszkowski. 107-114 [doi]
- On Tool Support for Duration Calculus on the Basis of Presburger ArithmeticMichael R. Hansen, Aske Wiid Brekling. 115-122 [doi]
- The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDTDavide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco. 123-130 [doi]
- The Dark Side of Interval Temporal Logic: Sharpening the Undecidability BorderDavide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. 131-138 [doi]
- Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSLRégis Gascon, Frédéric Mallet, Julien DeAntoni. 141-148 [doi]
- Consistency of Qualitative Constraint Networks from Tree DecompositionsJean-François Condotta, Dominique D'Almeida. 149-156 [doi]
- Algorithm Design Template Base on Temporal ADTNikolay V. Shilov. 157-162 [doi]
- MulTiSEX - A Multi-language Timex Sequential ExtractorStefan Rigo, Alberto Lavelli. 163-170 [doi]