Abstract is missing.
- Formal Methods for Dynamical SystemsCalin Belta. 3 [doi]
- Advances in Symbolic Model Checking for Multi-agent SystemsAlessio R. Lomuscio. 4 [doi]
- A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff GamesCarlo Comin, Roberto Posenato, Romeo Rizzi. 7-16 [doi]
- Incremental Dynamic Controllability in Cubic Worst-Case TimeMikael Nilsson, Jonas Kvarnström, Patrick Doherty. 17-26 [doi]
- Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and ObservationAlessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri. 27-36 [doi]
- A Formal Account of Planning with Flexible TimelinesMarta Cialdea Mayer, Andrea Orlandini, Alessandro Umbrico. 37-46 [doi]
- Metric Propositional Neighborhood Logic with an Equivalence RelationAngelo Montanari, Marco Pazzaglia, Pietro Sala. 49-58 [doi]
- Checking Interval Properties of ComputationsAngelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron. 59-68 [doi]
- Approximate Interval-Based Temporal Dependencies: The Complexity LandscapePietro Sala. 69-78 [doi]
- A Framework for Managing Temporal Dimensions in Archaeological DataAlberto Belussi, Sara Migliorini. 81-90 [doi]
- Lean Index Structures for Snapshot Access in Transaction-Time DatabasesFabio Grandi. 91-100 [doi]
- High-Level Operations for Creation and Maintenance of Temporal and Conventional Schema in the tauXSchema FrameworkZouhaier Brahmia, Fabio Grandi, Barbara Oliboni, Rafik Bouaziz. 101-110 [doi]
- Summarizability in Multiversion Data WarehouseInès Zouari Turki, Faiza Ghozzi Jedidi, Rafik Bouaziz. 111-120 [doi]
- Quantitative Verification in Rational EnvironmentsAnshul Gupta, Sven Schewe. 123-131 [doi]
- Parametrized Verification DiagramsAlejandro Sánchez, César Sánchez. 132-141 [doi]
- Verification of Rewrite Rules for Computation Tree LogicsJohn Christopher McCabe-Dansted, Mark Reynolds. 142-151 [doi]
- Bounded Variability of Metric Temporal LogicCarlo A. Furia, Paola Spoletini. 155-163 [doi]
- Fairness with EXPTIME Bundled CTL TableauJohn Christopher McCabe-Dansted, Mark Reynolds. 164-173 [doi]
- Partially Punctual Metric Temporal Logic is DecidableKhushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya. 174-183 [doi]