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.
9626 Publications
2024 |Published| Conference Paper | IST-REx-ID: 17327 |
Abstraction-based decision making for statistical properties
F. Cano, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, 9th International Conference on Formal Structures for Computation and Deduction, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
F. Cano, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, 9th International Conference on Formal Structures for Computation and Deduction, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 |Published| Journal Article | IST-REx-ID: 15298 |
Land surface modeling informed by earth observation data: Toward understanding blue–green–white water fluxes in High Mountain Asia
P. Buri, S. Fatichi, T. Shaw, C.L. Fyffe, E.S. Miles, M. McCarthy, M. Kneib, S. Ren, A. Jouberton, S. Fugger, L. Jia, J. Zhang, C. Shen, C. Zheng, M. Menenti, F. Pellicciotti, Geo-Spatial Information Science 27 (2024) 703–727.
[Published Version]
View
| Files available
| DOI
P. Buri, S. Fatichi, T. Shaw, C.L. Fyffe, E.S. Miles, M. McCarthy, M. Kneib, S. Ren, A. Jouberton, S. Fugger, L. Jia, J. Zhang, C. Shen, C. Zheng, M. Menenti, F. Pellicciotti, Geo-Spatial Information Science 27 (2024) 703–727.
2024 |Published| Journal Article | IST-REx-ID: 17323 |
Strong divisibility sequences and sieve methods
T.D. Browning, M. Verzobio, Mathematika 70 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.D. Browning, M. Verzobio, Mathematika 70 (2024).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17322 |
Cartesian atomic cluster expansion for machine learning interatomic potentials
B. Cheng, Npj Computational Materials 10 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
B. Cheng, Npj Computational Materials 10 (2024).
2024 | Research Data | IST-REx-ID: 17344 |
Mathematica notebook for "Effect of assortative mating and sexual selection on polygenic barriers to gene flow'
P. Surendranadh, H. Sachdeva, (2024).
[Published Version]
View
| Files available
| DOI
P. Surendranadh, H. Sachdeva, (2024).
2024 |Published| Thesis | IST-REx-ID: 17319
Membrane proteins in plant physiology and bioenergetics: Investigating auxin efflux transporter PIN8 and ATP synthase inhibition by the novel inhibitor Yaku'amide B
K. Lukic, Membrane Proteins in Plant Physiology and Bioenergetics: Investigating Auxin Efflux Transporter PIN8 and ATP Synthase Inhibition by the Novel Inhibitor Yaku’amide B, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
K. Lukic, Membrane Proteins in Plant Physiology and Bioenergetics: Investigating Auxin Efflux Transporter PIN8 and ATP Synthase Inhibition by the Novel Inhibitor Yaku’amide B, Institute of Science and Technology Austria, 2024.
2024 |Submitted| Preprint | IST-REx-ID: 17361 |
Symplectic structures on the space of space curves
M. Bauer, S. Ishida, P.W. Michor, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Bauer, S. Ishida, P.W. Michor, ArXiv (n.d.).
2024 |Published| Journal Article | IST-REx-ID: 17372 |
Reaction-diffusion equations with transport noise and critical superlinear diffusion: Global well-posedness of weakly dissipative systems
A. Agresti, M. Veraar, SIAM Journal on Mathematical Analysis 56 (2024) 4870–4927.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Agresti, M. Veraar, SIAM Journal on Mathematical Analysis 56 (2024) 4870–4927.
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17376 |
The inertia bound is far from tight
M.A. Kwan, Y. Wigderson, Bulletin of the London Mathematical Society (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
M.A. Kwan, Y. Wigderson, Bulletin of the London Mathematical Society (2024).
2024 |Published| Journal Article | IST-REx-ID: 17375 |
Precise asymptotics for the spectral radius of a large random matrix
G. Cipolloni, L. Erdös, Y. Xu, Journal of Mathematical Physics 65 (2024).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Cipolloni, L. Erdös, Y. Xu, Journal of Mathematical Physics 65 (2024).
2024 |In Press| Journal Article | IST-REx-ID: 17377
BiAux, a newly discovered compound triggering auxin signaling
B. Wójcikowska, J. Friml, E. Mazur, Trends in Plant Science (n.d.).
View
| DOI
| PubMed | Europe PMC
B. Wójcikowska, J. Friml, E. Mazur, Trends in Plant Science (n.d.).
2024 |Published| Conference Paper | IST-REx-ID: 17374 |
Lite2Relight: 3D-aware single image portrait relighting
P. Rao, G. Fox, A. Meka, B.R. Mallikarjun, F. Zhan, T. Weyrich, B. Bickel, H. Pfister, W. Matusik, M. Elgharib, C. Theobalt, in:, Proceedings - SIGGRAPH 2024 Conference Papers, Association for Computing Machinery, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
P. Rao, G. Fox, A. Meka, B.R. Mallikarjun, F. Zhan, T. Weyrich, B. Bickel, H. Pfister, W. Matusik, M. Elgharib, C. Theobalt, in:, Proceedings - SIGGRAPH 2024 Conference Papers, Association for Computing Machinery, 2024.
2024 | Research Data | IST-REx-ID: 17196 |
A gate-tunable transmon in planar Ge
O. Sagi, (2024).
[Published Version]
View
| Files available
| DOI
O. Sagi, (2024).
2024 |Published| Journal Article | IST-REx-ID: 17373 |
Beyond the blur: Using experimentally determined point spread functions to improve scanning Kelvin probe imaging
I.C. Lenton, F. Pertl, L.B. Shafeek, S.R. Waitukaitis, Journal of Applied Physics 136 (2024).
[Published Version]
View
| Files available
| DOI
I.C. Lenton, F. Pertl, L.B. Shafeek, S.R. Waitukaitis, Journal of Applied Physics 136 (2024).
2024 |Published| Journal Article | IST-REx-ID: 17389 |
Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning
Severin B, Lennon DT, Camenzind LC, Vigneau F, Fedele F, Jirovec D, Ballabio A, Chrastina D, Isella G, de Kruijf M, Carballido MJ, Svab S, Kuhlmann AV, Geyer S, Froning FNM, Moon H, Osborne MA, Sejdinovic D, Katsaros G, Zumbühl DM, Briggs GAD, Ares N. 2024. Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning. Scientific Reports. 14, 17281.
[Published Version]
View
| Files available
| DOI
| arXiv
Severin B, Lennon DT, Camenzind LC, Vigneau F, Fedele F, Jirovec D, Ballabio A, Chrastina D, Isella G, de Kruijf M, Carballido MJ, Svab S, Kuhlmann AV, Geyer S, Froning FNM, Moon H, Osborne MA, Sejdinovic D, Katsaros G, Zumbühl DM, Briggs GAD, Ares N. 2024. Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning. Scientific Reports. 14, 17281.
2024 |Published| Thesis | IST-REx-ID: 17346
Stability and change in the memory system during rest
L. Bollmann, Stability and Change in the Memory System during Rest, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
L. Bollmann, Stability and Change in the Memory System during Rest, Institute of Science and Technology Austria, 2024.
2024 |Published| Conference Paper | IST-REx-ID: 17413 |
Certifying phase abstraction
N. Froleyks, E. Yu, A. Biere, K. Heljanko, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 284–303.
[Published Version]
View
| Files available
| DOI
| arXiv
N. Froleyks, E. Yu, A. Biere, K. Heljanko, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 284–303.
2024 |Published| Journal Article | IST-REx-ID: 17410 |
Remote sensing of a levitated superconductor with a flux-tunable microwave cavity
P. Schmidt, R. Claessen, G. Higgins, J. Hofer, J.J. Hansen, P. Asenbaum, M. Zemlicka, K. Uhl, R. Kleiner, R. Gross, H. Huebl, M. Trupke, M. Aspelmeyer, Physical Review Applied 22 (2024).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Schmidt, R. Claessen, G. Higgins, J. Hofer, J.J. Hansen, P. Asenbaum, M. Zemlicka, K. Uhl, R. Kleiner, R. Gross, H. Huebl, M. Trupke, M. Aspelmeyer, Physical Review Applied 22 (2024).
2024 |Submitted| Conference Paper | IST-REx-ID: 17053
Ternary simulation as abstract interpretation (Work in Progress)
N. Froleyks, E. Yu, A. Biere, in:, 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, n.d., pp. 148–151.
View
N. Froleyks, E. Yu, A. Biere, in:, 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, n.d., pp. 148–151.
2024 |Published| Journal Article | IST-REx-ID: 17326 |
Detectability of axisymmetric magnetic fields from the core to the surface of oscillating post-main-sequence stars
S. Bhattacharya, S.B. Das, L.A. Bugnet, S. Panda, S.M. Hanasoge, Astrophysical Journal 970 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
S. Bhattacharya, S.B. Das, L.A. Bugnet, S. Panda, S.M. Hanasoge, Astrophysical Journal 970 (2024).