MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Stefan Disch" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Advanced unbounded model checking based on aigs, bdd sweeping, and quantifier scheduling
by Florian Pigorsch, Christoph Scholl, Stefan Disch — in Proceedings of the Conference on Formal Methods in Computer Aided Design (FMCAD). IEEE Computer Society Press, Nov 2006
… Pigorsch, Christoph Scholl, and Stefan Disch Albert-Ludwigs-Universität Freiburg, Institut für Informatik…
Cited by 2 (2 self) – Add To MetaCart

Automatic verification of hybrid systems with large discrete state space
by Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz — 2006 — in Proc. of the 4th Int. Symp. on Automated Technology for Verification and Analysis
…,2 , Stefan Disch 3 , Hardi Hungar 2 , Jun Pang 1 , Florian Pigorsch 3 , Christoph Scholl 3 , Uwe Waldmann 4…
Cited by 3 (2 self) – Add To MetaCart

Using an SMT Solver and Craig Interpolation to Detect and Remove Redundant Linear Constraints in Representations
by Of Non-convex Polyhedra, Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid
… in Representations of Non-Convex Polyhedra Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB