Claus Schröter

According to our database, Claus Schröter authored at least 6 papers between 1998 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen.

Claus Schröter

PhD thesis, 2007

2004

Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings.

Claus Schröter, Victor Khomenko

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

The Model-Checking Kit.

Claus Schröter, Stefan Schwoon, Javier Esparza

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2001

Unfolding Based Algorithms for the Reachability Problem.

Javier Esparza, Claus Schröter

Fundam. Informaticae, 2001

Net Reductions for LTL Model-Checking.

Javier Esparza, Claus Schröter

Proceedings of the Correct Hardware Design and Verification Methods, 2001

1998

Adaptive compression of image data.

Sergei Hludov, Claus Schröter, Christoph Meinel

Proceedings of the Broadband European Networks and Multimedia Services 1998, 1998