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.

2536 Publications


2019 | Conference Paper | IST-REx-ID: 6887   OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika Henzinger, and Alexander Svozil. “Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.” In Leibniz International Proceedings in Informatics, Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.7.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6940   OA
Bighin, Giacomo, Nicolò Defenu, István Nándori, Luca Salasnich, and Andrea Trombettoni. “Berezinskii-Kosterlitz-Thouless Paired Phase in Coupled XY Models.” Physical Review Letters 123, no. 10 (2019). https://doi.org/10.1103/physrevlett.123.100601.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6508
Shamipour, Shayan, Roland Kardos, Shi-lei Xue, Björn Hof, Edouard B Hannezo, and Carl-Philipp J Heisenberg. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes.” Cell 177, no. 6 (2019): 1463–1479.e18. https://doi.org/10.1016/j.cell.2019.04.030.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6565
Kundu, Atreyee, Miriam Garcia Soto, and Pavithra Prabhakar. “Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.” In 5th Indian Control Conference Proceedings. IEEE, 2019. https://doi.org/10.1109/INDIANCC.2019.8715598.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6647   OA
Fulek, Radoslav, Bernd Gärtner, Andrey Kupavskii, Pavel Valtr, and Uli Wagner. “The Crossing Tverberg Theorem.” In 35th International Symposium on Computational Geometry, 129:38:1-38:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/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. https://doi.org/10.15479/AT:ISTA:6894.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7183   OA
Brázdil, Tomás, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, and Dominik Velan. “Deciding Fast Termination for Probabilistic VASS with Nondeterminism.” In International Symposium on Automated Technology for Verification and Analysis, 11781:462–78. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-31784-3_27.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7210   OA
Tkadlec, Josef, Andreas Pavlogiannis, Krishnendu Chatterjee, and Martin A. Nowak. “Population Structure Determines the Tradeoff between Fixation Probability and Fixation Time.” Communications Biology 2 (2019). https://doi.org/10.1038/s42003-019-0373-y.
View | Files available | DOI | PubMed | Europe PMC
 

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, n.d. https://doi.org/10.1016/bs.ctdb.2019.10.009.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 73   OA
Erbar, Matthias, Jan Maas, and Melchior Wirth. “On the Geometry of Geodesics in Discrete Optimal Transport.” Calculus of Variations and Partial Differential Equations 58, no. 1 (2019). https://doi.org/10.1007/s00526-018-1456-1.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 80   OA
Deuchert, Andreas, Robert Seiringer, and Jakob Yngvason. “Bose–Einstein Condensation in a Dilute, Trapped Gas at Positive Temperature.” Communications in Mathematical Physics 368, no. 2 (2019): 723–76. https://doi.org/10.1007/s00220-018-3239-0.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 151   OA
Fischer, Julian L, and Olivier 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 266, no. 1 (2019): 257–311. https://doi.org/10.1016/j.jde.2018.07.045.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 175   OA
Browning, Timothy D, and Daniel Loughran. “Sieving Rational Points on Varieties.” Transactions of the American Mathematical Society 371, no. 8 (2019): 5757–85.
View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5   OA
Ganev, Iordan V. “The Wonderful Compactification for Quantum Groups.” Journal of the London Mathematical Society 99, no. 3 (2019): 778–806. https://doi.org/10.1112/jlms.12193.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5789
Petridou, Nicoletta, Silvia Grigolon, Guillaume Salbreux, Edouard Hannezo, and Carl-Philipp J Heisenberg. “Fluidization-Mediated Tissue Spreading by Mitotic Cell Rounding and Non-Canonical Wnt Signalling.” Nature Cell Biology 21 (2019): 169–178. https://doi.org/10.1038/s41556-018-0247-4.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5878
Budanur, Nazmi B, and Marc Fleury. “State Space Geometry of the Chaotic Pilot-Wave Hydrodynamics.” Chaos: An Interdisciplinary Journal of Nonlinear Science 29, no. 1 (2019). https://doi.org/10.1063/1.5058279.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5943
Klotz, Lukasz, Konrad Gumowski, and José Eduardo Wesfreid. “Experiments on a Jet in a Crossflow in the Low-Velocity-Ratio Regime.” Journal of Fluid Mechanics 863 (2019): 386–406. https://doi.org/10.1017/jfm.2018.974.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6023   OA
Yoshida, Saiko, Alja Van Der Schuren, Maritza Van Dop, Luc Van Galen, Shunsuke Saiga, Milad Adibi, Barbara Möller, et al. “A SOSEKI-Based Coordinate System Interprets Global Polarity Cues in Arabidopsis.” Nature Plants 5, no. 2 (2019): 160–66. https://doi.org/10.1038/s41477-019-0363-6.
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 6028   OA
Gerencser, Mate, and Martin Hairer. “A Solution Theory for Quasilinear Singular SPDEs.” Communications on Pure and Applied Mathematics 72, no. 9 (2019): 1983–2005. https://doi.org/10.1002/cpa.21816.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6105   OA
Kutzer, Megan, Joachim Kurtz, and Sophie A.O. Armitage. “A Multi-Faceted Approach Testing the Effects of Previous Bacterial Exposure on Resistance and Tolerance.” Journal of Animal Ecology 88, no. 4 (2019): 566–78. https://doi.org/10.1111/1365-2656.12953.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed