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.
1621 Publications
2022 |Published| Conference Paper | IST-REx-ID: 12000 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. 2022. Sound and complete certificates for auantitative termination analysis of probabilistic programs. Proceedings of the 34th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13371, 55–78.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Submitted| Preprint | IST-REx-ID: 14600 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zikelic D, Lechner M, Henzinger TA, Chatterjee K. Learning control policies for stochastic systems with reach-avoid guarantees. arXiv, 10.48550/ARXIV.2210.05308.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Thesis | IST-REx-ID: 12358 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sperl G. 2022. Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 10759 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rzadkowski W. 2022. Analytic and machine learning approaches to composite quantum impurities. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 |Submitted| Preprint | IST-REx-ID: 14597 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fischer JL, Marveggio A. Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. arXiv, 10.48550/ARXIV.2203.17143.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 15203 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tsygankov SS, Doroshenko V, Poutanen J, Heyl J, Mushtukov AA, Caiazzo I, Di Marco A, Forsblom SV, González-Caniulef D, Klawin M, La Monaca F, Malacaria C, Marshall HL, Muleri F, Ng M, Suleimanov VF, Sunyaev RA, Turolla R, Agudo I, Antonelli LA, Bachetti M, Baldini L, Baumgartner WH, Bellazzini R, Bianchi S, Bongiorno SD, Bonino R, Brez A, Bucciantini N, Capitanio F, Castellano S, Cavazzuti E, Ciprini S, Costa E, Rosa AD, Del Monte E, Gesu LD, Lalla ND, Donnarumma I, Dovčiak M, Ehlert SR, Enoto T, Evangelista Y, Fabiani S, Ferrazzoli R, Garcia JA, Gunji S, Hayashida K, Iwakiri W, Jorstad SG, Karas V, Kitaguchi T, Kolodziejczak JJ, Krawczynski H, Latronico L, Liodakis I, Maldera S, Manfreda A, Marin F, Marinucci A, Marscher AP, Matt G, Mitsuishi I, Mizuno T, Ng C-Y, O’Dell SL, Omodei N, Oppedisano C, Papitto A, Pavlov GG, Peirson AL, Perri M, Pesce-Rollins M, Petrucci P-O, Pilia M, Possenti A, Puccetti S, Ramsey BD, Rankin J, Ratheesh A, Romani RW, Sgrò C, Slane P, Soffitta P, Spandre G, Tamagawa T, Tavecchio F, Taverna R, Tawara Y, Tennant AF, Thomas NE, Tombesi F, Trois A, Vink J, Weisskopf MC, Wu K, Xie F, Zane S. 2022. The x-ray polarimetry view of the accreting pulsar Cen X-3. The Astrophysical Journal Letters. 941(1), L14.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 |Published| Thesis | IST-REx-ID: 12368 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Arslan FN. 2022. Remodeling of E-cadherin-mediated contacts via cortical flows. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 10608 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Weighill T, Yamauchi T, Zava N. 2022. Coarse infinite-dimensionality of hyperspaces of finite subsets. European Journal of Mathematics. 8(1), 335–355.
[Published Version]
View
| Files available
| DOI
2022 |Published| Preprint | IST-REx-ID: 17115 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
O’Brien RE, Bravo JPK, Ramos D, Hibshman GN, Wright JT, Taylor DW. 2022. Modes of inhibition used by phage anti-CRISPRs to evade type I-C Cascade. bioRxiv, 10.1101/2022.06.15.496202.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 11355 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. 2022. Information-flow interfaces. Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches to Software Engineering, LNCS, vol. 13241, 3–22.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Thesis | IST-REx-ID: 11879 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Artner C. 2022. Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 11393 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Jevtic M. 2022. Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 12366 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Redchenko E. 2022. Controllable states of superconducting Qubit ensembles. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 10703 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gaertner F, Reis-Rodrigues P, de Vries I, Hons M, Aguilera J, Riedl M, Leithner AF, Tasciyan S, Kopf A, Merrin J, Zheden V, Kaufmann W, Hauschild R, Sixt MK. 2022. WASp triggers mechanosensitive actin patches to facilitate immune cell migration in dense tissues. Developmental Cell. 57(1), 47–62.e9.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2022 |Published| Thesis | IST-REx-ID: 11388 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Belohlavy S. 2022. The genetic basis of complex traits studied via analysis of evolve and resequence experiments. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 11193 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Wachner S. 2022. Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Paper | IST-REx-ID: 10052 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Jecker IR, Mazzocchi N, Wolf P. 2021. Decomposing permutation automata. 32nd International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 203, 18.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10054 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Henzinger MH, Kale SS, Svozil A. 2021. Faster algorithms for bounded liveness in graphs and game graphs. 48th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 198, 124.
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Paper | IST-REx-ID: 10072 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Harris DG, Iliopoulos F, Kolmogorov V. 2021. A new notion of commutativity for the algorithmic Lovász Local Lemma. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. APPROX/RANDOM: Approximation Algorithms for Combinatorial Optimization Problems/ Randomization and Computation, LIPIcs, vol. 207, 31.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10075 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Guha S, Jecker IR, Lehtinen K, Zimmermann M. 2021. A bit of nondeterminism makes pushdown automata expressive and succinct. 46th International Symposium on Mathematical Foundations of Computer Science. MFCS: Mathematical Foundations of Computer Science, LIPIcs, vol. 202, 53.
[Published Version]
View
| Files available
| DOI
| arXiv