Abstract is missing.
- Representing trends and trend dependencies with multiple granularitiesCarlo Combi, Rosalba Rossato. 3-10 [doi]
- Is There a Future for Deductive Temporal Verification?Clare Dixon, Michael Fisher, Boris Konev. 11-18 [doi]
- Automated Verification of Continuous Time Systems by Discrete Temporal InductionAngelo Gargantini, Angelo Morzenti. 19-26 [doi]
- CTL Model Checking for Labelled Tree QueriesSylvain Hallé, Roger Villemaire, Omar Cherkaoui. 27-35 [doi]
- A Decidable Temporal Logic for Events and StatesSavas Konur. 36-41 [doi]
- In time alone: on the computational power of querying the historyAlexei Lisitsa, Igor Potapov. 42-49 [doi]
- Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood LogicAntonio Morales, Guido Sciavicco. 50-60 [doi]
- Task Scheduling for a TemporalWorkflow Management SystemCarlo Combi, Giuseppe Pozzi. 61-68 [doi]
- Ultimately Periodic Simple Temporal Problems (UPSTPs)Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis. 69-77 [doi]
- A Generic Toolkit for n-ary Qualitative Temporal and Spatial CalculiJean-François Condotta, Mahmoud Saade, Gerard Ligozat. 78-86 [doi]
- An automaton-based approach to the verification of timed workflow schemasElisabetta De Maria, Angelo Montanari, Marco Zantoni. 87-94 [doi]
- Conditional and Composite Temporal Constraints with PreferencesMalek Mouhoub, Amrudee Sukpan. 95-102 [doi]
- Measuring, monitoring and controlling software maintenance effortsMarkus Zanker, Sergiu Gordea. 103-110 [doi]
- Efficient Heuristics for Solving Probabilistic Interval Algebra NetworksKai Zhang, André Trudel. 111-120 [doi]
- How Would You Like to Aggregate Your Temporal Data?Michael H. Böhlen, Johann Gamper, Christian S. Jensen. 121-136 [doi]
- Aggregation Estimation for 2D Moving PointsScot Anderson. 137-144 [doi]
- Adaptive Interpolation Algorithms for Temporal-Oriented DatasetsJun Gao. 145-151 [doi]
- Extracting Uncertain Temporal Relations from Mined Frequent SequencesFrancisco Guil, Roque Marín. 152-159 [doi]
- Formal Verification of an Optimistic Concurrency Control Algorithm using SPINAchraf Makni, Rafik Bouaziz, Faïez Gargouri. 160-167 [doi]
- A Spatiotemporal Database for Ozone in the Conterminous U.SLixin Li, Xingyou Zhang, Reinhard Piltner. 168-176 [doi]
- k-Anonymity in Databases with Timestamped DataSergio Mascetti, Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia. 177-186 [doi]
- Processes as Continuants (Abstract)Antony Galton. 187 [doi]
- Task-Oriented Extraction of Temporal Information: The Case of Clinical NarrativesRobert J. Gaizauskas, Henk Harkema, Mark Hepple, Andrea Setzer. 188-195 [doi]
- From Language to Time: A Temporal Expression AnchorerBenjamin Han, Donna Gates, Lori S. Levin. 196-203 [doi]
- DyST: Dynamic and Scalable Temporal Text IndexingKjetil Nørvåg, Albert Overskeid Nybø. 204-211 [doi]
- Temporal Arithmetic Mixing Months and DaysFeng Pan, Jerry R. Hobbs. 212-217 [doi]
- Automatic resolution rule assignment to multilingual Temporal Expressions using annotated corporaEstela Saquete, Patricio Martínez-Barco, Rafael Muñoz, Matteo Negri, Manuela Speranza, Renzo Sprugnoli. 218-224 [doi]