Abstract is missing.
- Undecidability and Temporal Logic: Some Landmarks from Turing to the PresentValentin Goranko. 3-4 [doi]
- Reasoning about Plan Revision in Agent ProgramsNatasha Alechina. 5 [doi]
- Spatio-temporal Data Warehouses and Mobility Data: Current Status and Research IssuesEsteban Zimányi. 6-9 [doi]
- Efficient Regular Linear Temporal Logic Using Dualization and StratificationCésar Sánchez, Julián Samborski-Forlese. 13-20 [doi]
- Symmetric Temporal Theorem ProvingAmir Niknafs-Kermani, Boris Konev, Michael Fisher. 21-28 [doi]
- A Tableau for the Combination of CTL and BCTL*John Christopher McCabe-Dansted. 29-36 [doi]
- An Optimal Tableau System for the Logic of Temporal Neighborhood over the RealsAngelo Montanari, Pietro Sala. 39-46 [doi]
- An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear OrdersWillem Conradie, Salih Durhan, Guido Sciavicco. 47-54 [doi]
- Compositional Refinement for Real-Time Systems with PrioritiesAbdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali. 57-64 [doi]
- Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAALOmar I. Al-Bataineh, Tim French, Terry Woodings. 65-72 [doi]
- Robustness Analysis for Scheduling Problems Using the Inverse MethodLaurent Fribourg, Romain Soulat, David Lesens, Pierre Moro. 73-80 [doi]
- A Metric Temporal Logic for Dealing with Zero-Time TransitionsLuca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi. 81-88 [doi]
- Automata-based Verification of Linear Temporal Logic Models with Bounded VariabilityCarlo A. Furia, Paola Spoletini. 89-96 [doi]
- Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint SatisfactionHubie Chen, Michal Wrona. 99-106 [doi]
- Merging Temporal AnnotationsHector Llorens, Naushad UzZaman, James F. Allen. 107-113 [doi]
- A Review on Temporal Reasoning Using Support Vector MachinesRenata C. B. Madeo, Clodoaldo Ap. M. Lima, Sarajane Marques Peres. 114-121 [doi]
- Temporal Implications of Database Information AccountabilityKyriacos E. Pavlou, Richard T. Snodgrass. 125-132 [doi]
- Modeling and Clustering Users with Evolving Profiles in Usage StreamsChongsheng Zhang, Florent Masseglia, Xiangliang Zhang. 133-140 [doi]
- TVICS: An Efficient Traffic Video Information Converting SystemHang Yue, Peter Z. Revesz. 141-148 [doi]