A list without abstracts sorted by year - 2005
The Long Term Data Storage
Reachability Relations and Sampled Semantics of Timed Systems
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances
Refining the Undecidability Border of Weak Bisimilarity
Tool for robust stochastic parsing using optimal maximum coverage
by Vladimír Kadlec, Jean-Cédric Chappelier, Martin Rajman, This report was also submitted as Technical Report No. 2004112 at Swiss Federal Institute of Technology (EPFL), Lausanne (Switzerland), October, 2004. April 2005, 16 pages.
Under-Approximation Generation using Partial Order Reduction
On-the-fly State Space Reductions
by Radek Pelánek, February 2005, 22 pages.
Haptically Driven Travelling Through Conformational Space
by Igor Peterlík, Aleš Křenek, This report is an extended version of a~paper accepted for presentation at the First Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, Pisa, Italy, 2005. January 2005, 22 pages.
On the Decidability of Temporal Properties of Probabilistic Pushdown Automata
Please install a newer browser for this site to function properly.