-
ounce of
realism can save an
infinity of states,
Springer LNCS 1683
Stefan Ratschan:
Safety verification of non-linear
hybrid systems is quasi-decidable, Formal...
- 364411, ISBN 978-3-9810801-2-4, S2CID 9159847 Fränzle, M.; Herde, C.;
Ratschan, S.; Schubert, T.; Teige, T. (2007), "Efficient
Solving of
Large Non-linear...
- Equations. Springer-Verlag. pp. 185–225. ISBN 3-540-64803-8. Franek, Peter;
Ratschan,
Stefan (2015). "Effective
topological degree com****tion
based on interval...
- paleo-hydrological
history of Siberia. BMC
Evolutionary Biology 8: 40.
Ratschan, C. (2013). Trout's
Siberian Siblings.
Chasing Silver 1: 86-96. Yingzhe...
- of Siberia. BMC
Evolutionary Biology 8: 40. doi:10.1186/1471-2148-8-40
Ratschan, C. (2013). Trout's
Siberian Siblings.
Chasing Silver 1: 86–96. Shaw, George;...
- the real
exponential function",
Encyclopedia of Mathematics, EMS
Press Ratschan,
Stefan (2006). "Efficient
Solving of
Quantified Inequality Constraints...
- arXiv:1908.03980. doi:10.1016/j.automatica.2020.109328. ISSN 0005-1098.
Stefan Ratschan: "Converse
Theorems for
Safety and
Barrier Certificates". IEEE Trans. on...
- 1016/0065-2571(86)90006-3. PMID 3812083.
Fischer PH, Vazquez-Padua MA,
Reznikoff CA,
Ratschan WJ (September 1986). "Preferential
stimulation of
iododeoxyuridine phosphorylation...
