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.
323 Publications
2024 | Research Data | IST-REx-ID: 17362 | 
Data for: "Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome"
M.N. Elkrewi, B. Vicoso, (2024).
[Published Version]
View
| Files available
| DOI
M.N. Elkrewi, B. Vicoso, (2024).
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).
2024 |Published| Conference Paper | IST-REx-ID: 17402 |
Playing games with your PET: Extending the Partial Exploration Tool to stochastic games
T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.
[Published Version]
View
| Files available
| DOI
| arXiv
T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.
2024 |Published| Journal Article | IST-REx-ID: 17396 |
Wildfires impact on PM2.5 concentration in galicia Spain
C. Quishpe-Vásquez, P. Oliva, E.A. López-Barrera, A. Casallas Garcia, Journal of Environmental Management 367 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Quishpe-Vásquez, P. Oliva, E.A. López-Barrera, A. Casallas Garcia, Journal of Environmental Management 367 (2024).
2024 |Published| Journal Article | IST-REx-ID: 17408 |
Highly regenerative species-specific genes improve age-associated features in the adult Drosophila midgut
H. NAGAI, Y. Adachi, T. Nakasugi, E. Takigawa, J. Ui, T. Makino, M. Miura, Y.I. Nakajima, BMC Biology 22 (2024).
[Published Version]
View
| Files available
| DOI
H. NAGAI, Y. Adachi, T. Nakasugi, E. Takigawa, J. Ui, T. Makino, M. Miura, Y.I. Nakajima, BMC Biology 22 (2024).
2024 |Published| Journal Article | IST-REx-ID: 17409 |
All-visible-light-driven salicylidene schiff-base-functionalized artificial molecular motors
S. Van Vliet, J. Sheng, C.N. Stindt, B.L. Feringa, Nature Communications 15 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Van Vliet, J. Sheng, C.N. Stindt, B.L. Feringa, Nature Communications 15 (2024).
2024 |Published| Conference Paper | IST-REx-ID: 17411 |
PEFLL: Personalized federated learning by learning to learn
J.A. Scott, H. Zakerinia, C. Lampert, in:, 12th International Conference on Learning Representations, OpenReview, 2024.
[Published Version]
View
| Files available
| arXiv
J.A. Scott, H. Zakerinia, C. Lampert, in:, 12th International Conference on Learning Representations, OpenReview, 2024.
2024 |Published| Journal Article | IST-REx-ID: 17407 |
Designing athermal disordered solids with automatic differentiation
M. Zu, C.P. Goodrich, Communications Materials 5 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Zu, C.P. Goodrich, Communications Materials 5 (2024).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17412 |
Influence of the catalyst surface chemistry on the electrochemical self-coupling of biomass-derived benzaldehyde into hydrobenzoin
L. Gong, S. Zhao, J. Yu, J. Li, J. Arbiol, T. Kallio, M. Calcabrini, P.R. Martínez-Alanis, M. Ibáñez, A. Cabot, Energy Advances (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Gong, S. Zhao, J. Yu, J. Li, J. Arbiol, T. Kallio, M. Calcabrini, P.R. Martínez-Alanis, M. Ibáñez, A. Cabot, Energy Advances (2024).
2024 |Published| Journal Article | IST-REx-ID: 17424
Computational homogenization for inverse design of surface-based inflatables
Y. Ren, J. Panetta, S. Suzuki, U. Kusupati, F. Isvoranu, M. Pauly, ACM Transactions on Graphics 43 (2024).
View
| DOI
Y. Ren, J. Panetta, S. Suzuki, U. Kusupati, F. Isvoranu, M. Pauly, ACM Transactions on Graphics 43 (2024).
2024 |Published| Conference Paper | IST-REx-ID: 17423
Reach for the arcs: Reconstructing surfaces from SDFs via tangent points
S. Sellán, Y. Ren, C. Batty, O. Stein, in:, SIGGRAPH ’24: Special Interest Group on Computer Graphics and Interactive Techniques Conference, Association for Computing Machinery, 2024.
View
| DOI
S. Sellán, Y. Ren, C. Batty, O. Stein, in:, SIGGRAPH ’24: Special Interest Group on Computer Graphics and Interactive Techniques Conference, Association for Computing Machinery, 2024.
2024 |Published| Conference Paper | IST-REx-ID: 17214 |
Primal-dual non-smooth friction for rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24, Association for Computing Machinery, 2024.
[Published Version]
View
| Files available
| DOI
Y.-L. Chen, M. Ly, C. Wojtan, in:, Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24, Association for Computing Machinery, 2024.
2024 |Published| Journal Article | IST-REx-ID: 17143 |
Local conditions for global convergence of gradient flows and proximal point sequences in metric spaces
L. Dello Schiavo, J. Maas, F. Pedrotti, Transactions of the American Mathematical Society 377 (2024) 3779–3804.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
L. Dello Schiavo, J. Maas, F. Pedrotti, Transactions of the American Mathematical Society 377 (2024) 3779–3804.
2024 |Published| Thesis | IST-REx-ID: 17368
Bayesian linear regression for analyzing general omics data with time-to-event phenotypes
A. Villanueva Marijuan, Bayesian Linear Regression for Analyzing General Omics Data with Time-to-Event Phenotypes, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
A. Villanueva Marijuan, Bayesian Linear Regression for Analyzing General Omics Data with Time-to-Event Phenotypes, Institute of Science and Technology Austria, 2024.
2024 |Submitted| Preprint | IST-REx-ID: 17350 |
Improved convergence of score-based diffusion models via prediction-correction
F. Pedrotti, J. Maas, M. Mondelli, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
F. Pedrotti, J. Maas, M. Mondelli, ArXiv (n.d.).
2024 |Submitted| Preprint | IST-REx-ID: 17352 |
L∞-optimal transport of anisotropic log-concave measures and exponential convergence in Fisher's infinitesimal model
K. Khudiakova, J. Maas, F. Pedrotti, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Khudiakova, J. Maas, F. Pedrotti, ArXiv (n.d.).