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.
2079 Publications
2022 |
Published |
Journal Article |
IST-REx-ID: 11705 |
Chang C, Liu Y, Lee S, Spadaro M, Koskela KM, Kleinhanns T, Costanzo T, Arbiol J, Brutchey RL, Ibáñez M. 2022. Surface functionalization of surfactant-free particles: A strategy to tailor the properties of nanocomposites for enhanced thermoelectric performance. Angewandte Chemie - International Edition. 61(35), e202207002.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |
Published |
Conference Paper |
IST-REx-ID: 11707 |
Balliu A, Hirvonen J, Melnyk D, Olivetti D, Rybicki J, Suomela J. 2022. Local mending. International Colloquium on Structural Information and Communication Complexity. SIROCCO: Structural Information and Communication ComplexityLNCS vol. 13298, 1–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Journal Article |
IST-REx-ID: 11732 |
Henheik SJ, Lauritsen AB. 2022. The BCS energy gap at high density. Journal of Statistical Physics. 189, 5.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Journal Article |
IST-REx-ID: 11733 |
Orliac EJ, Trejo Banos D, Ojavee SE, Läll K, Mägi R, Visscher PM, Robinson MR. 2022. Improving GWAS discovery and genomic prediction accuracy in biobank data. Proceedings of the National Academy of Sciences of the United States of America. 119(31), e2121279119.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |
Published |
Journal Article |
IST-REx-ID: 11740 |
Cooley O, Del Giudice N, Kang M, Sprüssel P. 2022. Phase transition in cohomology groups of non-uniform random simplicial complexes. Electronic Journal of Combinatorics. 29(3), P3.27.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |
Published |
Conference Paper |
IST-REx-ID: 11775 |
Henzinger TA, Mazzocchi NA, Sarac NE. 2022. Abstract monitors for quantitative specifications. 22nd International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 13498, 200–220.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 11777 |
Wild P. 2022. High-dimensional expansion and crossing numbers of simplicial complexes. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Conference Paper |
IST-REx-ID: 11812 |
Hanauer K, Henzinger M, Hua QC. 2022. Fully dynamic four-vertex subgraph counting. 1st Symposium on Algorithmic Foundations of Dynamic Networks. SAND: Symposium on Algorithmic Foundations of Dynamic Networks, LIPIcs, vol. 221, 18.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 |
Published |
Conference Paper |
IST-REx-ID: 11839 |
Prach B, Lampert C. 2022. Almost-orthogonal layers for efficient general-purpose Lipschitz networks. Computer Vision – ECCV 2022. ECCV: European Conference on Computer Vision, LNCS, vol. 13681, 350–365.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |
Published |
Journal Article |
IST-REx-ID: 11858 |
Agresti A, Veraar M. 2022. Nonlinear parabolic stochastic evolution equations in critical spaces part II. Journal of Evolution Equations. 22(2), 56.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Conference Paper |
IST-REx-ID: 12000 |
Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. 2022. Sound and complete certificates for auantitative termination analysis of probabilistic programs. Proceedings of the 34th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13371, 55–78.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Journal Article |
IST-REx-ID: 12052 |
Konstantinova N, Hörmayer L, Glanc M, Keshkeih R, Tan S, Di Donato M, Retzer K, Moulinier-Anzola J, Schwihla M, Korbei B, Geisler M, Friml J, Luschnig C. 2022. WAVY GROWTH Arabidopsis E3 ubiquitin ligases affect apical PIN sorting decisions. Nature Communications. 13, 5147.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |
Published |
Journal Article |
IST-REx-ID: 12054 |
Yang Z, Xia J, Hong J, Zhang C, Wei H, Ying W, Sun C, Sun L, Mao Y, Gao Y, Tan S, Friml J, Li D, Liu X, Sun L. 2022. Structural insights into auxin recognition and efflux by Arabidopsis PIN1. Nature. 609(7927), 611–615.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12072 |
Shute AL. 2022. Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Journal Article |
IST-REx-ID: 12079 |
Hensel S, Moser M. 2022. Convergence rates for the Allen–Cahn equation with boundary contact energy: The non-perturbative regime. Calculus of Variations and Partial Differential Equations. 61(6), 201.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Journal Article |
IST-REx-ID: 12107 |
Roca R, De Meyer V, Muller CJ. 2022. Precipitating fraction, not intensity, explains extreme coarse-grained precipitation Clausius-Clapeyron scaling with sea surface temperature over tropical oceans. Geophysical Research Letters. 49(24), e2022GL100624.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Journal Article |
IST-REx-ID: 12110 |
Henheik SJ, Tumulka R. 2022. Interior-boundary conditions for the Dirac equation at point sources in three dimensions. Journal of Mathematical Physics. 63(12), 122302.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Journal Article |
IST-REx-ID: 12129 |
Wagner U, Welzl E. 2022. Connectivity of triangulation flip graphs in the plane. Discrete & Computational Geometry. 68(4), 1227–1284.
[Published Version]
View
| Files available
| DOI
| WoS