default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st TIME 2014: Verona, Italy
- Amedeo Cesta, Carlo Combi, François Laroussinie:
21st International Symposium on Temporal Representation and Reasoning, TIME 2014, Verona, Italy, September 8-10, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-4228-2 - Calin Belta:
Formal Methods for Dynamical Systems. 3 - Alessio R. Lomuscio
:
Advances in Symbolic Model Checking for Multi-agent Systems. 4
Temporal Networks
- Carlo Comin, Roberto Posenato, Romeo Rizzi:
A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games. 7-16 - Mikael Nilsson, Jonas Kvarnström, Patrick Doherty:
Incremental Dynamic Controllability in Cubic Worst-Case Time. 17-26 - Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Roberto Posenato, Marco Roveri:
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation. 27-36 - Marta Cialdea Mayer, Andrea Orlandini, Alessandro Umbrico:
A Formal Account of Planning with Flexible Timelines. 37-46
Interval Temporal Logics and Applications
- Angelo Montanari, Marco Pazzaglia, Pietro Sala:
Metric Propositional Neighborhood Logic with an Equivalence Relation. 49-58 - Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:
Checking Interval Properties of Computations. 59-68 - Pietro Sala:
Approximate Interval-Based Temporal Dependencies: The Complexity Landscape. 69-78
Temporal Databases and Data Warehouses
- Alberto Belussi, Sara Migliorini:
A Framework for Managing Temporal Dimensions in Archaeological Data. 81-90 - Fabio Grandi:
Lean Index Structures for Snapshot Access in Transaction-Time Databases. 91-100 - Zouhaier Brahmia, Fabio Grandi, Barbara Oliboni, Rafik Bouaziz:
High-Level Operations for Creation and Maintenance of Temporal and Conventional Schema in the tauXSchema Framework. 101-110 - Inès Zouari Turki, Faiza Ghozzi Jedidi, Rafik Bouaziz:
Summarizability in Multiversion Data Warehouse. 111-120 - Anshul Gupta, Sven Schewe:
Quantitative Verification in Rational Environments. 123-131
Verification
- Alejandro Sánchez, César Sánchez:
Parametrized Verification Diagrams. 132-141 - John Christopher McCabe-Dansted, Mark Reynolds:
Verification of Rewrite Rules for Computation Tree Logics. 142-151
Temporal Logics
- Carlo A. Furia, Paola Spoletini:
Bounded Variability of Metric Temporal Logic. 155-163 - John Christopher McCabe-Dansted, Mark Reynolds:
Fairness with EXPTIME Bundled CTL Tableau. 164-173 - Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya:
Partially Punctual Metric Temporal Logic is Decidable. 174-183
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 23:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
