Please note that ISTA 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.
1790 Publications
2020 |Published| Conference Paper | IST-REx-ID: 8339 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Genise N, Micciancio D, Peikert C, Walter M. Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In: 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography. Vol 12110. Springer Nature; 2020:623-651. doi:10.1007/978-3-030-45374-9_21
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Submitted| Preprint | IST-REx-ID: 8404 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Weinhäupl K, Wang Y, Hessel A, Brennich M, Lindorff-Larsen K, Schanda P. Architecture and subunit dynamics of the mitochondrial TIM9·10·12 chaperone. bioRxiv. doi:10.1101/2020.03.13.990150
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 |Published| Book | IST-REx-ID: 8414
Kaloshin V, Zhang K. Arnold Diffusion for Smooth Systems of Two and a Half Degrees of Freedom. Vol 208. 1st ed. Princeton University Press; 2020. doi:10.1515/9780691204932
View
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 9040 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alamdari PA, Avni G, Henzinger TA, Lukina A. Formal methods with a touch of magic. In: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. TU Wien Academic Press; 2020:138-147. doi:10.34727/2020/isbn.978-3-85448-042-6_21
[Published Version]
View
| Files available
| DOI
2020 |Published| Book Chapter | IST-REx-ID: 9096
Schmid-Hempel P, Cremer S. Parasites and Pathogens. In: Starr C, ed. Encyclopedia of Social Insects. Cham: Springer Nature; 2020. doi:10.1007/978-3-319-90306-4_94-1
View
| DOI
2020 |Published| Journal Article | IST-REx-ID: 9249 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Biswas R, Largeteau-Skapin G, Zrour R, Andres E. Digital objects in rhombic dodecahedron grid. Mathematical Morphology - Theory and Applications. 2020;4(1):143-158. doi:10.1515/mathm-2020-0106
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 9299 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pach J, Tardos G, Tóth G. Crossings between non-homotopic edges. In: 28th International Symposium on Graph Drawing and Network Visualization. Vol 12590. LNCS. Springer Nature; 2020:359-371. doi:10.1007/978-3-030-68766-3_28
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 9129
Shamekh S, Muller CJ, Duvel J-P, D’Andrea F. How do ocean warm anomalies favor the aggregation of deep convective clouds? Journal of the Atmospheric Sciences. 2020;77(11):3733-3745. doi:10.1175/jas-d-18-0369.1
View
| DOI
2020 |Published| Journal Article | IST-REx-ID: 9583 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ferber A, Kwan MA. Almost all Steiner triple systems are almost resolvable. Forum of Mathematics. 2020;8. doi:10.1017/fms.2020.29
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 9578 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bucić M, Kwan MA, Pokrovskiy A, Sudakov B, Tran T, Wagner AZ. Nearly-linear monotone paths in edge-ordered graphs. Israel Journal of Mathematics. 2020;238(2):663-685. doi:10.1007/s11856-020-2035-7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 9581 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kwan MA. Almost all Steiner triple systems have perfect matchings. Proceedings of the London Mathematical Society. 2020;121(6):1468-1495. doi:10.1112/plms.12373
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 12940 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Meisenbichler C, Kluibenschedl F, Müller T. A 3-in-1 hand-held ambient mass spectrometry interface for identification and 2D localization of chemicals on surfaces. Analytical Chemistry. 2020;92(21):14314-14318. doi:10.1021/acs.analchem.0c02615
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 |Published| Book (Editor) | IST-REx-ID: 7474 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schlögl A, Kiss J, Elefante S, eds. Austrian High-Performance-Computing Meeting (AHPC2020). Klosterneuburg, Austria: IST Austria; 2020. doi:10.15479/AT:ISTA:7474
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7808 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Giacobbe M, Henzinger TA, Lechner M. How many bits does it take to quantize your neural network? In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 12079. Springer Nature; 2020:79-97. doi:10.1007/978-3-030-45237-7_5
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7952 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Boissonnat J-D, Wintraecken M. The topological correctness of PL-approximations of isomanifolds. In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.20
[Published Version]
View
| Files available
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 7990 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Wagner U, Welzl E. Connectivity of triangulation flip graphs in the plane (Part II: Bistellar flips). In: 36th International Symposium on Computational Geometry. Vol 164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.SoCG.2020.67
[Published Version]
View
| Files available
| DOI
| arXiv
2020 |Published| Conference Paper | IST-REx-ID: 7807 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Wagner U, Welzl E. Connectivity of triangulation flip graphs in the plane (Part I: Edge flips). In: Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. Vol 2020-January. SIAM; 2020:2823-2841. doi:10.1137/1.9781611975994.172
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 13466 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bodensteiner J, Sana H, Mahy L, et al. The young massive SMC cluster NGC 330 seen by MUSE. Astronomy & Astrophysics. 2020;634. doi:10.1051/0004-6361/201936743
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 13467 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Götberg YLL, de Mink SE, McQuinn M, Zapartas E, Groh JH, Norman C. Contribution from stars stripped in binaries to cosmic reionization of hydrogen and helium. Astronomy & Astrophysics. 2020;634. doi:10.1051/0004-6361/201936669
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 13463 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Renzo M, Farmer R, Justham S, et al. Predictions for the hydrogen-free ejecta of pulsational pair-instability supernovae. Astronomy & Astrophysics. 2020;640. doi:10.1051/0004-6361/202037710
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv