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.
5215 Publications
2024 |Published| Conference Paper | IST-REx-ID: 17413 | 
Froleyks, Nils, Emily Yu, Armin Biere, and Keijo Heljanko. “Certifying Phase Abstraction.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 14739:284–303. Springer Nature, 2024. 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, Philip, Remi Claessen, Gerard Higgins, Joachim Hofer, Jannek J. Hansen, Peter Asenbaum, Martin Zemlicka, et al. “Remote Sensing of a Levitated Superconductor with a Flux-Tunable Microwave Cavity.” Physical Review Applied. American Physical Society, 2024. https://doi.org/10.1103/PhysRevApplied.22.014078.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 |Submitted| Conference Paper | IST-REx-ID: 17053
Froleyks, Nils, Emily Yu, and Armin Biere. “Ternary Simulation as Abstract Interpretation (Work in Progress).” In 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, 148–51, n.d.
View
2024 |Published| Journal Article | IST-REx-ID: 17326 |
Bhattacharya, Shatanik, Srijan B Das, Lisa Annabelle Bugnet, Subrata Panda, and Shravan M. Hanasoge. “Detectability of Axisymmetric Magnetic Fields from the Core to the Surface of Oscillating Post-Main-Sequence Stars.” Astrophysical Journal. IOP Publishing, 2024. https://doi.org/10.3847/1538-4357/ad4708.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Conference Paper | IST-REx-ID: 17402 |
Meggendorfer, Tobias, and Maximilian Weininger. “Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games.” In 36th International Conference on Computer Aided Verification, 14683:359–72. Springer Nature, 2024. 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ésar, Patricia Oliva, Ellie Anne López-Barrera, and Alejandro Casallas Garcia. “Wildfires Impact on PM2.5 Concentration in Galicia Spain.” Journal of Environmental Management. Elsevier, 2024. 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, HIROKI, Yuya Adachi, Tenki Nakasugi, Ema Takigawa, Junichiro Ui, Takashi Makino, Masayuki Miura, and Yu Ichiro Nakajima. “Highly Regenerative Species-Specific Genes Improve Age-Associated Features in the Adult Drosophila Midgut.” BMC Biology. Springer Nature, 2024. 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, Sven, Jinyu Sheng, Charlotte N. Stindt, and Ben L. Feringa. “All-Visible-Light-Driven Salicylidene Schiff-Base-Functionalized Artificial Molecular Motors.” Nature Communications. Springer Nature, 2024. 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, Jonathan A, Hossein Zakerinia, and Christoph Lampert. “PEFLL: Personalized Federated Learning by Learning to Learn.” In 12th International Conference on Learning Representations. OpenReview, 2024.
[Published Version]
View
| Files available
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17407 |
Zu, Mengjie, and Carl Peter Goodrich. “Designing Athermal Disordered Solids with Automatic Differentiation.” Communications Materials. Springer Nature, 2024. 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, Li, Shiling Zhao, Jing Yu, Junshan Li, Jordi Arbiol, Tanja Kallio, Mariano Calcabrini, Paulina R. Martínez-Alanis, Maria Ibáñez, and Andreu Cabot. “Influence of the Catalyst Surface Chemistry on the Electrochemical Self-Coupling of Biomass-Derived Benzaldehyde into Hydrobenzoin.” Energy Advances. Royal Society of Chemistry, 2024. https://doi.org/10.1039/d4ya00334a.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |Published| Conference Paper | IST-REx-ID: 17214 |
Chen, Yi-Lu, Mickaël Ly, and Chris Wojtan. “Primal-Dual Non-Smooth Friction for Rigid Body Animation.” In Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24. Association for Computing Machinery, 2024. https://doi.org/10.1145/3641519.3657485.
[Published Version]
View
| Files available
| DOI
2024 |Published| Thesis | IST-REx-ID: 17368
Villanueva Marijuan, Ariadna. “Bayesian Linear Regression for Analyzing General Omics Data with Time-to-Event Phenotypes.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:17368.
[Published Version]
View
| Files available
| DOI
2024 |Published| Book Chapter | IST-REx-ID: 17425
Miranda, Osvaldo, Giselle T Cheung, and Simon Hippenmeyer. “Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers.” In Neuronal Morphogenesis, edited by Kazuhito Toyooka, 1st ed., 2831:283–99. MIMB. New York, NY: Springer Nature, 2024. 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, Tanguy. “Rational Singularities for Moment Maps of Totally Negative Quivers.” Transformation Groups. Springer Nature, 2024. 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, Bernd, Fabio Brau, Giorgio Buttazzo, and Christoph Lampert. “1-Lipschitz Layers Compared: Memory, Speed, and Certifiable Robustness.” In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 24574–83. Computer Vision Foundation, 2024.
[Published Version]
View
| Files available
2024 |Published| Journal Article | IST-REx-ID: 17435 |
André, Julie, Fabio D’Andrea, Philippe Drobinski, and Caroline J Muller. “Regimes of Precipitation Change over Europe and the Mediterranean.” Journal of Geophysical Research: Atmospheres. Wiley, 2024. https://doi.org/10.1029/2023JD040413.
[Published Version]
View
| Files available
| DOI
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17436 |
Das, Shubhajit, Martijn De Roij, Simon Bellows, Melissa Dipp Alvarez, Sumanth Mutte, Wouter Kohlen, Etienne Farcot, Dolf Weijers, and Jan Willem Borst. “Quantitative Imaging Reveals the Role of MpARF Proteasomal Degradation during Gemma Germination.” Plant Communications. Elsevier, 2024. https://doi.org/10.1016/j.xplc.2024.101039.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 15315 |
Brückner, David, and Chase P. Broedersz. “Learning Dynamical Models of Single and Collective Cell Migration: A Review.” Reports on Progress in Physics. IOP Publishing, 2024. https://doi.org/10.1088/1361-6633/ad36d2.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 15297 |
Svoboda, Jakub, Soham Shrikant Joshi, Josef Tkadlec, and Krishnendu Chatterjee. “Amplifiers of Selection for the Moran Process with Both Birth-Death and Death-Birth Updating.” PLoS Computational Biology. Public Library of Science, 2024. https://doi.org/10.1371/journal.pcbi.1012008.
[Published Version]
View
| Files available
| DOI
| arXiv