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.

6424 Publications


2022 | Published | Journal Article | IST-REx-ID: 12511 | OA
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 | Draft | Preprint | IST-REx-ID: 14600 | OA
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 | Draft | Preprint | IST-REx-ID: 14601 | OA
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: 11411 | OA
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 | Published | Journal Article | IST-REx-ID: 11842 | OA
Hensel, Sebastian, and Alice Marveggio. “Weak-Strong Uniqueness for the Navier–Stokes Equation for Two Fluids with Ninety Degree Contact Angle and Same Viscosities.” Journal of Mathematical Fluid Mechanics. Springer Nature, 2022. https://doi.org/10.1007/s00021-022-00722-2.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Draft | Preprint | IST-REx-ID: 14597 | OA
Fischer, Julian L, and Alice Marveggio. “Quantitative Convergence of the Vectorial Allen-Cahn Equation towards Multiphase Mean Curvature Flow.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2203.17143.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10791 | OA
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 University Press, 2022. https://doi.org/10.1093/oons/kvac009.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Published | Conference Paper | IST-REx-ID: 12299 | OA
Iofinova, Eugenia B, Alexandra Krumes, Mark Kurtz, and Dan-Adrian Alistarh. “How Well Do Sparse ImageNet Models Transfer?” In 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 12256–66. Institute of Electrical and Electronics Engineers, 2022. https://doi.org/10.1109/cvpr52688.2022.01195.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Thesis | PhD | IST-REx-ID: 11128 | OA
Matejovicova, Lenka. “Genetic Basis of Flower Colour as a Model for Adaptive Evolution.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11128.
[Published Version] View | Files available | DOI
 

2022 | Published | Thesis | PhD | IST-REx-ID: 12072 | OA
Shute, Alec L. “Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12072.
[Published Version] View | Files available | DOI
 

2022 | Published | Thesis | PhD | IST-REx-ID: 12368 | OA
Arslan, Feyza N. “Remodeling of E-Cadherin-Mediated Contacts via Cortical  Flows.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12153.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 11736 | OA
Sperl, Georg, Rosa M. Sánchez-Banderas, Manwen Li, Chris Wojtan, and Miguel A. Otaduy. “Estimation of Yarn-Level Simulation Models for Production Fabrics.” ACM Transactions on Graphics. Association for Computing Machinery, 2022. https://doi.org/10.1145/3528223.3530167.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2022 | Published | Thesis | PhD | IST-REx-ID: 11777 | OA
Wild, Pascal. “High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11777.
[Published Version] View | Files available | DOI
 

2022 | Published | Thesis | PhD | IST-REx-ID: 11473 | OA
Mysliwy, Krzysztof. “Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11473.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 11995 | OA
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 | Published | Journal Article | IST-REx-ID: 10564 | OA
Mysliwy, Krzysztof, and Robert Seiringer. “Polaron Models with Regular Interactions at Strong Coupling.” Journal of Statistical Physics. Springer Nature, 2022. https://doi.org/10.1007/s10955-021-02851-w.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Thesis | PhD | IST-REx-ID: 11945 | OA
Schulz, Rouven. “Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11945.
[Published Version] View | Files available | DOI
 

2022 | Published | Thesis | PhD | IST-REx-ID: 11626 | OA
Gallei, Michelle C. “Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11626.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 10411 | OA
Li, Lanxin, Michelle C Gallei, and Jiří Friml. “Bending to Auxin: Fast Acid Growth for Tropisms.” Trends in Plant Science. Cell Press, 2022. https://doi.org/10.1016/j.tplants.2021.11.006.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Thesis | PhD | IST-REx-ID: 10799 | OA
Konstantinov, Nikola H. “Robustness and Fairness in Machine Learning.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:10799.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed