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.
1953 Publications
2022 |Published| Journal Article | IST-REx-ID: 10608 | 
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 |Submitted| Preprint | IST-REx-ID: 17116 |
Schwartz EA, Bravo JPK, Macias LA, McCafferty CL, Dangerfield TL, Walker JN, Brodbelt JS, Fineran PC, Fagerlund RD, Taylor DW. Assembly of multi-subunit fusion proteins into the RNA-targeting type III-D CRISPR-Cas effector complex. bioRxiv, 10.1101/2022.06.13.496011.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 |Published| Preprint | IST-REx-ID: 17115 |
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 |
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 |
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 |
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 |
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: 12244 |
Colombo G, Cubero RJ, Kanari L, Venturino A, Schulz R, Scolamiero M, Agerberg J, Mathys H, Tsai L-H, Chachólski W, Hess K, Siegert S. 2022. A tool for mapping microglial morphology, morphOMICs, reveals brain-region and sex-dependent phenotypes. Nature Neuroscience. 25(10), 1379–1393.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 10703 |
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 |
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 |
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
2022 |Submitted| Preprint | IST-REx-ID: 11943 |
Velicky P, Miguel Villalba E, Michalska JM, Wei D, Lin Z, Watson J, Troidl J, Beyer J, Ben Simon Y, Sommer CM, Jahr W, Cenameri A, Broichhagen J, Grant SGN, Jonas PM, Novarino G, Pfister H, Bickel B, Danzl JG. Saturated reconstruction of living brain tissue. bioRxiv, 10.1101/2022.03.16.484431.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 10052 |
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 |
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 |
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 |
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
2021 |Submitted| Preprint | IST-REx-ID: 10174 |
Clozeau N, Gloria A. Quantitative nonlinear homogenization: control of oscillations. arXiv, 2104.04263.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10367 |
Ilharco C, Shirazi A, Gopalan A, Nagrani A, Bratanič B, Bregler C, Liu C, Ferreira F, Barcik G, Ilharco G, Osang GF, Bulian J, Frank J, Smaira L, Cao Q, Marino R, Patel R, Leung T, Imbrasaite V. 2021. Recognizing multimodal entailment. 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts. ACL: Association for Computational Linguistics ; IJCNLP: International Joint Conference on Natural Language Processing, 29–30.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 |Published| Journal Article | IST-REx-ID: 10617 |
Polshyn H, Zhang Y, Kumar MA, Soejima T, Ledwith P, Watanabe K, Taniguchi T, Vishwanath A, Zaletel MP, Young AF. 2021. Topological charge density waves at half-integer filling of a moiré superlattice. Nature Physics.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv