en
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.
2601 Publications
2019 | Conference Paper | IST-REx-ID: 6887 
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
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
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
2019 | Journal Article | IST-REx-ID: 7227
Nunes Pinheiro, Diana C., and Carl-Philipp J. Heisenberg. “Zebrafish Gastrulation: Putting Fate in Motion.” Current Topics in Developmental Biology, Elsevier, doi:10.1016/bs.ctdb.2019.10.009.
View
| DOI
2019 | Journal Article | IST-REx-ID: 73
Erbar, Matthias, et al. “On the Geometry of Geodesics in Discrete Optimal Transport.” Calculus of Variations and Partial Differential Equations, vol. 58, no. 1, 19, Springer, 2019, doi:10.1007/s00526-018-1456-1.
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 80
Deuchert, Andreas, et al. “Bose–Einstein Condensation in a Dilute, Trapped Gas at Positive Temperature.” Communications in Mathematical Physics, vol. 368, no. 2, Springer, 2019, pp. 723–76, doi:10.1007/s00220-018-3239-0.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 7183
Brázdil, Tomás, et al. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.” International Symposium on Automated Technology for Verification and Analysis, vol. 11781, Springer Nature, 2019, pp. 462–78, doi:10.1007/978-3-030-31784-3_27.
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7001
Schwayer, Cornelia, et al. “Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow.” Cell, vol. 179, no. 4, Cell Press, 2019, p. 937–952.e18, doi:10.1016/j.cell.2019.10.006.
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7210
Tkadlec, Josef, et al. “Population Structure Determines the Tradeoff between Fixation Probability and Fixation Time.” Communications Biology, vol. 2, 138, Springer Nature, 2019, doi:10.1038/s42003-019-0373-y.
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Research Data | IST-REx-ID: 6060
Vicoso, Beatriz. Supplementary Data for “Sex-Biased Gene Expression and Dosage Compensation on the Artemia Franciscana Z-Chromosome” (Huylman, Toups et Al., 2019). . IST Austria, 2019, doi:10.15479/AT:ISTA:6060.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7436
Srivastava, Tanya K. “On Derived Equivalences of K3 Surfaces in Positive Characteristic.” Documenta Mathematica, vol. 24, Deutsche Mathematiker-Vereinigung, 2019, pp. 1135–77, doi:10.25537/dm.2019v24.1135-1177.
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 7417
Sinclair, Scott A., et al. “Regulation of Acetylation of Plant Cell Wall Components Is Complex and Responds to External Stimuli.” Plant Signaling & Behavior, Informa UK Limited, 2019, p. 1687185, doi:10.1080/15592324.2019.1687185.
View
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7412
Achlioptas, Dimitris, et al. “A Local Lemma for Focused Stochastical Algorithms.” SIAM Journal on Computing, vol. 48, no. 5, SIAM, 2019, pp. 1583–602, doi:10.1137/16m109332x.
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7397
Lopez Alonso, Jose M., et al. “Dynamics of Viscoelastic Pipe Flow at Low Reynolds Numbers in the Maximum Drag Reduction Limit.” Journal of Fluid Mechanics, vol. 874, CUP, 2019, pp. 699–719, doi:10.1017/jfm.2019.486.
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7405
Dura-Bernal, Salvador, et al. “NetPyNE, a Tool for Data-Driven Multiscale Modeling of Brain Circuits.” ELife, vol. 8, eLife Sciences Publications, 2019, p. e44494, doi:10.7554/elife.44494.
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7400
Veltsos, Paris, et al. “Early Sex-Chromosome Evolution in the Diploid Dioecious Plant Mercurialis Annua.” Genetics, vol. 212, no. 3, Genetics Society of America, 2019, pp. 815–35, doi:10.1534/genetics.119.302045.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6818
Yumusak, Cigdem, et al. “Indigoidine - Biosynthesized Organic Semiconductor.” Dyes and Pigments, vol. 171, Elsevier, 2019, p. 107768, doi:10.1016/j.dyepig.2019.107768.
View
| DOI
2019 | Conference Paper | IST-REx-ID: 6565
Kundu, Atreyee, et al. “Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.” 5th Indian Control Conference Proceedings, IEEE, 2019, p. 8715598, doi:10.1109/INDIANCC.2019.8715598.
View
| DOI