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.
6978 Publications
2022 |Published| Journal Article | IST-REx-ID: 10791 | 
Hansen, Andi H, Florian Pauler, Michael Riedl, Carmen Streicher, Anna-Magdalena Heger, Susanne Laukoter, Christoph M Sommer, et al. “Tissue-Wide Effects Override Cell-Intrinsic Gene Function in Radial Neuron Migration.” Oxford Open Neuroscience. Oxford Academic, 2022. https://doi.org/10.1093/oons/kvac009.
[Published Version]
View
| Files available
| DOI
2022 |Published| Conference Paper | IST-REx-ID: 12000 |
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Dorde Zikelic. “Sound and Complete Certificates for Auantitative Termination Analysis of Probabilistic Programs.” In Proceedings of the 34th International Conference on Computer Aided Verification, 13371:55–78. Springer, 2022. https://doi.org/10.1007/978-3-031-13185-1_4.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12511 |
Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, and Thomas A Henzinger. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.” Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022. https://doi.org/10.1609/aaai.v36i7.20695.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Submitted| Preprint | IST-REx-ID: 14601 |
Zikelic, Dorde, Mathias Lechner, Krishnendu Chatterjee, and Thomas A Henzinger. “Learning Stabilizing Policies in Stochastic Control Systems.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2205.11991.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 10851 |
Phan, Duc T, Jorden L Senior, Areg Ghazaryan, M. Hatefipour, W. M. Strickland, J. Shabani, Maksym Serbyn, and Andrew P Higginbotham. “Detecting Induced P±ip Pairing at the Al-InAs Interface with a Quantum Microwave Circuit.” Physical Review Letters. American Physical Society, 2022. https://doi.org/10.1103/physrevlett.128.107701.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11471 |
Sack, Stefan, Raimel A Medina Ramos, Alexios Michailidis, Richard Kueng, and Maksym Serbyn. “Avoiding Barren Plateaus Using Classical Shadows.” PRX Quantum. American Physical Society, 2022. https://doi.org/10.1103/prxquantum.3.020365.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12272 |
Stopp, Julian A, and Michael K Sixt. “Plan Your Trip before You Leave: The Neutrophils’ Search-and-Run Journey.” Journal of Cell Biology. Rockefeller University Press, 2022. https://doi.org/10.1083/jcb.202206127.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Submitted| Preprint | IST-REx-ID: 14600 |
Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2210.05308.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Research Data | IST-REx-ID: 10934 |
Radler, Philipp. “In Vitro Reconstitution of Escherichia Coli Divisome Activation.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/AT:ISTA:10934.
[Submitted Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 11373 |
Radler, Philipp, Natalia S. Baranova, Paulo R Dos Santos Caldas, Christoph M Sommer, Maria D Lopez Pelegrin, David Michalik, and Martin Loose. “In Vitro Reconstitution of Escherichia Coli Divisome Activation.” Nature Communications. Springer Nature, 2022. https://doi.org/10.1038/s41467-022-30301-y.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 11995 |
Schulz, Rouven, Medina Korkut, Alessandro Venturino, Gloria Colombo, and Sandra Siegert. “Chimeric GPCRs Mimic Distinct Signaling Pathways and Modulate Microglia Responses.” Nature Communications. Springer Nature, 2022. https://doi.org/10.1038/s41467-022-32390-1.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Research Data | IST-REx-ID: 11542 |
Schulz, Rouven. “Source Data (Chimeric GPCRs Mimic Distinct Signaling Pathways and Modulate Microglia Responses).” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/AT:ISTA:11542.
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 12118 |
Valentini, Marco, Maksim Borovkov, Elsa Prada, Sara Martí-Sánchez, Marc Botifoll, Andrea C Hofmann, Jordi Arbiol, Ramón Aguado, Pablo San-Jose, and Georgios Katsaros. “Majorana-like Coulomb Spectroscopy in the Absence of Zero-Bias Peaks.” Nature. Springer Nature, 2022. https://doi.org/10.1038/s41586-022-05382-w.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11411 |
Surendranadh, Parvathy, Louise S Arathoon, Carina Baskett, David Field, Melinda Pickup, and Nicholas H Barton. “Effects of Fine-Scale Population Structure on the Distribution of Heterozygosity in a Long-Term Study of Antirrhinum Majus.” Genetics. Oxford University Press, 2022. https://doi.org/10.1093/genetics/iyac083.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Research Data | IST-REx-ID: 11321 |
Surendranadh, Parvathy, Louise S Arathoon, Carina Baskett, David Field, Melinda Pickup, and Nicholas H Barton. “Effects of Fine-Scale Population Structure on the Distribution of Heterozygosity in a Long-Term Study of Antirrhinum Majus.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11321.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 7791 |
Akopyan, Arseniy, and Roman Karasev. “When Different Norms Lead to Same Billiard Trajectories?” European Journal of Mathematics. Springer Nature, 2022. https://doi.org/10.1007/s40879-020-00405-0.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Published| Thesis | IST-REx-ID: 12358 |
Sperl, Georg. “Homogenizing Yarn Simulations: Large-Scale Mechanics, Small-Scale Detail, and Quantitative Fitting.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12103.
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 10759 |
Rzadkowski, Wojciech. “Analytic and Machine Learning Approaches to Composite Quantum Impurities.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:10759.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 10755 |
Feliciangeli, Dario, Simone Anna Elvira Rademacher, and Robert Seiringer. “The Effective Mass Problem for the Landau-Pekar Equations.” Journal of Physics A: Mathematical and Theoretical. IOP Publishing, 2022. https://doi.org/10.1088/1751-8121/ac3947.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Submitted| Journal Article | IST-REx-ID: 11660 |
Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, and Morteza Saghafian. “A Window to the Persistence of 1D Maps. I: Geometric Characterization of Critical Point Pairs.” LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, n.d.
[Submitted Version]
View
| Files available