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.
10779 Publications
2021 | Published | Conference Paper | IST-REx-ID: 9969 | 
Pietrzak, Krzysztof Z, Iosif Salem, Stefan Schmid, and Michelle X Yeo. “LightPIR: Privacy-Preserving Route Discovery for Payment Channel Networks.” IEEE, 2021. https://doi.org/10.23919/IFIPNetworking52078.2021.9472205.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10414 |
Chatterjee, Krishnendu, Ehsan 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
2021 | Published | Conference Paper | IST-REx-ID: 9644 |
Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, and Dorde Zikelic. “Proving Non-Termination by Program Reversal.” In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 1033–48. Association for Computing Machinery, 2021. https://doi.org/10.1145/3453483.3454093.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 19472 |
Morcom L, Gobius I, Marsh AP, Suárez R, Lim JW, Bridges C, Ye Y, Fenlon LR, Zagar Y, Douglass AM, Donahoo A-LS, Fothergill T, Shaikh S, Kozulin P, Edwards TJ, Cooper HM, Sherr EH, Chédotal A, Leventer RJ, Lockhart PJ, Richards LJ. 2021. DCC regulates astroglial development essential for telencephalic morphogenesis and corpus callosum formation. eLife. 10, 61769.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 19489 |
Chan, Stephanie, Christine McMeekin, and Djordjo Milovic. “A Density of Ramified Primes.” Research in Number Theory. Springer Nature, 2021. https://doi.org/10.1007/s40993-021-00295-5.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 19492 |
Chan, Stephanie, and Djordjo Milovic. “Kuroda’s Formula and Arithmetic Statistics.” Mathematische Zeitschrift. Springer Nature, 2021. https://doi.org/10.1007/s00209-021-02823-6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9293 |
Chatterjee, Krishnendu, Wolfgang Dvořák, Monika Henzinger, and Alexander Svozil. “Algorithms and Conditional Lower Bounds for Planning Problems.” Artificial Intelligence. Elsevier, 2021. https://doi.org/10.1016/j.artint.2021.103499.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9239 |
Avni, Guy, Thomas A Henzinger, and Đorđe Žikelić. “Bidding Mechanisms in Graph Games.” Journal of Computer and System Sciences. Elsevier, 2021. https://doi.org/10.1016/j.jcss.2021.02.008.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10007 |
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 | Thesis | IST-REx-ID: 9418 |
Phuong, Mary. “Underspecification in Deep Learning.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9418.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 8606 |
He, P, Yuzhou Zhang, H Li, X Fu, H Shang, C Zou, Jiří Friml, and G Xiao. “GhARF16-1 Modulates Leaf Development by Transcriptionally Regulating the GhKNOX2-1 Gene in Cotton.” Plant Biotechnology Journal. Wiley, 2021. https://doi.org/10.1111/pbi.13484.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8603 |
Frank, Rupert, and Robert Seiringer. “Quantum Corrections to the Pekar Asymptotics of a Strongly Coupled Polaron.” Communications on Pure and Applied Mathematics. Wiley, 2021. https://doi.org/10.1002/cpa.21944.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 8673 |
Modic, Kimberly A, Ross D. McDonald, J.P.C. Ruff, Maja D. Bachmann, You Lai, Johanna C. Palmstrom, David Graf, et al. “Scale-Invariant Magnetic Anisotropy in RuCl3 at High Magnetic Fields.” Nature Physics. Springer Nature, 2021. https://doi.org/10.1038/s41567-020-1028-0.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Thesis | IST-REx-ID: 9056 |
Osang, Georg F. “Multi-Cover Persistence and Delaunay Mosaics.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9056.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 8723 |
Li, Shigang, Tal Ben-Nun Tal Ben-Nun, Giorgi Nadiradze, Salvatore Di Girolamo, Nikoli Dryden, Dan-Adrian Alistarh, and Torsten Hoefler. “Breaking (Global) Barriers in Parallel Stochastic Optimization with Wait-Avoiding Group Averaging.” IEEE Transactions on Parallel and Distributed Systems. IEEE, 2021. https://doi.org/10.1109/TPDS.2020.3040606.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8708 |
Simon, Alexis, Christelle Fraisse, Tahani El Ayari, Cathy Liautard‐Haag, Petr Strelkov, John J Welch, and Nicolas Bierne. “How Do Species Barriers Decay? Concordance and Local Introgression in Mosaic Hybrid Zones of Mussels.” Journal of Evolutionary Biology. Wiley, 2021. https://doi.org/10.1111/jeb.13709.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8816 |
Runkel, Ingo, and Lorant Szegedy. “Area-Dependent Quantum Field Theory.” Communications in Mathematical Physics. Springer Nature, 2021. https://doi.org/10.1007/s00220-020-03902-1.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 8818
Ramirez Villegas, Juan F, Michel Besserve, Yusuke Murayama, Henry C. Evrard, Axel Oeltermann, and Nikos K. Logothetis. “Coupling of Hippocampal Theta and Ripples with Pontogeniculooccipital Waves.” Nature. Springer Nature, 2021. https://doi.org/10.1038/s41586-020-2914-4.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8757 |
Bozelos, Panagiotis, and Tim P Vogels. “Talking Science, Online.” Nature Reviews Neuroscience. Springer Nature, 2021. https://doi.org/10.1038/s41583-020-00408-6.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8792 |
Marveggio, Alice, and Giulio Schimperna. “On a Non-Isothermal Cahn-Hilliard Model Based on a Microforce Balance.” Journal of Differential Equations. Elsevier, 2021. https://doi.org/10.1016/j.jde.2020.10.030.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv