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, Bingfei, Xuan Song, Cheng Chang, Ke Xiao, Yu Zhang, Linlin Yang, Sharona Horta, et al. “Bottom-up Synthesis of SnTe-Based Thermoelectric Composites.” ACS Applied Materials and Interfaces. American Chemical Society, 2023. 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, Ali, Billie Meadowcroft, Thijs Varkevisser, Anđela Šarić, and Daniela J. Kraft. “Wrapping Pathways of Anisotropic Dumbbell Particles by Giant Unilamellar Vesicles.” Nano Letters. American Chemical Society, 2023. 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, Laura, Alicia Vallet, Mikael Molin, Björn M. Burmann, and Paul Schanda. “Disulfide-Bond-Induced Structural Frustration and Dynamic Disorder in a Peroxiredoxin from MAS NMR.” Journal of the American Chemical Society. American Chemical Society, 2023. 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, Morris, José Carlos Santos, Kristyna Pluhackova, Gonzalo Cebrero, Saray Ramos, Gytis Jankevicius, Ella Hartenian, et al. “Structural Basis of NINJ1-Mediated Plasma Membrane Rupture in Cell Death.” Nature. Springer Nature, 2023. 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, Alexia C, and Lora B. Sweeney. “Spinal Cords: Symphonies of Interneurons across Species.” Frontiers in Neural Circuits. Frontiers, 2023. 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, Lisa. “The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13107.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13117 |
Redchenko, Elena, Alexander V. Poshakinskiy, Riya Sett, Martin Zemlicka, Alexander N. Poddubny, and Johannes M Fink. “Tunable Directional Photon Scattering from a Pair of Superconducting Qubits.” Nature Communications. Springer Nature, 2023. 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., Mandy Bethkenhagen, S. Ninet, M. French, A. Benuzzi-Mounaix, F. Datchi, M. Guarguaglini, et al. “Melting Curve of Superionic Ammonia at Planetary Interior Conditions.” Nature Physics. Springer Nature, 2023. https://doi.org/10.1038/s41567-023-02074-8.
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13119 |
Helson, Victor, Timo Zwettler, Farokh Mivehvar, Elvia Colella, Kevin Etienne Robert Roux, Hideki Konishi, Helmut Ritsch, and Jean Philippe Brantut. “Density-Wave Ordering in a Unitary Fermi Gas with Photon-Mediated Interactions.” Nature. Springer Nature, 2023. 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, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” In 14th International Conference on Interactive Theorem Proving, Vol. 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. 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, Elena, Alexander Poshakinskiy, Riya Sett, Martin Zemlicka, Alexander Poddubny, and Johannes M Fink. “Tunable Directional Photon Scattering from a Pair of Superconducting Qubits.” Zenodo, 2023. 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, Stefan, Raimel A Medina Ramos, Richard Kueng, and Maksym Serbyn. “Recursive Greedy Initialization of the Quantum Approximate Optimization Algorithm with Guaranteed Improvement.” Physical Review A. American Physical Society, 2023. 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, Barbara E, Katarina Bodova, Anna V Grasse, Gašper Tkačik, and Sylvia Cremer. “Dynamic Pathogen Detection and Social Feedback Shape Collective Hygiene in Ants.” Nature Communications. Springer Nature, 2023. 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, Nicolas, Marc Josien, Felix Otto, and Qiang Xu. “Bias in the Representative Volume Element Method: Periodize the Ensemble Instead of Its Realizations.” Foundations of Computational Mathematics. Springer Nature, 2023. 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, Antonio, and Mark Veraar. “Reaction-Diffusion Equations with Transport Noise and Critical Superlinear Diffusion: Local Well-Posedness and Positivity.” Journal of Differential Equations. Elsevier, 2023. 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, Thomas, Stefanie Rus, and Anna Kicheva. “Control of Tissue Dimensions in the Developing Neural Tube and Somites.” Current Opinion in Systems Biology. Elsevier, 2023. https://doi.org/10.1016/j.coisb.2023.100459.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13139 |
Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.” In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13993:489–507. Springer Nature, 2023. 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, Ashwani, Kaushik Mallik, Satya Prakash Nayak, and Anne Kathrin Schmuck. “Computing Adequately Permissive Assumptions for Synthesis.” In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13994:211–28. Springer Nature, 2023. 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, Krishnendu, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” In Tools and Algorithms for the Construction and Analysis of Systems , 13993:3–25. Springer Nature, 2023. 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, Charlotte, Pavel Hubáček, Chethan Kamath, and Krzysztof Z Pietrzak. “Certifying Giant Nonprimes.” In Public-Key Cryptography - PKC 2023, 13940:530–53. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-31368-4_19.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)