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.

2600 Publications

2019 | Conference Paper | IST-REx-ID: 6887   OA
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 | Journal Article | IST-REx-ID: 6940   OA
G. Bighin, N. Defenu, I. Nándori, L. Salasnich, and A. Trombettoni, “Berezinskii-Kosterlitz-Thouless paired phase in coupled XY models,” Physical Review Letters, vol. 123, no. 10, 2019.
View | Files available | DOI | Download (ext.) | arXiv

2019 | Journal Article | IST-REx-ID: 6508
S. Shamipour, R. Kardos, S. Xue, B. Hof, E. B. Hannezo, and C.-P. J. Heisenberg, “Bulk actin dynamics drive phase segregation in zebrafish oocytes,” Cell, vol. 177, no. 6, p. 1463–1479.e18, 2019.
View | Files available | DOI

2019 | Conference Paper | IST-REx-ID: 6647   OA
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 | Thesis | IST-REx-ID: 6894
M. Giacobbe, Automatic time-unbounded reachability analysis of hybrid systems. IST Austria, 2019.
View | Files available | DOI

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed