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.
1621 Publications
2022 |Published| Conference Paper | IST-REx-ID: 11775 | 
Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Abstract Monitors for Quantitative Specifications.” In 22nd International Conference on Runtime Verification, 13498:200–220. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-17196-3_11.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12052 |
Konstantinova, N, Lukas Hörmayer, Matous Glanc, R Keshkeih, Shutang Tan, M Di Donato, K Retzer, et al. “WAVY GROWTH Arabidopsis E3 Ubiquitin Ligases Affect Apical PIN Sorting Decisions.” Nature Communications. Springer Nature, 2022. https://doi.org/10.1038/s41467-022-32888-8.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 12079 |
Hensel, Sebastian, and Maximilian Moser. “Convergence Rates for the Allen–Cahn Equation with Boundary Contact Energy: The Non-Perturbative Regime.” Calculus of Variations and Partial Differential Equations. Springer Nature, 2022. https://doi.org/10.1007/s00526-022-02307-3.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12054 |
Yang, Z, J Xia, J Hong, C Zhang, H Wei, W Ying, C Sun, et al. “Structural Insights into Auxin Recognition and Efflux by Arabidopsis PIN1.” Nature. Springer Nature, 2022. https://doi.org/10.1038/s41586-022-05143-9.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 12110 |
Henheik, Sven Joscha, and Roderich Tumulka. “Interior-Boundary Conditions for the Dirac Equation at Point Sources in Three Dimensions.” Journal of Mathematical Physics. AIP Publishing, 2022. https://doi.org/10.1063/5.0104675.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12107 |
Roca, Rémy, Victorien De Meyer, and Caroline J Muller. “Precipitating Fraction, Not Intensity, Explains Extreme Coarse-Grained Precipitation Clausius-Clapeyron Scaling with Sea Surface Temperature over Tropical Oceans.” Geophysical Research Letters. Wiley, 2022. https://doi.org/10.1029/2022GL100624.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12129 |
Wagner, Uli, and Emo Welzl. “Connectivity of Triangulation Flip Graphs in the Plane.” Discrete & Computational Geometry. Springer Nature, 2022. https://doi.org/10.1007/s00454-022-00436-2.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12142 |
Ojavee, Sven E., Zoltan Kutalik, and Matthew Richard Robinson. “Liability-Scale Heritability Estimation for Biobank Studies of Low-Prevalence Disease.” The American Journal of Human Genetics. Elsevier, 2022. https://doi.org/10.1016/j.ajhg.2022.09.011.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12151 |
Cooley, Oliver, M. Kang, and O. Pikhurko. “On a Question of Vera T. Sós about Size Forcing of Graphons.” Acta Mathematica Hungarica. Springer Nature, 2022. https://doi.org/10.1007/s10474-022-01265-8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12227 |
Kovačič, Sebastijan, Bettina Schafzahl, Nadejda B. Matsko, Katharina Gruber, Martin Schmuck, Stefan Koller, Stefan Alexander Freunberger, and Christian Slugovc. “Carbon Foams via Ring-Opening Metathesis Polymerization of Emulsion Templates: A Facile Method to Make Carbon Current Collectors for Battery Applications.” ACS Applied Energy Materials. American Chemical Society, 2022. https://doi.org/10.1021/acsaem.2c02787.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12226 |
Pokusaeva, Victoria, Aránzazu Rosado Diez, Lorena Espinar, Albert Torelló Pérez, and Guillaume J. Filion. “Strand Asymmetry Influences Mismatch Resolution during Single-Strand Annealing.” Genome Biology. Springer Nature, 2022. https://doi.org/10.1186/s13059-022-02665-3.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 12233 |
Doan, Nghia, Seyyed Ali Hashemi, Marco Mondelli, and Warren J. Gross. “Decoding Reed-Muller Codes with Successive Codeword Permutations.” IEEE Transactions on Communications. Institute of Electrical and Electronics Engineers, 2022. https://doi.org/10.1109/tcomm.2022.3211101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12432
Anastos, Michael. “Solving the Hamilton Cycle Problem Fast on Average.” In 63rd Annual IEEE Symposium on Foundations of Computer Science, 2022–October:919–30. Institute of Electrical and Electronics Engineers, 2022. https://doi.org/10.1109/FOCS54457.2022.00091.
View
| DOI
| WoS
2022 |Published| Conference Paper | IST-REx-ID: 12516 |
Bogdanov, Andrej, Miguel Cueto Noval, Charlotte Hoffmann, and Alon Rosen. “Public-Key Encryption from Homogeneous CLWE.” In Theory of Cryptography, 13748:565–92. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-22365-5_20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 |Epub ahead of print| Journal Article | IST-REx-ID: 12178 |
Agresti, Antonio, Matthias Hieber, Amru Hussein, and Martin Saal. “The Stochastic Primitive Equations with Transport Noise and Turbulent Pressure.” Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature, 2022. https://doi.org/10.1007/s40072-022-00277-3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2022 |Published| Thesis | IST-REx-ID: 11362 |
Lechner, Mathias. “Learning Verifiable Representations.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11362.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 13452 |
Keszthelyi, Z, A de Koter, Ylva Louise Linsdotter Götberg, G Meynet, S A Brands, V Petit, M Carrington, et al. “The Effects of Surface Fossil Magnetic Fields on Massive Star Evolution: IV. Grids of Models at Solar, LMC, and SMC Metallicities.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2022. https://doi.org/10.1093/mnras/stac2598.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 14098 |
Keszthelyi, Z., A. de Koter, Ylva Louise Linsdotter Götberg, G. Meynet, S. A. Brands, V. Petit, M. Carrington, et al. “The Effects of Surface Fossil Magnetic Fields on Massive Star Evolution: IV. Grids of Models at Solar, LMC, and SMC Metallicities.” Monthly Notices of the Royal Astronomical Society. Oxford Academic, 2022. https://doi.org/10.1093/mnras/stac2598.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11732 |
Henheik, Sven Joscha, and Asbjørn Bækgaard Lauritsen. “The BCS Energy Gap at High Density.” Journal of Statistical Physics. Springer Nature, 2022. https://doi.org/10.1007/s10955-022-02965-9.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Conference Paper | IST-REx-ID: 12167 |
Avarikioti, Georgia, Krzysztof Z Pietrzak, Iosif Salem, Stefan Schmid, Samarth Tiwari, and Michelle X Yeo. “Hide & Seek: Privacy-Preserving Rebalancing on Payment Channel Networks.” In Financial Cryptography and Data Security, 13411:358–73. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-18283-9_17.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv