| 2015 | Temporal Reasoning in Bounded Situation Calculus. | Giuseppe De Giacomo |
| 2015 | Fast Feature Extraction for Time Series Analysis Using Least-Squares Approximations with Orthogonal Basis Functions. | Andre Gensler, Thiemo Gruber, Bernhard Sick |
| 2015 | Decidability via Mosaics for Bundled Ockhamist Logic. | Alberto Gatto |
| 2015 | Unifying Sequenced and Non-sequenced Semantics. | Curtis E. Dyreson, Venkata A. Rani, Amani M. Shatnawi |
| 2015 | Generalizing Allen's Theory of Time to Tree-Like Structures. | Salih Durhan, Guido Sciavicco |
| 2015 | Temporal Aspects of Big Data Management: State-of-the-Art Analysis and Future Research Directions. | Alfredo Cuzzocrea |
| 2015 | Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking. | Carlo Comin, Romeo Rizzi |
| 2015 | The Price of Evolution in Temporal Databases. | Carlo Combi, Romeo Rizzi, Pietro Sala |
| 2015 | Towards Formal Verification of Distributed Algorithms. | Benedikt Bollig |
| 2014 | Summarizability in Multiversion Data Warehouse. | Ins Zouari Turki, Faiza Ghozzi Jedidi, Rafik Bouaziz |
| 2014 | Parametrized Verification Diagrams. | Alejandro Snchez, Csar Snchez |
| 2014 | Approximate Interval-Based Temporal Dependencies: The Complexity Landscape. | Pietro Sala |
| 2014 | Incremental Dynamic Controllability in Cubic Worst-Case Time. | Mikael Nilsson, Jonas Kvarnstrm, Patrick Doherty |
| 2014 | Metric Propositional Neighborhood Logic with an Equivalence Relation. | Angelo Montanari, Marco Pazzaglia, Pietro Sala |
| 2014 | Checking Interval Properties of Computations. | Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron |
| 2014 | Fairness with EXPTIME Bundled CTL Tableau. | John Christopher McCabe-Dansted, Mark Reynolds |
| 2014 | Verification of Rewrite Rules for Computation Tree Logics. | John Christopher McCabe-Dansted, Mark Reynolds |
| 2014 | A Formal Account of Planning with Flexible Timelines. | Marta Cialdea Mayer, Andrea Orlandini, Alessandro Umbrico |
| 2014 | Partially Punctual Metric Temporal Logic is Decidable. | Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya |
| 2014 | Advances in Symbolic Model Checking for Multi-agent Systems. | Alessio R. Lomuscio |
| 2014 | Quantitative Verification in Rational Environments. | Anshul Gupta, Sven Schewe |
| 2014 | Lean Index Structures for Snapshot Access in Transaction-Time Databases. | Fabio Grandi |
| 2014 | Bounded Variability of Metric Temporal Logic. | Carlo A. Furia, Paola Spoletini |
| 2014 | A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games. | Carlo Comin, Roberto Posenato, Romeo Rizzi |
| 2014 | Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation. | Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri |