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.
4858 Publications
2023 |
Published |
Journal Article |
IST-REx-ID: 13118
J.-A. Hernandez et al., “Melting curve of superionic ammonia at planetary interior conditions,” Nature Physics, vol. 19. Springer Nature, pp. 1280–1285, 2023.
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 13119 |
V. Helson et al., “Density-wave ordering in a unitary Fermi gas with photon-mediated interactions,” Nature, vol. 618. Springer Nature, pp. 716–720, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Conference Paper |
IST-REx-ID: 13120 |
M. Dvorak and J. Blanchette, “Closure properties of general grammars - formally verified,” in 14th International Conference on Interactive Theorem Proving, Bialystok, Poland, 2023, vol. 268.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Research Data Reference |
IST-REx-ID: 13122 |
R. Sahu, “Entangling microwaves with light.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 13124 |
E. Redchenko, A. Poshakinskiy, R. Sett, M. Zemlicka, A. Poddubny, and J. M. Fink, “Tunable directional photon scattering from a pair of superconducting qubits.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 13125 |
S. Sack, R. A. Medina Ramos, R. Kueng, and M. Serbyn, “Recursive greedy initialization of the quantum approximate optimization algorithm with guaranteed improvement,” Physical Review A, vol. 107, no. 6. American Physical Society, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Research Data |
IST-REx-ID: 13126 |
J. G. Danzl, “Research data for the publication ‘Imaging brain tissue architecture across millimeter to nanometer scales.’” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 13127 |
B. E. Casillas Perez, K. Bodova, A. V. Grasse, G. Tkačik, and S. Cremer, “Dynamic pathogen detection and social feedback shape collective hygiene in ants,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 13128 |
A. Mohammadi, T. Pham, and Y. Wang, “An energy decomposition theorem for matrices and related questions,” Canadian Mathematical Bulletin, vol. 66, no. 4. Cambridge University Press, pp. 1280–1295, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 13129 |
N. Clozeau, M. Josien, F. Otto, and Q. Xu, “Bias in the representative volume element method: Periodize the ensemble instead of its realizations,” Foundations of Computational Mathematics. Springer Nature, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 13135 |
A. Agresti and M. Veraar, “Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity,” Journal of Differential Equations, vol. 368, no. 9. Elsevier, pp. 247–300, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 13136 |
T. Minchington, S. Rus, and A. Kicheva, “Control of tissue dimensions in the developing neural tube and somites,” Current Opinion in Systems Biology, vol. 35. Elsevier, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 13138 |
P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, and D. V. Kurlov, “Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain,” Physical Review B, vol. 107, no. 18. American Physical Society, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 13139 |
T. Meggendorfer, “Correct approximation of stationary distributions,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13993, pp. 489–507.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 13141 |
A. Anand, K. Mallik, S. P. Nayak, and A. K. Schmuck, “Computing adequately permissive assumptions for synthesis,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 211–228.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Conference Paper |
IST-REx-ID: 13142 |
K. Chatterjee, T. A. Henzinger, M. Lechner, and D. 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 , Paris, France, 2023, vol. 13993, pp. 3–25.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Conference Paper |
IST-REx-ID: 13143 |
C. Hoffmann, P. Hubáček, C. Kamath, and K. Z. Pietrzak, “Certifying giant nonprimes,” in Public-Key Cryptography - PKC 2023, Atlanta, GA, United States, 2023, vol. 13940, pp. 530–553.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 13145 |
L. Dello Schiavo and E. Lytvynov, “A Mecke-type characterization of the Dirichlet–Ferguson measure,” Electronic Communications in Probability, vol. 28. Institute of Mathematical Statistics, pp. 1–12, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
In Press |
Conference Abstract |
IST-REx-ID: 13161 |
A. Schlögl, S. Elefante, and V.-V. Hodirnau, “Running Windows-applications on a Linux HPC cluster using WINE,” in ASHPC23 - Austrian-Slovenian HPC Meeting 2023, Maribor, Slovenia, pp. 59–59.
[Submitted Version]
View
| Files available