Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Stefan Ratschan
Researcher
PaperComputing Funnels Using Numerical Optimization Based FalsifiersAuthorship / preprint / 2022PaperProceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoTAuthorship / preprint / 2021PaperEffective Topological Degree Computation Based on Interval ArithmeticAuthorship / preprint / 2014PaperCombined Global and Local Search for the Falsification of Hybrid SystemsAuthorship / preprint / 2014PaperEfficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-ForallAuthorship / preprint / 2014PaperQuasi-decidability of a Fragment of the First-order Theory of Real NumbersAuthorship / preprint / 2016PaperSolving Underdetermined Boundary Value Problems By Sequential Quadratic ProgrammingAuthorship / preprint / 2016