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.
10763 Publications
2023 | Published | Journal Article | IST-REx-ID: 13136 | 
Control of tissue dimensions in the developing neural tube and somites
T. Minchington, S. Rus, A. Kicheva, Current Opinion in Systems Biology 35 (2023).
[Published Version]
View
| Files available
| DOI
T. Minchington, S. Rus, A. Kicheva, Current Opinion in Systems Biology 35 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12878 |
Salicylic acid inhibits rice endocytic protein trafficking mediated by OsPIN3t and clathrin to affect root growth
Jiang L, Yao B, Zhang X, Wu L, Fu Q, Zhao Y, Cao Y, Zhu R, Lu X, Huang W, Zhao J, Li K, Zhao S, Han L, Zhou X, Luo C, Zhu H, Yang J, Huang H, Zhu Z, He X, Friml J, Zhang Z, Liu C, Du Y. 2023. Salicylic acid inhibits rice endocytic protein trafficking mediated by OsPIN3t and clathrin to affect root growth. Plant Journal. 115(1), 155–174.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
Jiang L, Yao B, Zhang X, Wu L, Fu Q, Zhao Y, Cao Y, Zhu R, Lu X, Huang W, Zhao J, Li K, Zhao S, Han L, Zhou X, Luo C, Zhu H, Yang J, Huang H, Zhu Z, He X, Friml J, Zhang Z, Liu C, Du Y. 2023. Salicylic acid inhibits rice endocytic protein trafficking mediated by OsPIN3t and clathrin to affect root growth. Plant Journal. 115(1), 155–174.
2023 | Draft | Preprint | IST-REx-ID: 15039 |
1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
B. Prach, C. Lampert, ArXiv (n.d.).
2023 | Published | Conference Paper | IST-REx-ID: 14830 |
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
2023 | Published | Journal Article | IST-REx-ID: 14628 |
Procedural metamaterials: A unified procedural graph for metamaterial design
L. Makatura, B. Wang, Y.-L. Chen, B. Deng, C. Wojtan, B. Bickel, W. Matusik, ACM Transactions on Graphics 42 (2023).
[Published Version]
View
| Files available
| DOI
L. Makatura, B. Wang, Y.-L. Chen, B. Deng, C. Wojtan, B. Bickel, W. Matusik, ACM Transactions on Graphics 42 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14710 |
A computational toolbox for the assembly yield of complex and heterogeneous structures
A.I. Curatolo, O. Kimchi, C.P. Goodrich, R.K. Krueger, M.P. Brenner, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A.I. Curatolo, O. Kimchi, C.P. Goodrich, R.K. Krueger, M.P. Brenner, Nature Communications 14 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 12760 |
Dynamic maintenance of monotone dynamic programs and applications
M. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Thesis | IST-REx-ID: 12732 |
Ergodicity breaking in disordered and kinetically constrained quantum many-body systems
P. Brighi, Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
P. Brighi, Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems, Institute of Science and Technology Austria, 2023.
2023 | Published | Thesis | IST-REx-ID: 12826 |
Neural control of optic flow-based navigation in Drosophila melanogaster
V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 12765 |
Behavioural defences against parasites across host social structures
S. Stockmaier, Y. Ulrich, G.F. Albery, S. Cremer, P.C. Lopes, Functional Ecology 37 (2023) 809–820.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
S. Stockmaier, Y. Ulrich, G.F. Albery, S. Cremer, P.C. Lopes, Functional Ecology 37 (2023) 809–820.
2023 | Published | Thesis | IST-REx-ID: 13107 |
The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival
L. Knaus, The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
L. Knaus, The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 12802 |
Large neutral amino acid levels tune perinatal neuronal excitability and survival
L. Knaus, B. Basilico, D. Malzl, M. Gerykova Bujalkova, M. Smogavec, L.A. Schwarz, S. Gorkiewicz, N. Amberg, F. Pauler, C. Knittl-Frank, M. Tassinari, N. Maulide, T. Rülicke, J. Menche, S. Hippenmeyer, G. Novarino, Cell 186 (2023) 1950–1967.e25.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Knaus, B. Basilico, D. Malzl, M. Gerykova Bujalkova, M. Smogavec, L.A. Schwarz, S. Gorkiewicz, N. Amberg, F. Pauler, C. Knittl-Frank, M. Tassinari, N. Maulide, T. Rülicke, J. Menche, S. Hippenmeyer, G. Novarino, Cell 186 (2023) 1950–1967.e25.
2023 | Published | Conference Paper | IST-REx-ID: 13120 |
Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Thesis | IST-REx-ID: 13175 |
Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
2023 | Published | Thesis | IST-REx-ID: 12900
Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 13292 |
Regular methods for operator precedence languages
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20.
2023 | Published | Thesis | IST-REx-ID: 13286 |
Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium
M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.
2023 | Draft | Preprint | IST-REx-ID: 13312 |
Radio frequency driven superconducting diode and parity conserving Cooper pair transport in a two-dimensional germanium hole gas
M. Valentini, O. Sagi, L. Baghumyan, T. de Gijsel, J. Jung, S. Calcaterra, A. Ballabio, J.A. Servin, K. Aggarwal, M. Janik, T. Adletzberger, R.S. Souto, M. Leijnse, J. Danon, C. Schrade, E. Bakkers, D. Chrastina, G. Isella, G. Katsaros, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Valentini, O. Sagi, L. Baghumyan, T. de Gijsel, J. Jung, S. Calcaterra, A. Ballabio, J.A. Servin, K. Aggarwal, M. Janik, T. Adletzberger, R.S. Souto, M. Leijnse, J. Danon, C. Schrade, E. Bakkers, D. Chrastina, G. Isella, G. Katsaros, ArXiv (n.d.).
2023 | Published | Conference Paper | IST-REx-ID: 14086 |
Faster submodular maximization for several classes of matroids
M. Henzinger, P. Liu, J. Vondrák, D.W. Zheng, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Henzinger, P. Liu, J. Vondrák, D.W. Zheng, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14083 |
Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery
N. Resch, C. Yuan, Y. Zhang, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
N. Resch, C. Yuan, Y. Zhang, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.