| 2010 | A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata. Sandie Balaguer, Thomas Chatain, Stefan Haar |
| 2010 | A Decidable Spatial Generalization of Metric Interval Temporal Logic. Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2010 | A Fast Incremental Algorithm for Managing the Execution of Dynamically Controllable Temporal Networks. Luke Hunsberger |
| 2010 | Allen's Hourglass: Probabilistic Treatment of Interval Relations. Sergios Petridis, Georgios Paliouras, Stavros J. Perantonis |
| 2010 | Analysis of Timed Recursive State Machines. Massimo Benerecetti, Stefano Minopoli, Adriano Peron |
| 2010 | Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints. Philippe Balbiani |
| 2010 | Bounded Reachability for Temporal Logic over Constraint Systems. Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro |
| 2010 | CTL-Like Fragments of a Temporal Logic of Robustness. John Christopher McCabe-Dansted, Clare Dixon |
| 2010 | Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic. Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan |
| 2010 | Counting LTL. François Laroussinie, Antoine Meyer, Eudes Petonnet |
| 2010 | Dealing with Uncertainty in Trajectory Databases. Bart Kuijpers |
| 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 | Interval Temporal Logics with Chop-Like Operators. Ian M. Hodkinson |
| 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 | Multi-granular Time-Based Sliding Windows over Data Streams. Kostas Patroumpas, Timos K. Sellis |
| 2010 | Ontology Based Spatial Planning for Human-Robot Interaction. Lamia Belouaer, Maroua Bouzid, Abdel-Illah Mouaddib |
| 2010 | Real Time Properties for Interrupt Timed Automata. Béatrice Bérard, Serge Haddad, Mathieu Sassolas |
| 2010 | Regular Linear-Time Temporal Logic. Martin Leucker, César Sánchez |
| 2010 | Solving Temporally-Cyclic Planning Problems. Martin C. Cooper, Frederic Maris, Pierre Régnier |
| 2010 | TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010 Nicolas Markey, Jef Wijsen |
| 2010 | Towards Temporal Controllabilities for Workflow Schemata. Carlo Combi, Roberto Posenato |
| 2010 | Valid-Time Indeterminacy in Temporal Relational Databases: A Family of Data Models. Luca Anselma, Paolo Terenziani, Richard T. Snodgrass |