Claus Schröter

Publication Activity (10 Years)

Years Active: 1998-2004
Publications (10 Years): 0

University of Stuttgart (PHD)

Education History

University of Stuttgart

PHD

Publications

Claus Schröter, Victor Khomenko
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings. CAV (2004)
Claus Schröter, Stefan Schwoon, Javier Esparza
The Model-Checking Kit. ICATPN (2003)
Javier Esparza, Claus Schröter
Net Reductions for LTL Model-Checking. CHARME (2001)
Javier Esparza, Claus Schröter
Unfolding Based Algorithms for the Reachability Problem. Fundam. Informaticae 47 (3-4) (2001)
Sergei Hludov, Claus Schröter, Christoph Meinel
Adaptive compression of image data. SYBEN (1998)