Abstract is missing.
- Dense Time Reasoning via MosaicsMark Reynolds. 3-10 [doi]
- The AXML Artifact ModelSerge Abiteboul, Pierre Bourhis, Alban Galland, Bogdan Marinoiu. 11-17 [doi]
- Model Checking CTL is Almost Always Inherently SequentialOlaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer, Martin Mundhenk, Thomas Schneider. 21-28 [doi]
- Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTLCatalin Dima. 29-36 [doi]
- On the Expressivity of RoCTL*John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat. 37-44 [doi]
- Event-Oriented Data Models and Temporal Queries in Transaction-Time DatabasesCarlo Zaniolo. 47-53 [doi]
- On First-Order Query Rewriting for Incomplete Database HistoriesVéronique Bruyère, Alexandre Decan, Jef Wijsen. 54-61 [doi]
- Preserving Anonymity of Recurrent Location-Based QueriesDaniele Riboni, Linda Pareschi, Claudio Bettini, Sushil Jajodia. 62-69 [doi]
- Resolution-Based Model Construction for PLTLMichel Ludwig, Ullrich Hustadt. 73-80 [doi]
- Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear TimeSzabolcs Mikulás, Mark Reynolds, Tim French. 81-87 [doi]
- Undecidability of Interval Temporal Logics with the Overlap ModalityDavide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco. 88-95 [doi]
- Simple Algorithm for Simple Timed GamesYasmina Abdeddaïm, Eugene Asarin, Mihaela Sighireanu. 99-106 [doi]
- Building Logical Specifications of Temporal Granularities through Algebraic OperatorsCarlo Combi, Sara Degani. 107-114 [doi]
- Strong Temporal, Weak Spatial Logic for Rule Based FiltersRoger Villemaire, Sylvain Hallé. 115-121 [doi]
- Temporal Relations with Signals: The Case of Italian Temporal PrepositionsTommaso Caselli, Felice Dell Orletta, Irina Prodanof. 125-132 [doi]
- Timed Contact AlgebrasIvo Düntsch, Michael Winter. 133-138 [doi]
- Interval Algebra Networks with Infinite IntervalsAndré Trudel. 141-146 [doi]
- Classical and Fuzzy Neighborhood Relations of the Temporal Qualitative AlgebraSilvana Badaloni, Marco Falda. 147-154 [doi]
- Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution StrategiesLuke Hunsberger. 155-162 [doi]