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, et al. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 7, Association for the Advancement of Artificial Intelligence, 2022, pp. 7326–36, doi:10.1609/aaai.v36i7.20695.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Draft | Preprint | IST-REx-ID: 14600 | OA
Zikelic, Dorde, et al. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” ArXiv, 2210.05308, doi:10.48550/ARXIV.2210.05308.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Draft | Preprint | IST-REx-ID: 14601 | OA
Zikelic, Dorde, et al. “Learning Stabilizing Policies in Stochastic Control Systems.” ArXiv, 2205.11991, doi: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, et al. “Effects of Fine-Scale Population Structure on the Distribution of Heterozygosity in a Long-Term Study of Antirrhinum Majus.” Genetics, vol. 221, no. 3, iyac083, Oxford University Press, 2022, doi: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, vol. 24, no. 3, 93, Springer Nature, 2022, doi: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, 2203.17143, doi: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., et al. “Tissue-Wide Effects Override Cell-Intrinsic Gene Function in Radial Neuron Migration.” Oxford Open Neuroscience, vol. 1, no. 1, kvac009, Oxford University Press, 2022, doi: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., et al. “How Well Do Sparse ImageNet Models Transfer?” 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition, Institute of Electrical and Electronics Engineers, 2022, pp. 12256–66, doi: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, doi: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, doi: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, doi:10.15479/at:ista:12153.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 11736 | OA
Sperl, Georg, et al. “Estimation of Yarn-Level Simulation Models for Production Fabrics.” ACM Transactions on Graphics, vol. 41, no. 4, 65, Association for Computing Machinery, 2022, doi: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, doi: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, doi:10.15479/at:ista:11473.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 11995 | OA
Schulz, Rouven, et al. “Chimeric GPCRs Mimic Distinct Signaling Pathways and Modulate Microglia Responses.” Nature Communications, vol. 13, 4728, Springer Nature, 2022, doi: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, vol. 186, no. 1, 5, Springer Nature, 2022, doi: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, doi: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, doi:10.15479/at:ista:11626.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 10411 | OA
Li, Lanxin, et al. “Bending to Auxin: Fast Acid Growth for Tropisms.” Trends in Plant Science, vol. 27, no. 5, Cell Press, 2022, pp. 440–49, doi: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, doi:10.15479/at:ista:10799.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed