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.
254 Publications
2021 |Published| Conference Paper | IST-REx-ID: 10324 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avarikioti, Zeta, Eleftherios Kokoris Kogias, Roger Wattenhofer, and Dionysis Zindros. “Brick: Asynchronous Incentive-Compatible Payment Channels.” In 25th International Conference on Financial Cryptography and Data Security, 12675:209–30. Springer Nature, 2021. https://doi.org/10.1007/978-3-662-64331-0_11.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10407 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chakraborty, Suvradip, Stefan Dziembowski, Małgorzata Gałązka, Tomasz Lizurej, Krzysztof Z Pietrzak, and Michelle X Yeo. “Trojan-Resilience without Cryptography,” 13043:397–428. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-90453-1_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 |Published| Conference Paper | IST-REx-ID: 10408 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alwen, Joel F, Benedikt Auerbach, Mirza Ahad Baig, Miguel Cueto Noval, Karen Klein, Guillermo Pascual Perez, Krzysztof Z Pietrzak, and Michael Walter. “Grafting Key Trees: Efficient Key Management for Overlapping Groups.” In 19th International Conference, 13044:222–53. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-90456-2_8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 |Published| Journal Article | IST-REx-ID: 10533 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Choi, Jaemyung, David B Lyons, and Daniel Zilberman. “Histone H1 Prevents Non-CG Methylation-Mediated Small RNA Biogenesis in Arabidopsis Heterochromatin.” ELife. eLife Sciences Publications, 2021. https://doi.org/10.7554/elife.72676.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 10549 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fischer, Julian L, and Stefan Neukamm. “Optimal Homogenization Rates in Stochastic Homogenization of Nonlinear Uniformly Elliptic Equations and Systems.” Archive for Rational Mechanics and Analysis. Springer Nature, 2021. https://doi.org/10.1007/s00205-021-01686-9.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10409 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kamath Hosdurg, Chethan, Karen Klein, and Krzysztof Z Pietrzak. “On Treewidth, Separators and Yao’s Garbling.” In 19th International Conference, 13043:486–517. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-90453-1_17.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2021 |Published| Journal Article | IST-REx-ID: 13457 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bodensteiner, J., H. Sana, C. Wang, N. Langer, L. Mahy, G. Banyard, A. de Koter, et al. “The Young Massive SMC Cluster NGC 330 Seen by MUSE. II. Multiplicity Properties of the Massive-Star Population.” Astronomy & Astrophysics. EDP Sciences, 2021. https://doi.org/10.1051/0004-6361/202140507.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10553 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gelashvili, Rati, Eleftherios Kokoris Kogias, Alexander Spiegelman, and Zhuolun Xiang. “Brief Announcement: Be Prepared When Network Goes Bad: An Asynchronous View-Change Protocol.” In Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, 187–90. Association for Computing Machinery, 2021. https://doi.org/10.1145/3465084.3467941.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8824 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Marquès-Bueno, MM, L Armengot, LC Noack, J Bareille, Lesia Rodriguez Solovey, MP Platre, V Bayle, et al. “Auxin-Regulated Reversible Inhibition of TMK1 Signaling by MAKR2 Modulates the Dynamics of Root Gravitropism.” Current Biology. Elsevier, 2021. https://doi.org/10.1016/j.cub.2020.10.011.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Thesis | IST-REx-ID: 10007 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hensel, Sebastian. “Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10007.
[Published Version]
View
| Files available
| DOI
2021 |Published| Journal Article | IST-REx-ID: 8429 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Patxot, Marion, Daniel Trejo Banos, Athanasios Kousathanas, Etienne J Orliac, Sven E Ojavee, Gerhard Moser, Julia Sidorenko, et al. “Probabilistic Inference of the Genetic Architecture Underlying Functional Enrichment of Complex Traits.” Nature Communications. Springer Nature, 2021. https://doi.org/10.1038/s41467-021-27258-9.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Conference Paper | IST-REx-ID: 9441 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Boissonnat, Jean-Daniel, Siargey Kachanovich, and Mathijs Wintraecken. “Tracing Isomanifolds in Rd in Time Polynomial in d Using Coxeter-Freudenthal-Kuhn Triangulations.” In 37th International Symposium on Computational Geometry (SoCG 2021), 189:17:1-17:16. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.SoCG.2021.17.
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Paper | IST-REx-ID: 10410 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kamath Hosdurg, Chethan, Karen Klein, Krzysztof Z Pietrzak, and Michael Walter. “The Cost of Adaptivity in Security Games on Graphs.” In 19th International Conference, 13043:550–81. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-90453-1_19.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2021 |Published| Conference Paper | IST-REx-ID: 10206 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lukina, Anna, Christian Schilling, and Thomas A Henzinger. “Into the Unknown: Active Monitoring of Neural Networks.” In 21st International Conference on Runtime Verification, 12974:42–61. Cham: Springer Nature, 2021. https://doi.org/10.1007/978-3-030-88494-9_3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8248 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Boissonnat, Jean-Daniel, Ramsay Dyer, Arijit Ghosh, Andre Lieutier, and Mathijs Wintraecken. “Local Conditions for Triangulating Submanifolds of Euclidean Space.” Discrete and Computational Geometry. Springer Nature, 2021. https://doi.org/10.1007/s00454-020-00233-9.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2021 |Published| Journal Article | IST-REx-ID: 15275 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fox, Jacob, János Pach, and Andrew Suk. “Bounded VC-Dimension Implies the Schur-Erdős Conjecture.” Combinatorica. Springer Nature, 2021. https://doi.org/10.1007/s00493-021-4530-9.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10414 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.” In 24th International Symposium on Formal Methods, 13047:619–39. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-90870-6_33.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 11611 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chaplin WJ, Serenelli AM, Miglio A, Morel T, Mackereth JT, Vincenzo F, Kjeldsen H, Basu S, Ball WH, Stokholm A, Verma K, Mosumgaard JR, Silva Aguirre V, Mazumdar A, Ranadive P, Antia HM, Lebreton Y, Ong J, Appourchaux T, Bedding TR, Christensen-Dalsgaard J, Creevey O, García RA, Handberg R, Huber D, Kawaler SD, Lund MN, Metcalfe TS, Stassun KG, Bazot M, Beck PG, Bell KJ, Bergemann M, Buzasi DL, Benomar O, Bossini D, Bugnet LA, Campante TL, Orhan ZÇ, Corsaro E, González-Cuesta L, Davies GR, Di Mauro MP, Egeland R, Elsworth YP, Gaulme P, Ghasemi H, Guo Z, Hall OJ, Hasanzadeh A, Hekker S, Howe R, Jenkins JM, Jiménez A, Kiefer R, Kuszlewicz JS, Kallinger T, Latham DW, Lundkvist MS, Mathur S, Montalbán J, Mosser B, Bedón AM, Nielsen MB, Örtel S, Rendle BM, Ricker GR, Rodrigues TS, Roxburgh IW, Safari H, Schofield M, Seager S, Smalley B, Stello D, Szabó R, Tayar J, Themeßl N, Thomas AEL, Vanderspek RK, van Rossem WE, Vrard M, Weiss A, White TR, Winn JN, Yıldız M. 2020. Age dating of an early Milky Way merger via asteroseismology of the naked-eye star ν Indi. Nature Astronomy. 4(4), 382–389.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |Published| Book | IST-REx-ID: 8414
Kaloshin, Vadim, and Ke Zhang. Arnold Diffusion for Smooth Systems of Two and a Half Degrees of Freedom. 1st ed. Vol. 208. AMS. Princeton University Press, 2020. https://doi.org/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, Par Alizadeh, Guy Avni, Thomas A Henzinger, and Anna Lukina. “Formal Methods with a Touch of Magic.” In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, 138–47. TU Wien Academic Press, 2020. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21.
[Published Version]
View
| Files available
| DOI