| 2010 | Towards Temporal Controllabilities for Workflow Schemata. | Carlo Combi, Roberto Posenato |
| 2010 | A Decidable Spatial Generalization of Metric Interval Temporal Logic. | Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2010 | Bounded Reachability for Temporal Logic over Constraint Systems. | Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro |
| 2010 | Real Time Properties for Interrupt Timed Automata. | Batrice Brard, Serge Haddad, Mathieu Sassolas |
| 2010 | Analysis of Timed Recursive State Machines. | Massimo Benerecetti, Stefano Minopoli, Adriano Peron |
| 2010 | Ontology Based Spatial Planning for Human-Robot Interaction. | Lamia Belouaer, Maroua Bouzid, Abdel-Illah Mouaddib |
| 2010 | Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints. | Philippe Balbiani |
| 2010 | A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata. | Sandie Balaguer, Thomas Chatain, Stefan Haar |
| 2010 | Valid-Time Indeterminacy in Temporal Relational Databases: A Family of Data Models. | Luca Anselma, Paolo Terenziani, Richard T. Snodgrass |
| 2009 | Event-Oriented Data Models and Temporal Queries in Transaction-Time Databases. | Carlo Zaniolo |
| 2009 | Strong Temporal, Weak Spatial Logic for Rule Based Filters. | Roger Villemaire, Sylvain Hall |
| 2009 | Interval Algebra Networks with Infinite Intervals. | Andr Trudel |
| 2009 | Preserving Anonymity of Recurrent Location-Based Queries. | Daniele Riboni, Linda Pareschi, Claudio Bettini, Sushil Jajodia |
| 2009 | Dense Time Reasoning via Mosaics. | Mark Reynolds |
| 2009 | Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. | Szabolcs Mikuls, Mark Reynolds, Tim French |
| 2009 | On the Expressivity of RoCTL*. | John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat |
| 2009 | Resolution-Based Model Construction for PLTL. | Michel Ludwig, Ullrich Hustadt |
| 2009 | Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies. | Luke Hunsberger |
| 2009 | Timed Contact Algebras. | Ivo Dntsch, Michael Winter |
| 2009 | Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL. | Catalin Dima |
| 2009 | Building Logical Specifications of Temporal Granularities through Algebraic Operators. | Carlo Combi, Sara Degani |
| 2009 | Temporal Relations with Signals: The Case of Italian Temporal Prepositions. | Tommaso Caselli, Felice Dell'Orletta, Irina Prodanof |
| 2009 | On First-Order Query Rewriting for Incomplete Database Histories. | Vronique Bruyre, Alexandre Decan, Jef Wijsen |
| 2009 | Undecidability of Interval Temporal Logics with the Overlap Modality. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2009 | Model Checking CTL is Almost Always Inherently Sequential. | Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer, Martin Mundhenk, Thomas Schneider |