( en | de | ru )

 

Disambiguierung von "Ratschan, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combined Global and Local Search for the Falsification of Hybrid Systems.

, und . CoRR, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stefan Schwärzler

Graphische Modelle im natürlichsprachlichen Mensch-Maschine-Dialog. TU München, (2010)

Stefan Weiß

Deformation quantization of principal fibre bundles and classical gauge theories. Uni Freiburg, (2009)

Stefan Pollak

Herstellung pulverförmiger Komposite aus Polybutylenterephthalat nach einem Hochdrucksprühverfahren. Uni Bochum, (2009)

Stefan Reisbacher

Funktionelle Analyse von Cryptochrom 3 aus Arabidopsis thaliana. Uni Marburg, (2009)

Stefan Padberg

Der Einsatz des Internets im Geographieunterricht: Meinungsbilder und Unterrichtsbeobachtungen. Uni Köln, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

LQR-Trees with Sampling Based Exploration of the State Space., und . IROS, Seite 4777-4782. (2023)Efficient Solving of Quantified Inequality Constraints over the Real Numbers. CoRR, (2002)A Robust Finite-Time Converse Theorem for Inductive Safety Certificates of Ordinary Differential Equations.. CoRR, (2017)Quasi-decidability of a Fragment of the First-order Theory of Real Numbers., , und . CoRR, (2013)Combined Global and Local Search for the Falsification of Hybrid Systems., und . FORMATS, Volume 8711 von Lecture Notes in Computer Science, Seite 146-160. Springer, (2014)How to Capture Hybrid Systems Evolution Into Slices of Parallel Hyperplanes., und . ADHS, Volume 42 von IFAC Proceedings Volumes, Seite 274-279. Elsevier, (2009)Continuous First-Order Constraint Satisfaction.. AISC, Volume 2385 von Lecture Notes in Computer Science, Seite 181-195. Springer, (2002)Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem., und . NFM, Volume 13903 von Lecture Notes in Computer Science, Seite 472-488. Springer, (2023)SAT Modulo Differential Equation Simulations., und . TAP@STAF, Volume 12165 von Lecture Notes in Computer Science, Seite 80-99. Springer, (2020)Deciding Predicate Logical Theories Of Real-Valued Functions.. MFCS, Volume 272 von LIPIcs, Seite 76:1-76:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)