Edit Profile (opens in new tab) Ratschan, Stefan Compute Distance To: Compute Author ID: ratschan.stefan Published as: Ratschan, Stefan External Links: MGP Documents Indexed: 31 Publications since 2000 1 Contribution as Editor Co-Authors: 21 Co-Authors with 19 Joint Publications 550 Co-Co-Authors all top 5 Co-Authors 12 single-authored 5 She, Zhikun 3 Franek, Peter 2 Damm, Werner 2 Kuřátko, Jan 2 Pinto, Guilherme A. 2 Zgliczyński, Piotr 1 Dzetkulič, Tomáš 1 Fränzle, Martin 1 Hahn, Ernst Moritz 1 Hardouin, Laurent 1 Herde, Christian 1 Hermanns, Holger 1 Hladík, Milan 1 Jaulin, Luc 1 Klaedtke, Felix 1 Kolárik, Tomáš 1 Onderka, Jan 1 Schubert, Tobias 1 Smaus, Jan-Georg 1 Sturm, Thomas 1 Teige, Tino 1 Zhang, Lijun all top 5 Serials 2 Reliable Computing 2 ACM Transactions on Computational Logic 2 Mathematics in Computer Science 1 Mathematics of Computation 1 IEEE Transactions on Automatic Control 1 SIAM Journal on Control and Optimization 1 Journal of Symbolic Computation 1 Journal of Automated Reasoning 1 International Journal of Foundations of Computer Science 1 Journal of Global Optimization 1 Formal Methods in System Design 1 European Journal of Control 1 Optimization and Engineering 1 Journal of Universal Computer Science 1 Journal of Satisfiability, Boolean Modeling and Computation all top 5 Fields 23 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 6 Numerical analysis (65-XX) 6 Systems theory; control (93-XX) 4 Operations research, mathematical programming (90-XX) 2 Ordinary differential equations (34-XX) 2 Dynamical systems and ergodic theory (37-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Algebraic geometry (14-XX) 1 Real functions (26-XX) 1 Algebraic topology (55-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 23 Publications have been cited 204 times in 155 Documents Cited by ▼ Year ▼ Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. Zbl 1144.68371Fränzle, Martin; Herde, Christian; Teige, Tino; Ratschan, Stefan; Schubert, Tobias 44 2006 Providing a basin of attraction to a target region of polynomial systems by computation of Lyapunov-like functions. Zbl 1215.65188Ratschan, Stefan; She, Zhikun 35 2010 Safety verification of hybrid systems by constraint propagation based abstraction refinement. Zbl 1078.93508Ratschan, Stefan; She, Zhikun 28 2005 Efficient solving of quantified inequality constraints over the real numbers. Zbl 1367.68270Ratschan, Stefan 21 2006 Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. Zbl 1109.68064Damm, Werner; Pinto, Guilherme; Ratschan, Stefan 7 2007 Approximate quantified constraint solving by cylindrical box decomposition. Zbl 0997.65077Ratschan, Stefan 6 2002 Safety verification of non-linear hybrid systems is quasi-semidecidable. Zbl 1284.68415Ratschan, Stefan 6 2010 Safety verification for probabilistic hybrid systems. Zbl 1291.93294Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz 6 2012 Satisfiability of systems of equations of real analytic functions is quasi-decidable. Zbl 1343.03036Franek, Peter; Ratschan, Stefan; Zgliczynski, Piotr 6 2011 Quantified constraints under perturbation. Zbl 1017.68161Ratschan, Stefan 5 2002 Continuous first-order constraint satisfaction. Zbl 1072.68607Ratschan, Stefan 5 2002 Constraints for continuous reachability in the verification of hybrid systems. Zbl 1156.68476Ratschan, Stefan; She, Zhikun 5 2006 Uncertainty propagation in heterogeneous algebras for approximate quantified constraint solving. Zbl 0963.03053Ratschan, Stefan 5 2000 Combined global and local search for the falsification of hybrid systems. Zbl 1448.68303Kuřátko, Jan; Ratschan, Stefan 5 2014 Quasi-decidability of a fragment of the first-order theory of real numbers. Zbl 1437.03047Franek, Peter; Ratschan, Stefan; Zgliczynski, Piotr 4 2016 Set computation for nonlinear control. Zbl 1040.93045Jaulin, Luc; Ratschan, Stefan; Hardouin, Laurent 3 2004 Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. Zbl 1170.68511Damm, Werner; Pinto, Guilherme; Ratschan, Stefan 3 2005 Converse theorems for safety and barrier certificates. Zbl 1423.93107Ratschan, Stefan 3 2018 Effective topological degree computation based on interval arithmetic. Zbl 1318.55002Franek, Peter; Ratschan, Stefan 2 2015 Finding errors of hybrid systems by optimising an abstraction-based quality estimate. Zbl 1246.68158Ratschan, Stefan; Smaus, Jan-Georg 2 2009 Search heuristics for box decomposition methods. Zbl 1026.90100Ratschan, Stefan 1 2002 Solving existentially quantified constraints with one equality and arbitrarily many inequalities. Zbl 1273.68362Ratschan, Stefan 1 2003 Convergent approximate solving of first-order constraints by approximate quantifiers. Zbl 1367.68269Ratschan, Stefan 1 2004 Converse theorems for safety and barrier certificates. Zbl 1423.93107Ratschan, Stefan 3 2018 Quasi-decidability of a fragment of the first-order theory of real numbers. Zbl 1437.03047Franek, Peter; Ratschan, Stefan; Zgliczynski, Piotr 4 2016 Effective topological degree computation based on interval arithmetic. Zbl 1318.55002Franek, Peter; Ratschan, Stefan 2 2015 Combined global and local search for the falsification of hybrid systems. Zbl 1448.68303Kuřátko, Jan; Ratschan, Stefan 5 2014 Safety verification for probabilistic hybrid systems. Zbl 1291.93294Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz 6 2012 Satisfiability of systems of equations of real analytic functions is quasi-decidable. Zbl 1343.03036Franek, Peter; Ratschan, Stefan; Zgliczynski, Piotr 6 2011 Providing a basin of attraction to a target region of polynomial systems by computation of Lyapunov-like functions. Zbl 1215.65188Ratschan, Stefan; She, Zhikun 35 2010 Safety verification of non-linear hybrid systems is quasi-semidecidable. Zbl 1284.68415Ratschan, Stefan 6 2010 Finding errors of hybrid systems by optimising an abstraction-based quality estimate. Zbl 1246.68158Ratschan, Stefan; Smaus, Jan-Georg 2 2009 Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. Zbl 1109.68064Damm, Werner; Pinto, Guilherme; Ratschan, Stefan 7 2007 Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. Zbl 1144.68371Fränzle, Martin; Herde, Christian; Teige, Tino; Ratschan, Stefan; Schubert, Tobias 44 2006 Efficient solving of quantified inequality constraints over the real numbers. Zbl 1367.68270Ratschan, Stefan 21 2006 Constraints for continuous reachability in the verification of hybrid systems. Zbl 1156.68476Ratschan, Stefan; She, Zhikun 5 2006 Safety verification of hybrid systems by constraint propagation based abstraction refinement. Zbl 1078.93508Ratschan, Stefan; She, Zhikun 28 2005 Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. Zbl 1170.68511Damm, Werner; Pinto, Guilherme; Ratschan, Stefan 3 2005 Set computation for nonlinear control. Zbl 1040.93045Jaulin, Luc; Ratschan, Stefan; Hardouin, Laurent 3 2004 Convergent approximate solving of first-order constraints by approximate quantifiers. Zbl 1367.68269Ratschan, Stefan 1 2004 Solving existentially quantified constraints with one equality and arbitrarily many inequalities. Zbl 1273.68362Ratschan, Stefan 1 2003 Approximate quantified constraint solving by cylindrical box decomposition. Zbl 0997.65077Ratschan, Stefan 6 2002 Quantified constraints under perturbation. Zbl 1017.68161Ratschan, Stefan 5 2002 Continuous first-order constraint satisfaction. Zbl 1072.68607Ratschan, Stefan 5 2002 Search heuristics for box decomposition methods. Zbl 1026.90100Ratschan, Stefan 1 2002 Uncertainty propagation in heterogeneous algebras for approximate quantified constraint solving. Zbl 0963.03053Ratschan, Stefan 5 2000 all cited Publications top 5 cited Publications all top 5 Cited by 329 Authors 10 Ratschan, Stefan 10 She, Zhikun 8 Ábrahám, Erika 7 Hafstein, Sigurður Freyr 7 Zhan, Naijun 6 Eggers, Andreas 6 Fränzle, Martin 6 Giesl, Peter 6 Platzer, André 6 Subramani, Krishnan 5 Eirinakis, Pavlos 5 Jaulin, Luc 5 Krčál, Marek 5 Wojciechowski, Piotr J. 5 Xue, Bai 4 Damm, Werner 4 Franek, Peter 4 Goldsztejn, Alexandre 4 Kremer, Gereon 4 Teige, Tino 3 Anai, Hirokazu 3 Chabert, Gilles 3 Cimatti, Alessandro 3 Corzilius, Florian 3 Griggio, Alberto 3 Katoen, Joost-Pieter 3 Kupferschmid, Stefan 3 Lu, Junjie 3 Matoušek, Jiří 3 Piazza, Carla 3 Ruggieri, Salvatore 3 Schupp, Stefan 3 Sergeraert, Francis 3 Tan, Yong Kiam 3 Wang, Qiuye 3 Wang, Shuling 3 Zhao, Hengjun 3 Zheng, Zhiming 2 Akbarpour, Behzad 2 Bauer, Kerstin 2 Becker, Bernd 2 Bogomolov, Sergiy 2 Borralleras, Cristina 2 Brain, Martin 2 Bresolin, Davide 2 Čadek, Martin 2 Campagna, Dario 2 Chen, Mingshuai 2 Collins, Peter J. 2 Davenport, James Harold 2 Duggirala, Parasara Sridhar 2 Dzetkulič, Tomáš 2 England, Matthew 2 Frehse, Goran 2 Gentilini, Raffaella 2 Geretti, Luca 2 Hahn, Ernst Moritz 2 Hermanns, Holger 2 Hladík, Milan 2 Khanh, To Van 2 Kröning, Daniel 2 Kuřátko, Jan 2 Li, Dongxu 2 Lucas, Salvador 2 Navarro-López, Eva María 2 Ogawa, Mizuhito 2 Passerini, Andrea 2 Paulson, Lawrence Charles 2 Prabhakar, Pavithra 2 Quesel, Jan-David 2 Rodríguez-Carbonell, Enric 2 Rubio, Albert 2 Schneider, Klaus 2 Sogokon, Andrew 2 Teso, Stefano 2 Tung, Vu Xuan 2 Villa, Tiziano 2 Viswanathan, Mahesh 2 Vokřínek, Lukáš 2 Wagner, Uli 2 Wang, Shijie 2 Weidenbach, Christoph 2 Xia, Bican 2 Yanami, Hitoshi 2 Zhang, Lijun 1 Abbott, John A. 1 Ahrendt, Wolfgang 1 Althaus, Ernst 1 Alviano, Mario 1 Arcaini, Paolo 1 Bak, Stanley 1 Bartocci, Ezio 1 Basagiannis, Stylianos 1 Battiti, Roberto 1 Beica, Andreea 1 Bianculli, Domenico 1 Bigatti, Anna Maria 1 Björnsson, Jóhann 1 Bortolussi, Luca 1 Bouissou, Olivier ...and 229 more Authors all top 5 Cited in 48 Serials 11 Formal Methods in System Design 7 Automatica 7 Theoretical Computer Science 7 Nonlinear Analysis. Hybrid Systems 6 Formal Aspects of Computing 6 Annals of Mathematics and Artificial Intelligence 5 Information and Computation 4 Artificial Intelligence 4 Journal of Automated Reasoning 4 Mathematics in Computer Science 3 Constraints 3 Journal of Logical and Algebraic Methods in Programming 2 SIAM Journal on Control and Optimization 2 Journal of Symbolic Computation 2 Linear Algebra and its Applications 2 Applicable Algebra in Engineering, Communication and Computing 2 European Journal of Control 2 The Journal of Logic and Algebraic Programming 2 Discrete and Continuous Dynamical Systems. Series B 1 International Journal of Control 1 International Journal of General Systems 1 Journal of Mathematical Analysis and Applications 1 Mathematics of Computation 1 Computing 1 Fuzzy Sets and Systems 1 Journal of Computational and Applied Mathematics 1 Science of Computer Programming 1 Operations Research Letters 1 Discrete & Computational Geometry 1 Japan Journal of Industrial and Applied Mathematics 1 International Journal of Foundations of Computer Science 1 Journal of Global Optimization 1 Numerical Algorithms 1 Archives of Control Sciences 1 Complexity 1 Reliable Computing 1 Discrete and Continuous Dynamical Systems 1 Journal of the ACM 1 Mathematical and Computer Modelling of Dynamical Systems 1 Optimization and Engineering 1 Foundations of Computational Mathematics 1 Theory and Practice of Logic Programming 1 SIAM Journal on Applied Dynamical Systems 1 Mathematical Biosciences and Engineering 1 Arabian Journal for Science and Engineering 1 Numerical Algebra, Control and Optimization 1 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 Journal of Applied and Computational Topology all top 5 Cited in 26 Fields 101 Computer science (68-XX) 49 Systems theory; control (93-XX) 23 Numerical analysis (65-XX) 23 Operations research, mathematical programming (90-XX) 18 Mathematical logic and foundations (03-XX) 13 Ordinary differential equations (34-XX) 7 Biology and other natural sciences (92-XX) 6 Dynamical systems and ergodic theory (37-XX) 6 Algebraic topology (55-XX) 3 Probability theory and stochastic processes (60-XX) 3 Mechanics of particles and systems (70-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Category theory; homological algebra (18-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Partial differential equations (35-XX) 1 Difference and functional equations (39-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Geometry (51-XX) 1 Fluid mechanics (76-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year