Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Ratschan, Stefan"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Satisfiability of systems of equations of real analytic functions is quasi-decidable
Peter Franek
,
Stefan Ratschan
,
Piotr Zgliczynski
Lecture Notes in Computer Science
6907
, 2011, pp. 315-326
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems
Werner Damm
,
Guilherme Pinto
,
Stefan Ratschan
International Journal of Foundations of Computer Science
18
(1), 2007, pp. 63-86
Solving undecidable problems in the theory of real numbers and hybrid systems
Stefan Ratschan
Proceedings of the Algorithmic Algebra and Logic Conference in Honor of the 60th Birthday of Volker Weispfenning, A3L'2005 (Passau, Germany, April 3-6, 2005)
, 2005, pp. 213-216
Quantified constraints under perturbation
Stefan Ratschan
Journal Symbolic Computation
33
(4), 2002, pp. 493-505