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.
5255 Publications
2023 | Published | Journal Article | IST-REx-ID: 13092 | 
Nan, B., Song, X., Chang, C., Xiao, K., Zhang, Y., Yang, L., … Cabot, A. (2023). Bottom-up synthesis of SnTe-based thermoelectric composites. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.3c00625
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13094 |
Azadbakht, A., Meadowcroft, B., Varkevisser, T., Šarić, A., & Kraft, D. J. (2023). Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.3c00375
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13095 |
Troussicot, L., Vallet, A., Molin, M., Burmann, B. M., & Schanda, P. (2023). Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/jacs.3c01200
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13096 |
Degen, M., Santos, J. C., Pluhackova, K., Cebrero, G., Ramos, S., Jankevicius, G., … Hiller, S. (2023). Structural basis of NINJ1-mediated plasma membrane rupture in cell death. Nature. Springer Nature. https://doi.org/10.1038/s41586-023-05991-z
[Published Version]
View
| Files available
| DOI
| WoS
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 | 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 | 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 | 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: 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 | 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: 13142 |
Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 3–25). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_1
[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.)