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
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 | OA
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 | OA
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: 13122 | OA
Sahu, Rishabh. “Entangling Microwaves with Light.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7789417.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 13124 | OA
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 | OA
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 | Research Data | IST-REx-ID: 13126 | OA
Danzl, Johann G. “Research Data for the Publication ‘Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.’” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:13126.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 13127 | OA
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 | Published | Journal Article | IST-REx-ID: 13128 | OA
Mohammadi, Ali, Thang Pham, and Yiting Wang. “An Energy Decomposition Theorem for Matrices and Related Questions.” Canadian Mathematical Bulletin. Cambridge University Press, 2023. 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 | OA
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: 13134
Čomić, Lidija, Gaëlle Largeteau-Skapin, Rita Zrour, Ranita Biswas, and Eric Andres. “Discrete Analytical Objects in the Body-Centered Cubic Grid.” Pattern Recognition. Elsevier, 2023. https://doi.org/10.1016/j.patcog.2023.109693.
View | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 13135 | OA
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 | OA
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 | Journal Article | IST-REx-ID: 13138 | OA
Orlov, Pavel, Anastasiia Tiutiakina, Rustem Sharipov, Elena Petrova, Vladimir Gritsev, and Denis V. Kurlov. “Adiabatic Eigenstate Deformations and Weak Integrability Breaking of Heisenberg Chain.” Physical Review B. American Physical Society, 2023. https://doi.org/10.1103/PhysRevB.107.184312.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 13139 | OA
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 | OA
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 | OA
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 | OA
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.)
 

2023 | Published | Journal Article | IST-REx-ID: 13145 | OA
Dello Schiavo, Lorenzo, and Eugene Lytvynov. “A Mecke-Type Characterization of the Dirichlet–Ferguson Measure.” Electronic Communications in Probability. Institute of Mathematical Statistics, 2023. https://doi.org/10.1214/23-ECP528.
[Published Version] View | Files available | DOI | WoS
 

2023 | In Press | Conference Abstract | IST-REx-ID: 13161 | OA
Schlögl, Alois, Stefano Elefante, and Victor-Valentin Hodirnau. “Running Windows-Applications on a Linux HPC Cluster Using WINE.” In ASHPC23 - Austrian-Slovenian HPC Meeting 2023, 59–59. EuroCC, n.d.
[Submitted Version] View | Files available
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed