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.
5148 Publications
2024 |Published| Conference Paper | IST-REx-ID: 17413 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Conference Paper | IST-REx-ID: 17214 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| 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 |Published| Book Chapter | IST-REx-ID: 17425
Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers
O. Miranda, G.T. Cheung, S. Hippenmeyer, in:, K. Toyooka (Ed.), Neuronal Morphogenesis, 1st ed., Springer Nature, New York, NY, 2024, pp. 283–299.
View
| DOI
| PubMed | Europe PMC
O. Miranda, G.T. Cheung, S. Hippenmeyer, in:, K. Toyooka (Ed.), Neuronal Morphogenesis, 1st ed., Springer Nature, New York, NY, 2024, pp. 283–299.
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17437 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rational singularities for moment maps of totally negative quivers
T. Vernet, Transformation Groups (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Vernet, Transformation Groups (2024).
2024 |Published| Conference Paper | IST-REx-ID: 17426
1-Lipschitz layers compared: Memory, speed, and certifiable robustness
B. Prach, F. Brau, G. Buttazzo, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Computer Vision Foundation, 2024, pp. 24574–24583.
[Published Version]
View
| Files available
B. Prach, F. Brau, G. Buttazzo, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Computer Vision Foundation, 2024, pp. 24574–24583.
2024 |Published| Journal Article | IST-REx-ID: 17435 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Regimes of precipitation change over Europe and the Mediterranean
J. André, F. D’Andrea, P. Drobinski, C.J. Muller, Journal of Geophysical Research: Atmospheres 129 (2024).
[Published Version]
View
| Files available
| DOI
J. André, F. D’Andrea, P. Drobinski, C.J. Muller, Journal of Geophysical Research: Atmospheres 129 (2024).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17436 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Quantitative imaging reveals the role of MpARF proteasomal degradation during gemma germination
S. Das, M. De Roij, S. Bellows, M.D. Alvarez, S. Mutte, W. Kohlen, E. Farcot, D. Weijers, J.W. Borst, Plant Communications (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Das, M. De Roij, S. Bellows, M.D. Alvarez, S. Mutte, W. Kohlen, E. Farcot, D. Weijers, J.W. Borst, Plant Communications (2024).
2024 |Published| Journal Article | IST-REx-ID: 15315 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Learning dynamical models of single and collective cell migration: a review
D. Brückner, C.P. Broedersz, Reports on Progress in Physics 87 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
D. Brückner, C.P. Broedersz, Reports on Progress in Physics 87 (2024).
2024 |Published| Journal Article | IST-REx-ID: 15297 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating
J. Svoboda, S.S. Joshi, J. Tkadlec, K. Chatterjee, PLoS Computational Biology 20 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
J. Svoboda, S.S. Joshi, J. Tkadlec, K. Chatterjee, PLoS Computational Biology 20 (2024).