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.
1724 Publications
2019 | Conference Paper | IST-REx-ID: 6887 
Chatterjee, K., Dvorák, W., Henzinger, M., & Svozil, A. (2019). Near-linear time algorithms for Streett objectives in graphs and MDPs. In Leibniz International Proceedings in Informatics (Vol. 140). Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.7
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6940
Bighin, G., Defenu, N., Nándori, I., Salasnich, L., & Trombettoni, A. (2019). Berezinskii-Kosterlitz-Thouless paired phase in coupled XY models. Physical Review Letters, 123(10). https://doi.org/10.1103/physrevlett.123.100601
View
| Files available
| DOI
| Download (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6647
Fulek, R., Gärtner, B., Kupavskii, A., Valtr, P., & Wagner, U. (2019). The crossing Tverberg theorem. In 35th International Symposium on Computational Geometry (Vol. 129, p. 38:1-38:13). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.SOCG.2019.38
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 73
Erbar, M., Maas, J., & Wirth, M. (2019). On the geometry of geodesics in discrete optimal transport. Calculus of Variations and Partial Differential Equations, 58(1). https://doi.org/10.1007/s00526-018-1456-1
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 80
Deuchert, A., Seiringer, R., & Yngvason, J. (2019). Bose–Einstein condensation in a dilute, trapped gas at positive temperature. Communications in Mathematical Physics, 368(2), 723–776. https://doi.org/10.1007/s00220-018-3239-0
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 7183
Brázdil, T., Chatterjee, K., Kucera, A., Novotný, P., & Velan, D. (2019). Deciding fast termination for probabilistic VASS with nondeterminism. In International Symposium on Automated Technology for Verification and Analysis (Vol. 11781, pp. 462–478). Taipei, Taiwan: Springer Nature. https://doi.org/10.1007/978-3-030-31784-3_27
View
| DOI
| Download (ext.)
| arXiv
2019 | Research Data | IST-REx-ID: 6060
Vicoso, B. (2019). Supplementary data for “Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome” (Huylman, Toups et al., 2019). . IST Austria. https://doi.org/10.15479/AT:ISTA:6060
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7436
Srivastava, T. K. (2019). On derived equivalences of k3 surfaces in positive characteristic. Documenta Mathematica, 24, 1135–1177. https://doi.org/10.25537/dm.2019v24.1135-1177
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 7412
Achlioptas, D., Iliopoulos, F., & Kolmogorov, V. (2019). A local lemma for focused stochastical algorithms. SIAM Journal on Computing, 48(5), 1583–1602. https://doi.org/10.1137/16m109332x
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7397
Lopez Alonso, J. M., Choueiri, G. H., & Hof, B. (2019). Dynamics of viscoelastic pipe flow at low Reynolds numbers in the maximum drag reduction limit. Journal of Fluid Mechanics, 874, 699–719. https://doi.org/10.1017/jfm.2019.486
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7405
Dura-Bernal, S., Suter, B., Gleeson, P., Cantarelli, M., Quintana, A., Rodriguez, F., … Lytton, W. W. (2019). NetPyNE, a tool for data-driven multiscale modeling of brain circuits. ELife, 8, e44494. https://doi.org/10.7554/elife.44494
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7400
Veltsos, P., Ridout, K. E., Toups, M. A., González-Martínez, S. C., Muyle, A., Emery, O., … Pannell, J. R. (2019). Early sex-chromosome evolution in the diploid dioecious plant Mercurialis annua. Genetics, 212(3), 815–835. https://doi.org/10.1534/genetics.119.302045
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7479
Bui Thi Mai, P., & Lampert, C. (2019). Distillation-based training for multi-exit architectures. IEEE International Conference on Computer Vision, 1355–1364.
View
| Files available
2019 | Journal Article | IST-REx-ID: 6089
Fraisse, C., Puixeu Sala, G., & Vicoso, B. (2019). Pleiotropy modulates the efficacy of selection in drosophila melanogaster. Molecular Biology and Evolution, 36(3), 500–515. https://doi.org/10.1093/molbev/msy246
View
| Files available
| DOI
| Download (ext.)
| PubMed | Europe PMC
2019 | Preprint | IST-REx-ID: 7551
Fredes Tolorza, F. A., Silva Sifuentes, M. A., Koppensteiner, P., Kobayashi, K., Jösch, M. A., & Shigemoto, R. (n.d.). Novelty gates memory formation through ventro-dorsal hippocampal interaction. BioRxiv. Cold Spring Harbor Laboratory.
View
| Download (ext.)
2019 | Preprint | IST-REx-ID: 6995
Samarasinghe, R. A., Miranda, O., Mitchell, S., Ferando, I., Watanabe, M., Buth, J. E., … Novitch, B. G. (2019). Identification of neural oscillations and epileptiform changes in human brain organoids. BioRxiv. Cold Spring Harbor Laboratory.
View
| Download (ext.)
2019 | Journal Article | IST-REx-ID: 5
Ganev, I. V. (2019). The wonderful compactification for quantum groups. Journal of the London Mathematical Society, 99(3), 778–806. https://doi.org/10.1112/jlms.12193
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6023
Yoshida, S., Van Der Schuren, A., Van Dop, M., Van Galen, L., Saiga, S., Adibi, M., … Weijers, D. (2019). A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis. Nature Plants, 5(2), 160–166. https://doi.org/10.1038/s41477-019-0363-6
View
| DOI
| Download (ext.)
2019 | Journal Article | IST-REx-ID: 6028
Gerencser, M., & Hairer, M. (2019). A solution theory for quasilinear singular SPDEs. Communications on Pure and Applied Mathematics, 72(9), 1983–2005. https://doi.org/10.1002/cpa.21816
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6105
Kutzer, M., Kurtz, J., & Armitage, S. A. O. (2019). A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance. Journal of Animal Ecology, 88(4), 566–578. https://doi.org/10.1111/1365-2656.12953
View
| Files available
| DOI