| 2014 | 21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014 Amedeo Cesta, Carlo Combi, François Laroussinie |
| 2014 | A Formal Account of Planning with Flexible Timelines. Marta Cialdea Mayer, Andrea Orlandini, Alessandro Umbrico |
| 2014 | A Framework for Managing Temporal Dimensions in Archaeological Data. Alberto Belussi, Sara Migliorini |
| 2014 | A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games. Carlo Comin, Roberto Posenato, Romeo Rizzi |
| 2014 | Advances in Symbolic Model Checking for Multi-agent Systems. Alessio R. Lomuscio |
| 2014 | Approximate Interval-Based Temporal Dependencies: The Complexity Landscape. Pietro Sala |
| 2014 | Bounded Variability of Metric Temporal Logic. Carlo A. Furia, Paola Spoletini |
| 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 | Formal Methods for Dynamical Systems. Calin Belta |
| 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 | Incremental Dynamic Controllability in Cubic Worst-Case Time. Mikael Nilsson, Jonas Kvarnström, Patrick Doherty |
| 2014 | Lean Index Structures for Snapshot Access in Transaction-Time Databases. Fabio Grandi |
| 2014 | Metric Propositional Neighborhood Logic with an Equivalence Relation. Angelo Montanari, Marco Pazzaglia, Pietro Sala |
| 2014 | Parametrized Verification Diagrams. Alejandro Sánchez, César Sánchez |
| 2014 | Partially Punctual Metric Temporal Logic is Decidable. Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya |
| 2014 | Quantitative Verification in Rational Environments. Anshul Gupta, Sven Schewe |
| 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 |
| 2014 | Summarizability in Multiversion Data Warehouse. Inès Zouari Turki, Faiza Ghozzi Jedidi, Rafik Bouaziz |
| 2014 | Verification of Rewrite Rules for Computation Tree Logics. John Christopher McCabe-Dansted, Mark Reynolds |