Stefan Ratschan

Stefan Ratschan

Institute of Computer Science of the CAS - Prague / Czech Republic
Others
AD Scientific Index ID: 4415967
Ústav počítačové vědy CAS
person_outline Stefan Ratschan's MOST POPULAR ARTICLES
1-) Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure M Fränzle, C Herde, T Teige, S Ratschan, T Schubert Journal on Satisfiability, Boolean Modeling and Computation 1 (3-4), 209-236, 2006 4442006
2-) Safety verification of hybrid systems by constraint propagation-based abstraction refinement S Ratschan, Z She ACM Transactions on Embedded Computing Systems (TECS) 6 (1), 8-es, 2007 2072007
3-) Safety verification of hybrid systems by constraint propagation based abstraction refinement S Ratschan, Z She International workshop on hybrid systems: Computation and control, 573-589, 2005 1712005
4-) Efficient solving of quantified inequality constraints over the real numbersS RatschanACM Transactions on Computational Logic (TOCL) 7 (4), 723-748, 20061552006
5-) Providing a basin of attraction to a target region of polynomial systems by computation of Lyapunov-like functionsS Ratschan, Z SheSIAM Journal on Control and Optimization 48 (7), 4377-4394, 20101402010