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.
4854 Publications
2023 | Research Data | IST-REx-ID: 13116 | 
Dunajova Z, Prats Mateu B, Radler P, Lim K, Brandis D, Velicky P, Danzl JG, Wong RW, Elgeti J, Hannezo EB, Loose M. 2023. Chiral and nematic phases of flexible active filaments, Institute of Science and Technology Austria, 10.15479/AT:ISTA:13116.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13117 |
Redchenko E, Poshakinskiy AV, Sett R, Zemlicka M, Poddubny AN, Fink JM. 2023. Tunable directional photon scattering from a pair of superconducting qubits. Nature Communications. 14, 2998.
[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, Guarguaglini M, Lefevre F, Occelli F, Redmer R, Vinci T, Ravasio A. 2023. Melting curve of superionic ammonia at planetary interior conditions. Nature Physics. 19, 1280–1285.
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13119 |
Helson V, Zwettler T, Mivehvar F, Colella E, Roux KER, Konishi H, Ritsch H, Brantut JP. 2023. Density-wave ordering in a unitary Fermi gas with photon-mediated interactions. Nature. 618, 716–720.
[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. 14th International Conference on Interactive Theorem Proving. ITP: International Conference on Interactive Theorem Proving, LIPIcs, vol. 268, 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 JM. 2023. Tunable directional photon scattering from a pair of superconducting qubits, Zenodo, 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 RA, Kueng R, Serbyn M. 2023. Recursive greedy initialization of the quantum approximate optimization algorithm with guaranteed improvement. Physical Review A. 107(6), 062404.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Research Data | IST-REx-ID: 13126 |
Danzl JG. 2023. Research data for the publication ‘Imaging brain tissue architecture across millimeter to nanometer scales’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:13126.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13127 |
Casillas Perez BE, Bodova K, Grasse AV, Tkačik G, Cremer S. 2023. Dynamic pathogen detection and social feedback shape collective hygiene in ants. Nature Communications. 14, 3232.
[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. 66(4), 1280–1295.
[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.
[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. 368(9), 247–300.
[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. 35, 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 DV. 2023. Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. Physical Review B. 107(18), 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. TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13993, 489–507.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13141 |
Anand A, Mallik K, Nayak SP, Schmuck AK. 2023. Computing adequately permissive assumptions for synthesis. TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 211–228.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13143 |
Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. 2023. Certifying giant nonprimes. Public-Key Cryptography - PKC 2023. PKC: Public-Key Cryptography, LNCS, vol. 13940, 530–553.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 13145 |
Dello Schiavo L, Lytvynov E. 2023. A Mecke-type characterization of the Dirichlet–Ferguson measure. Electronic Communications in Probability. 28, 1–12.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | In Press | Conference Abstract | IST-REx-ID: 13161 |
Schlögl A, Elefante S, Hodirnau V-V. Running Windows-applications on a Linux HPC cluster using WINE. ASHPC23 - Austrian-Slovenian HPC Meeting 2023. ASHPC: Austrian-Slovenian HPC Meeting, 59–59.
[Submitted Version]
View
| Files available