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, M., Zikelic, D., Chatterjee, K., & Henzinger, T. A. (2022). 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. 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, D., Lechner, M., Henzinger, T. A., & Chatterjee, K. (n.d.). Learning control policies for stochastic systems with reach-avoid guarantees. arXiv. 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, D., Lechner, M., Chatterjee, K., & Henzinger, T. A. (n.d.). Learning stabilizing policies in stochastic control systems. arXiv. 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, P., Arathoon, L. S., Baskett, C., Field, D., Pickup, M., & Barton, N. H. (2022). Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Genetics. Oxford University Press. 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, S., & Marveggio, A. (2022). 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. 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, J. L., & Marveggio, A. (n.d.). Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. arXiv. 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, A. H., Pauler, F., Riedl, M., Streicher, C., Heger, A.-M., Laukoter, S., … Hippenmeyer, S. (2022). Tissue-wide effects override cell-intrinsic gene function in radial neuron migration. Oxford Open Neuroscience. Oxford University Press. 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, E. B., Krumes, A., Kurtz, M., & Alistarh, D.-A. (2022). How well do sparse ImageNet models transfer? In 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 12256–12266). New Orleans, LA, United States: Institute of Electrical and Electronics Engineers. 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, L. (2022). Genetic basis of flower colour as a model for adaptive evolution. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11128
[Published Version] View | Files available | DOI
 

2022 | Published | Thesis | PhD | IST-REx-ID: 12072 | OA
Shute, A. L. (2022). Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12072
[Published Version] View | Files available | DOI
 

2022 | Published | Thesis | PhD | IST-REx-ID: 12368 | OA
Arslan, F. N. (2022). Remodeling of E-cadherin-mediated contacts via cortical  flows. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12153
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 11736 | OA
Sperl, G., Sánchez-Banderas, R. M., Li, M., Wojtan, C., & Otaduy, M. A. (2022). Estimation of yarn-level simulation models for production fabrics. ACM Transactions on Graphics. Association for Computing Machinery. 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, P. (2022). High-dimensional expansion and crossing numbers of simplicial complexes. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11777
[Published Version] View | Files available | DOI
 

2022 | Published | Thesis | PhD | IST-REx-ID: 11473 | OA
Mysliwy, K. (2022). Polarons in Bose gases and polar crystals: Some rigorous energy estimates. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11473
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 11995 | OA
Schulz, R., Korkut, M., Venturino, A., Colombo, G., & Siegert, S. (2022). Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses. Nature Communications. Springer Nature. 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, K., & Seiringer, R. (2022). Polaron models with regular interactions at strong coupling. Journal of Statistical Physics. Springer Nature. 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, R. (2022). Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11945
[Published Version] View | Files available | DOI
 

2022 | Published | Thesis | PhD | IST-REx-ID: 11626 | OA
Gallei, M. C. (2022). Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11626
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 10411 | OA
Li, L., Gallei, M. C., & Friml, J. (2022). Bending to auxin: Fast acid growth for tropisms. Trends in Plant Science. Cell Press. 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, N. H. (2022). Robustness and fairness in machine learning. Institute of Science and Technology Austria. 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: APA

Export / Embed