| 2015 | 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015 Fabio Grandi, Martin Lange, Alessio Lomuscio |
| 2015 | A Sound-and-Complete Propagation-Based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks. Luke Hunsberger, Roberto Posenato, Carlo Combi |
| 2015 | A Team Based Variant of CTL. Andreas Krebs, Arne Meier, Jonni Virtema |
| 2015 | An Executable Semantics of Flexible Plans in Terms of Timed Game Automata. Marta Cialdea Mayer, Andrea Orlandini |
| 2015 | Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2015 | Decidability via Mosaics for Bundled Ockhamist Logic. Alberto Gatto |
| 2015 | Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking. Carlo Comin, Romeo Rizzi |
| 2015 | Fast Feature Extraction for Time Series Analysis Using Least-Squares Approximations with Orthogonal Basis Functions. Andre Gensler, Thiemo Gruber, Bernhard Sick |
| 2015 | Generalizing Allen's Theory of Time to Tree-Like Structures. Salih Durhan, Guido Sciavicco |
| 2015 | Global Caching for the Flat Coalgebraic µ-Calculus. Daniel Hausmann, Lutz Schröder |
| 2015 | Historical Queries on Wikipedia: A Usability-Driven Approach. Carlo Zaniolo |
| 2015 | LTL Fragments are Hard for Standard Parameterisations. Martin Lück, Arne Meier |
| 2015 | On the Counting of Strategies. Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino |
| 2015 | Reachability Games on Recursive Hybrid Automata. Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi |
| 2015 | Semantic Vacuity. Grgur Petric Maretic, Muhammad Torabi Dashti, David A. Basin |
| 2015 | Temporal Aspects of Big Data Management: State-of-the-Art Analysis and Future Research Directions. Alfredo Cuzzocrea |
| 2015 | Temporal Reasoning in Bounded Situation Calculus. Giuseppe De Giacomo |
| 2015 | The Model Checking Fingerprints of CTL Operators. Andreas Krebs, Arne Meier, Martin Mundhenk |
| 2015 | The Price of Evolution in Temporal Databases. Carlo Combi, Romeo Rizzi, Pietro Sala |
| 2015 | Towards Formal Verification of Distributed Algorithms. Benedikt Bollig |
| 2015 | Undecidability of Chop. Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco |
| 2015 | Unifying Sequenced and Non-sequenced Semantics. Curtis E. Dyreson, Venkata A. Rani, Amani M. Shatnawi |