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.
1952 Publications
2022 | Preprint | IST-REx-ID: 17116 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Assembly of multi-subunit fusion proteins into the RNA-targeting type III-D CRISPR-Cas effector complex
E.A. Schwartz, J.P.K. Bravo, L.A. Macias, C.L. McCafferty, T.L. Dangerfield, J.N. Walker, J.S. Brodbelt, P.C. Fineran, R.D. Fagerlund, D.W. Taylor, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
E.A. Schwartz, J.P.K. Bravo, L.A. Macias, C.L. McCafferty, T.L. Dangerfield, J.N. Walker, J.S. Brodbelt, P.C. Fineran, R.D. Fagerlund, D.W. Taylor, BioRxiv (n.d.).
2022 | Preprint | IST-REx-ID: 17115 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Modes of inhibition used by phage anti-CRISPRs to evade type I-C Cascade
R.E. O’Brien, J.P.K. Bravo, D. Ramos, G.N. Hibshman, J.T. Wright, D.W. Taylor, BioRxiv (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
R.E. O’Brien, J.P.K. Bravo, D. Ramos, G.N. Hibshman, J.T. Wright, D.W. Taylor, BioRxiv (2022).
2022 | Conference Paper | IST-REx-ID: 11355 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
[Published Version]
View
| Files available
| DOI
| WoS
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
2022 | Thesis | IST-REx-ID: 11879 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature
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
C. Artner, Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature, Institute of Science and Technology Austria, 2022.
2022 | Thesis | IST-REx-ID: 11393 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus
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
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.
2022 | Thesis | IST-REx-ID: 12366 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Controllable states of superconducting Qubit ensembles
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
E. Redchenko, Controllable States of Superconducting Qubit Ensembles, Institute of Science and Technology Austria, 2022.
2022 | Journal Article | IST-REx-ID: 12244 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A tool for mapping microglial morphology, morphOMICs, reveals brain-region and sex-dependent phenotypes
G. Colombo, R.J. Cubero, L. Kanari, A. Venturino, R. Schulz, M. Scolamiero, J. Agerberg, H. Mathys, L.-H. Tsai, W. Chachólski, K. Hess, S. Siegert, Nature Neuroscience 25 (2022) 1379–1393.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
G. Colombo, R.J. Cubero, L. Kanari, A. Venturino, R. Schulz, M. Scolamiero, J. Agerberg, H. Mathys, L.-H. Tsai, W. Chachólski, K. Hess, S. Siegert, Nature Neuroscience 25 (2022) 1379–1393.
2022 | Journal Article | IST-REx-ID: 10703 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
WASp triggers mechanosensitive actin patches to facilitate immune cell migration in dense tissues
F. Gaertner, P. Reis-Rodrigues, I. de Vries, M. Hons, J. Aguilera, M. Riedl, A.F. Leithner, S. Tasciyan, A. Kopf, J. Merrin, V. Zheden, W. Kaufmann, R. Hauschild, M.K. Sixt, Developmental Cell 57 (2022) 47–62.e9.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
F. Gaertner, P. Reis-Rodrigues, I. de Vries, M. Hons, J. Aguilera, M. Riedl, A.F. Leithner, S. Tasciyan, A. Kopf, J. Merrin, V. Zheden, W. Kaufmann, R. Hauschild, M.K. Sixt, Developmental Cell 57 (2022) 47–62.e9.
2022 | Thesis | IST-REx-ID: 11388 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The genetic basis of complex traits studied via analysis of evolve and resequence experiments
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
S. Belohlavy, The Genetic Basis of Complex Traits Studied via Analysis of Evolve and Resequence Experiments, Institute of Science and Technology Austria, 2022.
2022 | Thesis | IST-REx-ID: 11193 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells
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
S. Wachner, Transcriptional Regulation by Dfos and BMP-Signaling Support Tissue Invasion of Drosophila Immune Cells, Institute of Science and Technology Austria, 2022.
2022 | Preprint | IST-REx-ID: 11943 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Saturated reconstruction of living brain tissue
P. Velicky, E. Miguel Villalba, J.M. Michalska, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
P. Velicky, E. Miguel Villalba, J.M. Michalska, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, BioRxiv (n.d.).
2021 | Conference Paper | IST-REx-ID: 10052 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Decomposing permutation automata
I.R. Jecker, N. Mazzocchi, P. Wolf, in:, 32nd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
I.R. Jecker, N. Mazzocchi, P. Wolf, in:, 32nd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 | Conference Paper | IST-REx-ID: 10054 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Faster algorithms for bounded liveness in graphs and game graphs
K. Chatterjee, M.H. Henzinger, S.S. Kale, A. Svozil, in:, 48th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M.H. Henzinger, S.S. Kale, A. Svozil, in:, 48th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 | Conference Paper | IST-REx-ID: 10072 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A new notion of commutativity for the algorithmic Lovász Local Lemma
D.G. Harris, F. Iliopoulos, V. Kolmogorov, in:, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
D.G. Harris, F. Iliopoulos, V. Kolmogorov, in:, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 | Conference Paper | IST-REx-ID: 10075 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A bit of nondeterminism makes pushdown automata expressive and succinct
S. Guha, I.R. Jecker, K. Lehtinen, M. Zimmermann, in:, 46th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
S. Guha, I.R. Jecker, K. Lehtinen, M. Zimmermann, in:, 46th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
2021 | Preprint | IST-REx-ID: 10174 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Quantitative nonlinear homogenization: control of oscillations
N. Clozeau, A. Gloria, ArXiv (n.d.).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
N. Clozeau, A. Gloria, ArXiv (n.d.).
2021 | Conference Paper | IST-REx-ID: 10367 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Recognizing multimodal entailment
C. Ilharco, A. Shirazi, A. Gopalan, A. Nagrani, B. Bratanič, C. Bregler, C. Liu, F. Ferreira, G. Barcik, G. Ilharco, G.F. Osang, J. Bulian, J. Frank, L. Smaira, Q. Cao, R. Marino, R. Patel, T. Leung, V. Imbrasaite, in:, 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts, Association for Computational Linguistics, 2021, pp. 29–30.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
C. Ilharco, A. Shirazi, A. Gopalan, A. Nagrani, B. Bratanič, C. Bregler, C. Liu, F. Ferreira, G. Barcik, G. Ilharco, G.F. Osang, J. Bulian, J. Frank, L. Smaira, Q. Cao, R. Marino, R. Patel, T. Leung, V. Imbrasaite, in:, 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts, Association for Computational Linguistics, 2021, pp. 29–30.
2021 | Book | IST-REx-ID: 10415
Cubic Forms and the Circle Method
T.D. Browning, Cubic Forms and the Circle Method, Springer Nature, Cham, 2021.
View
| DOI
T.D. Browning, Cubic Forms and the Circle Method, Springer Nature, Cham, 2021.
2021 | Journal Article | IST-REx-ID: 10617 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Topological charge density waves at half-integer filling of a moiré superlattice
H. Polshyn, Y. Zhang, M.A. Kumar, T. Soejima, P. Ledwith, K. Watanabe, T. Taniguchi, A. Vishwanath, M.P. Zaletel, A.F. Young, Nature Physics (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
H. Polshyn, Y. Zhang, M.A. Kumar, T. Soejima, P. Ledwith, K. Watanabe, T. Taniguchi, A. Vishwanath, M.P. Zaletel, A.F. Young, Nature Physics (2021).
2021 | Conference Paper | IST-REx-ID: 10630 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On the complexity of intersection non-emptiness for star-free language classes
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.