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.
1624 Publications
2022 |Published| Journal Article | IST-REx-ID: 10608 | 
T. Weighill, T. Yamauchi, and N. Zava, “Coarse infinite-dimensionality of hyperspaces of finite subsets,” European Journal of Mathematics, vol. 8, no. 1. Springer Nature, pp. 335–355, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Published| Preprint | IST-REx-ID: 17115 |
R. E. O’Brien, J. P. K. Bravo, D. Ramos, G. N. Hibshman, J. T. Wright, and D. W. Taylor, “Modes of inhibition used by phage anti-CRISPRs to evade type I-C Cascade,” bioRxiv. Cold Spring Harbor Laboratory, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 11355 |
E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. O. Da Costa, “Information-flow interfaces,” in Fundamental Approaches to Software Engineering, Munich, Germany, 2022, vol. 13241, pp. 3–22.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Thesis | IST-REx-ID: 11879 |
C. Artner, “Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 11393 |
M. Jevtic, “Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 12366 |
E. Redchenko, “Controllable states of superconducting Qubit ensembles,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Published| Journal Article | IST-REx-ID: 10703 |
F. Gaertner et al., “WASp triggers mechanosensitive actin patches to facilitate immune cell migration in dense tissues,” Developmental Cell, vol. 57, no. 1. Cell Press ; Elsevier, p. 47–62.e9, 2022.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2022 |Published| Thesis | IST-REx-ID: 11388 |
S. Belohlavy, “The genetic basis of complex traits studied via analysis of evolve and resequence experiments,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |Published| Thesis | IST-REx-ID: 11193 |
S. Wachner, “Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Paper | IST-REx-ID: 10052 |
I. R. Jecker, N. Mazzocchi, and P. Wolf, “Decomposing permutation automata,” in 32nd International Conference on Concurrency Theory, Paris, France, 2021, vol. 203.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10054 |
K. Chatterjee, M. H. Henzinger, S. S. Kale, and A. Svozil, “Faster algorithms for bounded liveness in graphs and game graphs,” in 48th International Colloquium on Automata, Languages, and Programming, Glasgow, Scotland, 2021, vol. 198.
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Paper | IST-REx-ID: 10072 |
D. G. Harris, F. Iliopoulos, and V. Kolmogorov, “A new notion of commutativity for the algorithmic Lovász Local Lemma,” in Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, Virtual, 2021, vol. 207.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10075 |
S. Guha, I. R. Jecker, K. Lehtinen, and M. Zimmermann, “A bit of nondeterminism makes pushdown automata expressive and succinct,” in 46th International Symposium on Mathematical Foundations of Computer Science, Tallinn, Estonia, 2021, vol. 202.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 10174 |
N. Clozeau and A. Gloria, “Quantitative nonlinear homogenization: control of oscillations,” arXiv. .
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10630 |
E. Arrighi et al., “On the complexity of intersection non-emptiness for star-free language classes,” in 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Virtual, 2021, vol. 213.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10629 |
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Quantitative verification on product graphs of small treewidth,” in 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Virtual, 2021, vol. 213.
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Paper | IST-REx-ID: 10688 |
B. Kragl and S. Qadeer, “The Civl verifier,” in Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, Virtual, 2021, vol. 2, pp. 143–152.
[Published Version]
View
| Files available
| DOI
2021 | Conference Paper | IST-REx-ID: 10692 |
H. Polshyn et al., “Orbital Chern insulator states in twisted monolayer-bilayer graphene and electrical switching of topological and magnetic order,” in APS March Meeting 2021, Virtual, 2021, vol. 66, no. 1.
[Published Version]
View
| Download Published Version (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 10847 |
P. Tomášek, K. Horák, A. Aradhye, B. Bošanský, and K. Chatterjee, “Solving partially observable stochastic shortest-path games,” in 30th International Joint Conference on Artificial Intelligence, Virtual, Online, 2021, pp. 4182–4189.
[Published Version]
View
| DOI
| Download Published Version (ext.)