default search action
18th TIME 2011: Lübeck, Germany
- Carlo Combi, Martin Leucker, Frank Wolter:
Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011. IEEE 2011, ISBN 978-1-4577-1242-5
Invited Talks
- Nir Piterman
:
p-Automata and Obligation Games. 3-6 - Gerhard Schellhorn:
Extending ITL with Interleaved Programs for Interactive Verification. 7 - Kristen Brent Venable:
Temporal Preferences. 8-9 - Jef Wijsen
Towards a Foundation of Data Currency. 10-11
Databases and Ontologies
- Mohamed-Amine Baazizi, Nicole Bidoit-Tollu, Dario Colazzo:
Efficient Encoding of Temporal XML Documents. 15-22 - Carlo Combi, Pietro Sala
Temporal Functional Dependencies Based on Interval Relations. 23-30 - Michael Grüninger, Darren Ong:
Verification of Time Ontologies with Points and Intervals. 31-38
Temporal Logics
- Mark Reynolds
A Tableau for Until and Since over Linear Time. 41-48 - Rajeev Goré, Jimmy Thomson, Florian Widmann:
An Experimental Comparison of Theorem Provers for CTL. 49-56 - Alexei Lisitsa:
Temporal Access to the Iteration Sequences: A Unifying Approach to Fixed Point Logics. 57-63 - Sven Schewe
Synthesising Classic and Interval Temporal Logic. 64-71 - Carlo A. Furia, Paola Spoletini:
On Relaxing Metric Information in Linear Temporal Logic. 72-79 - Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier:
Linear Temporal Logic and Propositional Schemata, Back and Forth. 80-87 - David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu:
Monitoring Usage-Control Policies in Distributed Systems. 88-95
Interval Temporal Logic and Duration Calculus
- Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst
Interleaved Programs and Rely-Guarantee Reasoning with ITL. 99-106 - Ben C. Moszkowski:
Compositional Reasoning Using Intervals and Time Reversal. 107-114 - Michael R. Hansen
On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. 115-122 - Davide Bresolin
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. 123-130 - Davide Bresolin
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. 131-138
Temporal Constraints and Natural Language
- Régis Gascon, Frédéric Mallet
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. 141-148 - Jean-François Condotta, Dominique D'Almeida:
Consistency of Qualitative Constraint Networks from Tree Decompositions. 149-156 - Nikolay V. Shilov
Algorithm Design Template Base on Temporal ADT. 157-162 - Stefan Rigo, Alberto Lavelli:
MulTiSEX - A Multi-language Timex Sequential Extractor. 163-170
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 2024-12-23 19:40 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: