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.
253 Publications
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
2020 |Published| Journal Article | IST-REx-ID: 7600 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tan, Shutang, Xixi Zhang, Wei Kong, Xiao-Li Yang, Gergely Molnar, Zuzana Vondráková, Roberta Filepová, Jan Petrášek, Jiří Friml, and Hong-Wei Xue. “The Lipid Code-Dependent Phosphoswitch PDK1–D6PK Activates PIN-Mediated Auxin Efflux in Arabidopsis.” Nature Plants. Springer Nature, 2020. https://doi.org/10.1038/s41477-020-0648-9.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2020 |Published| Journal Article | IST-REx-ID: 8038 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fink, Johannes M, M. Kalaee, R. Norte, A. Pitanti, and O. Painter. “Efficient Microwave Frequency Conversion Mediated by a Photonics Compatible Silicon Nitride Nanobeam Oscillator.” Quantum Science and Technology. IOP Publishing, 2020. https://doi.org/10.1088/2058-9565/ab8dce.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Journal Article | IST-REx-ID: 8036 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Collard, Ylona, Galien M Grosjean, and Nicolas Vandewalle. “Magnetically Powered Metachronal Waves Induce Locomotion in Self-Assemblies.” Communications Physics. Springer Nature, 2020. https://doi.org/10.1038/s42005-020-0380-9.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Journal Article | IST-REx-ID: 8337 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Antoniadi, Ioanna, Ondřej Novák, Zuzana Gelová, Alexander J Johnson, Ondřej Plíhal, Radim Simerský, Václav Mik, et al. “Cell-Surface Receptors Enable Perception of Extracellular Cytokinins.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-17700-9.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Journal Article | IST-REx-ID: 8588 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hubert, C., K. Cohen, Areg Ghazaryan, Mikhail Lemeshko, R. Rapaport, and P. V. Santos. “Attractive Interactions, Molecular Complexes, and Polarons in Coupled Dipolar Exciton Fluids.” Physical Review B. American Physical Society, 2020. https://doi.org/10.1103/physrevb.102.045307.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 7489 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fischer, Julian L, and Sebastian Hensel. “Weak–Strong Uniqueness for the Navier–Stokes Equation for Two Fluids with Surface Tension.” Archive for Rational Mechanics and Analysis. Springer Nature, 2020. https://doi.org/10.1007/s00205-019-01486-2.
[Published Version]
View
| Files available
| DOI
| WoS
2020 |Published| Conference Paper | IST-REx-ID: 10328
Lambert, Nicholas J., Sonia Mobassem, Alfredo R Rueda Sanchez, and Harald G.L. Schwefel. “New Designs and Noise Channels in Electro-Optic Microwave to Optical up-Conversion.” In OSA Quantum 2.0 Conference. Optica Publishing Group, 2020. https://doi.org/10.1364/QUANTUM.2020.QTu8A.1.
View
| DOI
2020 |Published| Conference Paper | IST-REx-ID: 10556 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kokoris Kogias, Eleftherios, Dahlia Malkhi, and Alexander Spiegelman. “Asynchronous Distributed Key Generation for Computationally-Secure Randomness, Consensus, and Threshold Signatures.” In Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, 1751–1767. Association for Computing Machinery, 2020. https://doi.org/10.1145/3372297.3423364.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2020 |Published| Journal Article | IST-REx-ID: 6906 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Boccato, Chiara, Christian Brennecke, Serena Cenatiempo, and Benjamin Schlein. “Optimal Rate for Bose-Einstein Condensation in the Gross-Pitaevskii Regime.” Communications in Mathematical Physics. Springer, 2020. https://doi.org/10.1007/s00220-019-03555-9.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |Published| Journal Article | IST-REx-ID: 7889 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mitiouchkina T, Mishin AS, Gonzalez Somermeyer L, Markina NM, Chepurnyh TV, Guglya EB, Karataeva TA, Palkina KA, Shakhova ES, Fakhranurova LI, Chekova SV, Tsarkova AS, Golubev YV, Negrebetsky VV, Dolgushin SA, Shalaev PV, Shlykov D, Melnik OA, Shipunova VO, Deyev SM, Bubyrev AI, Pushin AS, Choob VV, Dolgov SV, Kondrashov F, Yampolsky IV, Sarkisyan KS. 2020. Plants with genetically encoded autoluminescence. Nature Biotechnology. 38, 944–946.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |Published| Conference Paper | IST-REx-ID: 11865 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Daga, Mohit, Monika H Henzinger, Danupon Nanongkai, and Thatchaphol Saranurak. “Distributed Edge Connectivity in Sublinear Time.” In Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, 343–354. Association for Computing Machinery, 2019. https://doi.org/10.1145/3313276.3316346.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 11871 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bernstein, Aaron, Sebastian Forster, and Monika H Henzinger. “A Deamortization Approach for Dynamic Spanner and Dynamic Maximal Matching.” In 30th Annual ACM-SIAM Symposium on Discrete Algorithms, 1899–1918. Society for Industrial and Applied Mathematics, 2019. https://doi.org/10.1137/1.9781611975482.115.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 6628 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vegter, Gert, and Mathijs Wintraecken. “The Extrinsic Nature of the Hausdorff Distance of Optimal Triangulations of Manifolds.” In The 31st Canadian Conference in Computational Geometry, 275–79, 2019.
[Submitted Version]
View
| Files available
2019 |Published| Conference Paper | IST-REx-ID: 6931 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nowak, Thomas, and Joel Rybicki. “Byzantine Approximate Agreement on Graphs.” In 33rd International Symposium on Distributed Computing, 146:29:1--29:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.DISC.2019.29.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |Published| Book (Editor) | IST-REx-ID: 7171
Kersting, Kristian, Christoph Lampert, and Constantin Rothkopf, eds. Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt. 1st ed. Wiesbaden: Springer Nature, 2019. https://doi.org/10.1007/978-3-658-26763-6.
View
| Files available
| DOI
2019 |Published| Journal Article | IST-REx-ID: 8405 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gauto, Diego F., Leandro F. Estrozi, Charles D. Schwieters, Gregory Effantin, Pavel Macek, Remy Sounier, Astrid C. Sivertsen, et al. “Integrated NMR and Cryo-EM Atomic-Resolution Structure Determination of a Half-Megadalton Enzyme Complex.” Nature Communications. Springer Nature, 2019. https://doi.org/10.1038/s41467-019-10490-9.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC