Concepedia

Stefan Ratschan

SR

Statistics

Publications

12

Citations

704

H-Index

11

Active since

2002

Affiliations

Czech Academy of Sciences, Institute of Computer Science(Current)

Johannes Kepler University of Linz

Max Planck Institute for Informatics

Czech Academy of Sciences

Beihang University

Stefan Ratschan is an author at Czech Academy of Sciences, Institute of Computer Science specializing in engineering, approximation theory, and formal methods.

ORCID

Top concepts

Publications per year

2002–2020

12

Publications

12

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure1

Martin Fränzle, Christian Herde, Tino Teige et al. · Journal on Satisfiability Boolean Modeling and Computation · 2007 · 310 citations · Full text

Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions

Stefan Ratschan, Zhikun She · SIAM Journal on Control and Optimization · 2010 · 115 citations

, , +18

Efficient solving of quantified inequality constraints over the real numbers

Stefan Ratschan · ACM Transactions on Computational Logic · 2006 · 86 citations

, , +18

Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement

Stefan Ratschan, Zhikun She · Lecture notes in computer science · 2005 · 36 citations

Approximate Quantified Constraint Solving by Cylindrical Box Decomposition

Stefan Ratschan · Reliable Computing · 2002 · 33 citations

1–5 of 12