| 2014 | High-Level Operations for Creation and Maintenance of Temporal and Conventional Schema in the tauXSchema Framework. | Zouhaier Brahmia, Fabio Grandi, Barbara Oliboni, Rafik Bouaziz |
| 2014 | A Framework for Managing Temporal Dimensions in Archaeological Data. | Alberto Belussi, Sara Migliorini |
| 2014 | Formal Methods for Dynamical Systems. | Calin Belta |
| 2013 | Spatio-temporal Competition for Transportation Resources. | Ouri Wolfson |
| 2013 | Extracting Unsatisfiable Cores for LTL via Temporal Resolution. | Viktor Schuppan |
| 2013 | Optimal Design of Consistent Simple Temporal Networks. | Romeo Rizzi, Roberto Posenato |
| 2013 | A New Metric Temporal Logic for Hybrid Systems. | Mark Reynolds |
| 2013 | LTL Satisfiability Checking Revisited. | Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He |
| 2013 | A New Approach to Abstract Reachability State Space of Time Petri Nets. | Kais Klai, Naim Aber, Laure Petrucci |
| 2013 | A Faster Execution Algorithm for Dynamically Controllable STNUs. | Luke Hunsberger |
| 2013 | Complexity of Model Checking over General Linear Time. | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2013 | An Algebraic System of Temporal Structures. | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2013 | Event Algebra for Transition Systems Composition - Application to Timed Automata. | Elie Fares, Jean-Paul Bodeveix, Mamoun Filali |
| 2013 | Relaxation of Temporal Planning Problems. | Martin C. Cooper, Frederic Maris, Pierre Rgnier |
| 2013 | Minimal Consistency Problem of Temporal Qualitative Constraint Networks. | Jean-Franois Condotta, Souhila Kaci |
| 2013 | Making Time Just Another Axis in Geospatial Services. | Piero Campalani, Dimitar Misev, Alan Beccati, Peter Baumann |
| 2013 | A Labeled Deduction System for the Logic UB. | Carlos Caleiro, Luca Vigan, Marco Volpe |
| 2013 | Incremental, Inductive Model Checking. | Aaron R. Bradley |
| 2013 | A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic. | Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro |
| 2013 | Rethinking Logics of Action and Time. | James F. Allen |
| 2013 | A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2012 | Spatio-temporal Data Warehouses and Mobility Data: Current Status and Research Issues. | Esteban Zimnyi |
| 2012 | Modeling and Clustering Users with Evolving Profiles in Usage Streams. | Chongsheng Zhang, Florent Masseglia, Xiangliang Zhang |
| 2012 | TVICS: An Efficient Traffic Video Information Converting System. | Hang Yue, Peter Z. Revesz |
| 2012 | Efficient Regular Linear Temporal Logic Using Dualization and Stratification. | Csar Snchez, Julin Samborski-Forlese |