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.

6439 Publications


earlier version | 2022 | Draft | Preprint | IST-REx-ID: 14600 | OA
D. Zikelic, M. Lechner, T. A. Henzinger, and K. Chatterjee, “Learning control policies for stochastic systems with reach-avoid guarantees,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Draft | Preprint | IST-REx-ID: 14601 | OA
D. Zikelic, M. Lechner, K. Chatterjee, and T. A. Henzinger, “Learning stabilizing policies in stochastic control systems,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 11411 | OA
P. Surendranadh, L. S. Arathoon, C. Baskett, D. Field, M. Pickup, and N. H. Barton, “Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus,” Genetics, vol. 221, no. 3. Oxford University Press, 2022.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 11842 | OA
S. Hensel and A. 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. Springer Nature, 2022.
[Published Version] View | Files available | DOI | WoS | arXiv
 

earlier version | 2022 | Draft | Preprint | IST-REx-ID: 14597 | OA
J. L. Fischer and A. Marveggio, “Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10791 | OA
A. H. Hansen et al., “Tissue-wide effects override cell-intrinsic gene function in radial neuron migration,” Oxford Open Neuroscience, vol. 1, no. 1. Oxford University Press, 2022.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Published | Conference Paper | IST-REx-ID: 12299 | OA
E. B. Iofinova, A. Krumes, M. Kurtz, and D.-A. Alistarh, “How well do sparse ImageNet models transfer?,” in 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition, New Orleans, LA, United States, 2022, pp. 12256–12266.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Thesis | PhD | IST-REx-ID: 11128 | OA
L. Matejovicova, “Genetic basis of flower colour as a model for adaptive evolution,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Published | Thesis | PhD | IST-REx-ID: 12072 | OA
A. L. Shute, “Existence and density problems in Diophantine geometry: From norm forms to Campana points,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Published | Thesis | PhD | IST-REx-ID: 11777 | OA
P. Wild, “High-dimensional expansion and crossing numbers of simplicial complexes,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Published | Thesis | PhD | IST-REx-ID: 11473 | OA
K. Mysliwy, “Polarons in Bose gases and polar crystals: Some rigorous energy estimates,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 11995 | OA
R. Schulz, M. Korkut, A. Venturino, G. Colombo, and S. Siegert, “Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses,” Nature Communications, vol. 13. Springer Nature, 2022.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10564 | OA
K. Mysliwy and R. Seiringer, “Polaron models with regular interactions at strong coupling,” Journal of Statistical Physics, vol. 186, no. 1. Springer Nature, 2022.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Thesis | PhD | IST-REx-ID: 11945 | OA
R. Schulz, “Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 10411 | OA
L. Li, M. C. Gallei, and J. Friml, “Bending to auxin: Fast acid growth for tropisms,” Trends in Plant Science, vol. 27, no. 5. Cell Press, pp. 440–449, 2022.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Thesis | PhD | IST-REx-ID: 10799 | OA
N. H. Konstantinov, “Robustness and fairness in machine learning,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 10802 | OA
N. H. Konstantinov and C. Lampert, “Fairness-aware PAC learning from corrupted data,” Journal of Machine Learning Research, vol. 23. ML Research Press, pp. 1–60, 2022.
[Published Version] View | Files available | arXiv
 

earlier version | 2022 | Draft | Preprint | IST-REx-ID: 11366 | OA
M. Lechner, A. Amini, D. Rus, and T. A. Henzinger, “Revisiting the adversarial robustness-accuracy tradeoff in robot learning,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 11344 | OA
N. Dranenko, M. Tutukina, M. Gelfand, F. Kondrashov, and O. Bochkareva, “Chromosome-encoded IpaH ubiquitin ligases indicate non-human enteroinvasive Escherichia,” Scientific Reports, vol. 12. Springer Nature, 2022.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Thesis | PhD | IST-REx-ID: 12390 | OA
M. Brooks, “Translation-invariant quantum systems with effectively broken symmetry,” Institute of Science and Technology Austria, 2022.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed