Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2019 | Journal Article | IST-REx-ID: 6899
D. Bornhorst et al., “Biomechanical signaling within the developing zebrafish heart attunes endocardial growth to myocardial chamber dimensions,” Nature communications, vol. 10, no. 1, p. 4113, 2019.View | Files available | DOI | PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 7032
A. R. Rueda Sanchez, F. Sedlmeir, G. Leuchs, M. Kuamri, and H. G. L. Schwefel, “Electro-optic frequency comb generation in lithium niobate whispering gallery mode resonators,” in 2019 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference, Munich, Germany, 2019.View | DOI
2019 | Conference Paper | IST-REx-ID: 6887
K. Chatterjee, W. Dvorák, M. Henzinger, and A. Svozil, “Near-linear time algorithms for Streett objectives in graphs and MDPs,” in Leibniz International Proceedings in Informatics, Amsterdam, Netherlands, 2019, vol. 140.View | Files available | DOI
2019 | Conference Paper | IST-REx-ID: 6647
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, and U. Wagner, “The crossing Tverberg theorem,” in 35th International Symposium on Computational Geometry, Portland, OR, United States, 2019, vol. 129, p. 38:1-38:13.View | Files available | DOI | arXiv
2019 | Conference Paper | IST-REx-ID: 7183
T. Brázdil, K. Chatterjee, A. Kucera, P. Novotný, and D. Velan, “Deciding fast termination for probabilistic VASS with nondeterminism,” in International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, 2019, vol. 11781, pp. 462–478.View | DOI | Download (ext.) | arXiv
2019 | Journal Article | IST-REx-ID: 151
J. L. Fischer and O. Kneuss, “Bi-Sobolev solutions to the prescribed Jacobian inequality in the plane with L p data and applications to nonlinear elasticity,” Journal of Differential Equations, vol. 266, no. 1, pp. 257–311, 2019.View | DOI | Download (ext.) | arXiv