| 2011 | Temporal Access to the Iteration Sequences: A Unifying Approach to Fixed Point Logics. | Alexei Lisitsa |
| 2011 | On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. | Michael R. Hansen, Aske Wiid Brekling |
| 2011 | Verification of Time Ontologies with Points and Intervals. | Michael Grninger, Darren Ong |
| 2011 | An Experimental Comparison of Theorem Provers for CTL. | Rajeev Gor, Jimmy Thomson, Florian Widmann |
| 2011 | Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. | Rgis Gascon, Frdric Mallet, Julien Deantoni |
| 2011 | On Relaxing Metric Information in Linear Temporal Logic. | Carlo A. Furia, Paola Spoletini |
| 2011 | Consistency of Qualitative Constraint Networks from Tree Decompositions. | Jean-Franois Condotta, Dominique D'Almeida |
| 2011 | Temporal Functional Dependencies Based on Interval Relations. | Carlo Combi, Pietro Sala |
| 2011 | The Light Side of Interval Temporal Logic: The Bernays-Schnfinkel's Fragment of CDT. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2011 | The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2011 | Monitoring Usage-Control Policies in Distributed Systems. | David A. Basin, Mats Harvan, Felix Klaedtke, Eugen Zalinescu |
| 2011 | Efficient Encoding of Temporal XML Documents. | Mohamed-Amine Baazizi, Nicole Bidoit-Tollu, Dario Colazzo |
| 2011 | Linear Temporal Logic and Propositional Schemata, Back and Forth. | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
| 2010 | Local Polynomial Regression Models for Average Traffic Speed Estimation and Forecasting in Linear Constraint Databases. | Hang Yue, Elizabeth G. Jones, Peter Z. Revesz |
| 2010 | Allen's Hourglass: Probabilistic Treatment of Interval Relations. | Sergios Petridis, Georgios Paliouras, Stavros J. Perantonis |
| 2010 | Multi-granular Time-Based Sliding Windows over Data Streams. | Kostas Patroumpas, Timos K. Sellis |
| 2010 | Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders. | Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala |
| 2010 | CTL-Like Fragments of a Temporal Logic of Robustness. | John Christopher McCabe-Dansted, Clare Dixon |
| 2010 | Regular Linear-Time Temporal Logic. | Martin Leucker, Csar Snchez |
| 2010 | Counting LTL. | Franois Laroussinie, Antoine Meyer, Eudes Petonnet |
| 2010 | Dealing with Uncertainty in Trajectory Databases. | Bart Kuijpers |
| 2010 | A Fast Incremental Algorithm for Managing the Execution of Dynamically Controllable Temporal Networks. | Luke Hunsberger |
| 2010 | Interval Temporal Logics with Chop-Like Operators. | Ian M. Hodkinson |
| 2010 | Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic. | Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan |
| 2010 | Solving Temporally-Cyclic Planning Problems. | Martin C. Cooper, Frederic Maris, Pierre Rgnier |