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.
5779 Publications
2022 | Published | Conference Paper | IST-REx-ID: 12000 | 
Chatterjee, K., Goharshady, A. K., Meggendorfer, T., & Zikelic, D. (2022). Sound and complete certificates for auantitative termination analysis of probabilistic programs. In Proceedings of the 34th International Conference on Computer Aided Verification (Vol. 13371, pp. 55–78). Haifa, Israel: Springer. 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, 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 |
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 |
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 |
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 |
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 |
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: 11402 |
Chatterjee, K., & Doyen, L. (2022). Graph planning with expected finite horizon. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2022.04.003
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12129 |
Wagner, U., & Welzl, E. (2022). Connectivity of triangulation flip graphs in the plane. Discrete & Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-022-00436-2
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 8286 |
Alistarh, D.-A., Nadiradze, G., & Sabour, A. (2022). Dynamic averaging load balancing on cycles. Algorithmica. Virtual, Online; Germany: Springer Nature. https://doi.org/10.1007/s00453-021-00905-9
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Thesis | IST-REx-ID: 10759 |
Rzadkowski, W. (2022). Analytic and machine learning approaches to composite quantum impurities. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10759
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11442 |
| 
|
Piovarci, M., Foshey, M., Xu, J., Erps, T., Babaei, V., Didyk, P., … Bickel, B. (2022). Closed-loop control of direct ink writing via reinforcement learning. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3528223.3530144
[Submitted Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11478 |
Bartalska, K., Hübschmann, V., Korkut, M., Cubero, R. J., Venturino, A., Rössler, K., … Siegert, S. (2022). A systematic characterization of microglia-like cell occurrence during retinal organoid differentiation. IScience. Elsevier. https://doi.org/10.1016/j.isci.2022.104580
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 10614 |
Belyaeva, V., Wachner, S., György, A., Emtenani, S., Gridchyn, I., Akhmanova, M., … Siekhaus, D. E. (2022). Fos regulates macrophage infiltration against surrounding tissue resistance by a cortical actin-based mechanism in Drosophila. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.3001494
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Thesis | IST-REx-ID: 11932 |
Nardin, M. (2022). On the encoding, transfer, and consolidation of spatial memories. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11932
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 11193 |
Wachner, S. (2022). Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11193
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | IST-REx-ID: 12366 |
Redchenko, E. (2022). Controllable states of superconducting Qubit ensembles. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12132
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11471 |
Sack, S., Medina Ramos, R. A., Michailidis, A., Kueng, R., & Serbyn, M. (2022). Avoiding barren plateaus using classical shadows. PRX Quantum. American Physical Society. https://doi.org/10.1103/prxquantum.3.020365
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12244 |
Colombo, G., Cubero, R. J., Kanari, L., Venturino, A., Schulz, R., Scolamiero, M., … Siegert, S. (2022). A tool for mapping microglial morphology, morphOMICs, reveals brain-region and sex-dependent phenotypes. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/s41593-022-01167-6
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Thesis | IST-REx-ID: 12378 |
Colombo, G. (2022). MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12378
[Published Version]
View
| Files available
| DOI