Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2575 Publications

2019 | Conference Paper | IST-REx-ID: 6887   OA
Chatterjee, Krishnendu, et al. “Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.” Leibniz International Proceedings in Informatics, vol. 140, 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, doi:10.4230/LIPICS.CONCUR.2019.7.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6940   OA
Bighin, Giacomo, et al. “Berezinskii-Kosterlitz-Thouless Paired Phase in Coupled XY Models.” Physical Review Letters, vol. 123, no. 10, 100601, American Physical Society (APS), 2019, doi:10.1103/physrevlett.123.100601.
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6508
Shamipour, Shayan, et al. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes.” Cell, vol. 177, no. 6, Elsevier, 2019, p. 1463–1479.e18, doi:10.1016/j.cell.2019.04.030.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6647   OA
Fulek, Radoslav, et al. “The Crossing Tverberg Theorem.” 35th International Symposium on Computational Geometry, vol. 129, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 38:1-38:13, doi:10.4230/LIPICS.SOCG.2019.38.
View | Files available | DOI | arXiv
 
2019 | Thesis | IST-REx-ID: 6894
Giacobbe, Mirco. Automatic Time-Unbounded Reachability Analysis of Hybrid Systems. IST Austria, 2019, doi:10.15479/AT:ISTA:6894.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed