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| Thesis | IST-REx-ID: 17346
Bollmann, L. (2024). Stability and change in the memory system during rest. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17346
[Published Version]
View
| Files available
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17413 | 
Froleyks, N., Yu, E., Biere, A., & Heljanko, K. (2024). Certifying phase abstraction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14739, pp. 284–303). Nancy, France: Springer Nature. https://doi.org/10.1007/978-3-031-63498-7_17
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17410 |
Schmidt, P., Claessen, R., Higgins, G., Hofer, J., Hansen, J. J., Asenbaum, P., … Aspelmeyer, M. (2024). Remote sensing of a levitated superconductor with a flux-tunable microwave cavity. Physical Review Applied. American Physical Society. https://doi.org/10.1103/PhysRevApplied.22.014078
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Submitted| Conference Paper | IST-REx-ID: 17053
Froleyks, N., Yu, E., & Biere, A. (n.d.). Ternary simulation as abstract interpretation (Work in Progress). In 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems (pp. 148–151). Kaiserslautern, Germany.
View
2024 |Published| Journal Article | IST-REx-ID: 17326 |
Bhattacharya, S., Das, S. B., Bugnet, L. A., Panda, S., & Hanasoge, S. M. (2024). Detectability of axisymmetric magnetic fields from the core to the surface of oscillating post-main-sequence stars. Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ad4708
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Conference Paper | IST-REx-ID: 17402 |
Meggendorfer, T., & Weininger, M. (2024). Playing games with your PET: Extending the Partial Exploration Tool to stochastic games. In 36th International Conference on Computer Aided Verification (Vol. 14683, pp. 359–372). Montreal, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-65633-0_16
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17396 |
Quishpe-Vásquez, C., Oliva, P., López-Barrera, E. A., & Casallas Garcia, A. (2024). Wildfires impact on PM2.5 concentration in galicia Spain. Journal of Environmental Management. Elsevier. https://doi.org/10.1016/j.jenvman.2024.122093
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 17408 |
NAGAI, H., Adachi, Y., Nakasugi, T., Takigawa, E., Ui, J., Makino, T., … Nakajima, Y. I. (2024). Highly regenerative species-specific genes improve age-associated features in the adult Drosophila midgut. BMC Biology. Springer Nature. https://doi.org/10.1186/s12915-024-01956-4
[Published Version]
View
| Files available
| DOI
2024 |Published| Journal Article | IST-REx-ID: 17409 |
Van Vliet, S., Sheng, J., Stindt, C. N., & Feringa, B. L. (2024). All-visible-light-driven salicylidene schiff-base-functionalized artificial molecular motors. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-50587-4
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Conference Paper | IST-REx-ID: 17411 |
Scott, J. A., Zakerinia, H., & Lampert, C. (2024). PEFLL: Personalized federated learning by learning to learn. In 12th International Conference on Learning Representations. Vienna, Austria: OpenReview.
[Published Version]
View
| Files available
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17407 |
Zu, M., & Goodrich, C. P. (2024). Designing athermal disordered solids with automatic differentiation. Communications Materials. Springer Nature. https://doi.org/10.1038/s43246-024-00583-4
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17412 |
Gong, L., Zhao, S., Yu, J., Li, J., Arbiol, J., Kallio, T., … Cabot, A. (2024). Influence of the catalyst surface chemistry on the electrochemical self-coupling of biomass-derived benzaldehyde into hydrobenzoin. Energy Advances. Royal Society of Chemistry. https://doi.org/10.1039/d4ya00334a
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |Published| Journal Article | IST-REx-ID: 17424
Ren, Y., Panetta, J., Suzuki, S., Kusupati, U., Isvoranu, F., & Pauly, M. (2024). Computational homogenization for inverse design of surface-based inflatables. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3658125
View
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17423
Sellán, S., Ren, Y., Batty, C., & Stein, O. (2024). Reach for the arcs: Reconstructing surfaces from SDFs via tangent points. In SIGGRAPH ’24: Special Interest Group on Computer Graphics and Interactive Techniques Conference. Denver, CO, United States: Association for Computing Machinery. https://doi.org/10.1145/3641519.3657419
View
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 17214 |
Chen, Y.-L., Ly, M., & Wojtan, C. (2024). Primal-dual non-smooth friction for rigid body animation. In Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24. Denver, United States: Association for Computing Machinery. https://doi.org/10.1145/3641519.3657485
[Published Version]
View
| Files available
| DOI
2024 |Published| Thesis | IST-REx-ID: 17368
Villanueva Marijuan, A. (2024). Bayesian linear regression for analyzing general omics data with time-to-event phenotypes. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17368
[Published Version]
View
| Files available
| DOI
2024 |Published| Book Chapter | IST-REx-ID: 17425
Miranda, O., Cheung, G. T., & Hippenmeyer, S. (2024). Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers. In K. Toyooka (Ed.), Neuronal Morphogenesis (1st ed., Vol. 2831, pp. 283–299). New York, NY: Springer Nature. https://doi.org/10.1007/978-1-0716-3969-6_19
View
| DOI
| PubMed | Europe PMC
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17437 |
Vernet, T. (2024). Rational singularities for moment maps of totally negative quivers. Transformation Groups. Springer Nature. https://doi.org/10.1007/s00031-024-09873-0
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |Published| Conference Paper | IST-REx-ID: 17426
Prach, B., Brau, F., Buttazzo, G., & Lampert, C. (2024). 1-Lipschitz layers compared: Memory, speed, and certifiable robustness. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 24574–24583). Computer Vision Foundation.
[Published Version]
View
| Files available
2024 |Published| Journal Article | IST-REx-ID: 17435 |
André, J., D’Andrea, F., Drobinski, P., & Muller, C. J. (2024). Regimes of precipitation change over Europe and the Mediterranean. Journal of Geophysical Research: Atmospheres. Wiley. https://doi.org/10.1029/2023JD040413
[Published Version]
View
| Files available
| DOI