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.
4958 Publications
2023 | Published | Journal Article | IST-REx-ID: 13097 | 
Wilson, A. C., & Sweeney, L. B. (2023). Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. Frontiers. https://doi.org/10.3389/fncir.2023.1146449
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Thesis | IST-REx-ID: 13107 |
Knaus, L. (2023). The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13107
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 13116 |
Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:13116
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13117 |
Redchenko, E., Poshakinskiy, A. V., Sett, R., Zemlicka, M., Poddubny, A. N., & Fink, J. M. (2023). Tunable directional photon scattering from a pair of superconducting qubits. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-38761-6
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13118
Hernandez, J.-A., Bethkenhagen, M., Ninet, S., French, M., Benuzzi-Mounaix, A., Datchi, F., … Ravasio, A. (2023). Melting curve of superionic ammonia at planetary interior conditions. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02074-8
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13119 |
Helson, V., Zwettler, T., Mivehvar, F., Colella, E., Roux, K. E. R., Konishi, H., … Brantut, J. P. (2023). Density-wave ordering in a unitary Fermi gas with photon-mediated interactions. Nature. Springer Nature. https://doi.org/10.1038/s41586-023-06018-3
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 13120 |
Dvorak, M., & Blanchette, J. (2023). Closure properties of general grammars - formally verified. In 14th International Conference on Interactive Theorem Proving (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITP.2023.15
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Research Data Reference | IST-REx-ID: 13124 |
Redchenko, E., Poshakinskiy, A., Sett, R., Zemlicka, M., Poddubny, A., & Fink, J. M. (2023). Tunable directional photon scattering from a pair of superconducting qubits. Zenodo. https://doi.org/10.5281/ZENODO.7858567
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 13125 |
Sack, S., Medina Ramos, R. A., Kueng, R., & Serbyn, M. (2023). Recursive greedy initialization of the quantum approximate optimization algorithm with guaranteed improvement. Physical Review A. American Physical Society. https://doi.org/10.1103/physreva.107.062404
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Research Data | IST-REx-ID: 13126 |
Danzl, J. G. (2023). Research data for the publication “Imaging brain tissue architecture across millimeter to nanometer scales.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:13126
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13127 |
Casillas Perez, B. E., Bodova, K., Grasse, A. V., Tkačik, G., & Cremer, S. (2023). Dynamic pathogen detection and social feedback shape collective hygiene in ants. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-38947-y
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13128 |
Mohammadi, A., Pham, T., & Wang, Y. (2023). An energy decomposition theorem for matrices and related questions. Canadian Mathematical Bulletin. Cambridge University Press. https://doi.org/10.4153/S000843952300036X
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 13129 |
Clozeau, N., Josien, M., Otto, F., & Xu, Q. (2023). Bias in the representative volume element method: Periodize the ensemble instead of its realizations. Foundations of Computational Mathematics. Springer Nature. https://doi.org/10.1007/s10208-023-09613-y
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13134
Čomić, L., Largeteau-Skapin, G., Zrour, R., Biswas, R., & Andres, E. (2023). Discrete analytical objects in the body-centered cubic grid. Pattern Recognition. Elsevier. https://doi.org/10.1016/j.patcog.2023.109693
View
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13135 |
Agresti, A., & Veraar, M. (2023). Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity. Journal of Differential Equations. Elsevier. https://doi.org/10.1016/j.jde.2023.05.038
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13136 |
Minchington, T., Rus, S., & Kicheva, A. (2023). Control of tissue dimensions in the developing neural tube and somites. Current Opinion in Systems Biology. Elsevier. https://doi.org/10.1016/j.coisb.2023.100459
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13138 |
Orlov, P., Tiutiakina, A., Sharipov, R., Petrova, E., Gritsev, V., & Kurlov, D. V. (2023). Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.107.184312
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13139 |
Meggendorfer, T. (2023). Correct approximation of stationary distributions. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 489–507). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_25
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13141 |
Anand, A., Mallik, K., Nayak, S. P., & Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_15
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13143 |
Hoffmann, C., Hubáček, P., Kamath, C., & Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-31368-4_19
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)