Stefan Ratschan
Scholar

Stefan Ratschan

Google Scholar ID: xCzK_N4AAAAJ
Czech Academy of Sciences
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
434
 
H-index
11
 
i10-index
11
 
Publications
20
 
Co-authors
0
 
Contact
CVOpen ↗
Publications
6 items
Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
2026
Cited
0
SMT and Functional Equation Solving over the Reals: Challenges from the IMO
2025
Cited
0
Input-based Three-valued Abstraction Refinement
2024
Cited
0
Deciding Predicate Logical Theories of Real-Valued Functions
International Symposium on Mathematical Foundations of Computer Science · 2023
Cited
3
Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
NASA Formal Methods · 2023
Cited
2
Applications of Quantified Constraint Solving over the Reals - Bibliography
arXiv.org · 2012
Cited
20
Resume (English only)
Academic Achievements
  • Academic achievements information is not sufficient.
Research Experience
  • Stefan Ratschan holds positions at the Institute of Computer Science, Academy of Sciences of the Czech Republic, and the Faculty of Information Technology, Czech Technical University in Prague. He offers thesis topics on all levels (bachelor, master, Ph.D.) and occasionally has open postdoc positions.
Education
  • Education background information is not sufficient.
Background
  • The provided HTML does not detail his research interests or professional fields. He works in the field of Computer Science and is a member of the Institute of Computer Science, Academy of Sciences of the Czech Republic.
Miscellany
  • He has an ORCID (0000-0003-1710-1513) and a Google Scholar profile.
Co-authors
0 total
Co-authors: 0 (list not available)