Abstract is missing.
- Regular Linear-Time Temporal LogicMartin Leucker, César Sánchez. 3-5 [doi]
- Interval Temporal Logics with Chop-Like OperatorsIan Hodkinson. 6 [doi]
- Dealing with Uncertainty in Trajectory DatabasesBart Kuijpers. 7-8 [doi]
- CTL-Like Fragments of a Temporal Logic of RobustnessJohn Christopher McCabe-Dansted, Clare Dixon. 11-18 [doi]
- Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without EndpointsPhilippe Balbiani. 19-26 [doi]
- Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear OrdersAngelo Montanari, Ian Pratt-Hartmann, Pietro Sala. 27-34 [doi]
- Conflict-Tolerant Real-Time Specifications in Metric Temporal LogicSumesh Divakaran, Deepak D Souza, M. Raj Mohan. 35-42 [doi]
- Bounded Reachability for Temporal Logic over Constraint SystemsMarcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro. 43-50 [doi]
- Counting LTLFrançois Laroussinie, Antoine Meyer, Eudes Petonnet. 51-58 [doi]
- Analysis of Timed Recursive State MachinesMassimo Benerecetti, Stefano Minopoli, Adriano Peron. 61-68 [doi]
- Real Time Properties for Interrupt Timed AutomataBéatrice Bérard, Serge Haddad, Mathieu Sassolas. 69-76 [doi]
- A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed AutomataSandie Balaguer, Thomas Chatain, Stefan Haar. 77-84 [doi]
- Allen s Hourglass: Probabilistic Treatment of Interval RelationsSergios Petridis, Georgios Paliouras, Stavros J. Perantonis. 87-94 [doi]
- A Decidable Spatial Generalization of Metric Interval Temporal LogicDavide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco. 95-102 [doi]
- Ontology Based Spatial Planning for Human-Robot InteractionLamia Belouaer, Maroua Bouzid, Abdel-Illah Mouaddib. 103-110 [doi]
- Solving Temporally-Cyclic Planning ProblemsMartin C. Cooper, Frederic Maris, Pierre Régnier. 113-120 [doi]
- A Fast Incremental Algorithm for Managing the Execution of Dynamically Controllable Temporal NetworksLuke Hunsberger. 121-128 [doi]
- Towards Temporal Controllabilities for Workflow SchemataCarlo Combi, Roberto Posenato. 129-136 [doi]
- Valid-Time Indeterminacy in Temporal Relational Databases: A Family of Data ModelsLuca Anselma, Paolo Terenziani, Richard T. Snodgrass. 139-145 [doi]
- Multi-granular Time-Based Sliding Windows over Data StreamsKostas Patroumpas, Timos K. Sellis. 146-153 [doi]
- Local Polynomial Regression Models for Average Traffic Speed Estimation and Forecasting in Linear Constraint DatabasesHang Yue, Elizabeth G. Jones, Peter Z. Revesz. 154-161 [doi]