Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5502 Publications
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.)
2023 | Published | Journal Article | IST-REx-ID: 13145 |
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 | Published | Conference Abstract | IST-REx-ID: 13161 |
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, 2023.
[Submitted Version]
View
| Files available
2023 | Published | Conference Abstract | IST-REx-ID: 13162 |
Elefante, Stefano, Stephan Stadlbauer, Michael F Alexander, and Alois Schlögl. “Cryo-EM Software Packages: A Sys-Admins Point of View.” In ASHPC23 - Austrian-Slovenian HPC Meeting 2023, 42–42. EuroCC, 2023.
[Submitted Version]
View
| Files available
2023 | Published | Journal Article | IST-REx-ID: 13164 |
Gert, Krista R.B., Karin Panser, Joachim Surm, Benjamin S. Steinmetz, Alexander Schleiffer, Luca Jovine, Yehu Moran, Fyodor Kondrashov, and Andrea Pauli. “Divergent Molecular Signatures in Fish Bouncer Proteins Define Cross-Fertilization Boundaries.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-39317-4.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13165 |
Fang, Lixing, Hao Huang, János Pach, Gábor Tardos, and Junchi Zuo. “Successive Vertex Orderings of Fully Regular Graphs.” Journal of Combinatorial Theory. Series A. Elsevier, 2023. https://doi.org/10.1016/j.jcta.2023.105776.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13166 |
Vetrova, Alexandra A., Daria M. Kupaeva, Alena Kizenko, Tatiana S. Lebedeva, Peter Walentek, Nikoloz Tsikolia, and Stanislav V. Kremnyov. “The Evolutionary History of Brachyury Genes in Hydrozoa Involves Duplications, Divergence, and Neofunctionalization.” Scientific Reports. Springer Nature, 2023. https://doi.org/10.1038/s41598-023-35979-8.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13168 |
Xu J, Liu N, Polemiti E, Garcia-Mondragon L, Tang J, Liu X, Lett T, Yu L, Nöthen MM, Feng J, Yu C, Marquand A, Schumann G, Walter H, Heinz A, Ralser M, Twardziok S, Vaidya N, Serin E, Jentsch M, Hitchen E, Eils R, Taron UH, Schütz T, Schepanski K, Banks J, Banaschewski T, Jansone K, Christmann N, Meyer-Lindenberg A, Tost H, Holz N, Schwarz E, Stringaris A, Neidhart M, Nees F, Siehl S, A. Andreassen O, T. Westlye L, Van Der Meer D, Fernandez S, Kjelkenes R, Ask H, Rapp M, Tschorn M, Böttger SJ, Novarino G, Marr L, Slater M, Viapiana GF, Orosa FE, Gallego J, Pastor A, Forstner A, Hoffmann P, M. Nöthen M, J. Forstner A, Claus I, Miller A, Heilmann-Heimbach S, Sommer P, Boye M, Wilbertz J, Schmitt K, Jirsa V, Petkoski S, Pitel S, Otten L, Athanasiadis AP, Pearmund C, Spanlang B, Alvarez E, Sanchez M, Giner A, Hese S, Renner P, Jia T, Gong Y, Xia Y, Chang X, Calhoun V, Liu J, Thompson P, Clinton N, Desrivieres S, H. Young A, Stahl B, Ogoh G. 2023. Effects of urban living environments on mental health in adults. Nature Medicine. 29, 1456–1467.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Research Data | IST-REx-ID: 13173 |
Shigemoto, Ryuichi. “Transition from Tonic to Phasic Neurotransmitter Release by Presynaptic GABAB Receptor Activation in Medial Habenula Terminals.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:13173.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 13175 |
Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13175.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13177 |
Hua, Bobo, Matthias Keller, Michael Schwarz, and Melchior Wirth. “Sobolev-Type Inequalities and Eigenvalue Growth on Graphs with Finite Measure.” Proceedings of the American Mathematical Society. American Mathematical Society, 2023. https://doi.org/10.1090/proc/14361.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13178 |
Mitrouskas, David Johannes, Krzysztof Mysliwy, and Robert Seiringer. “Optimal Parabolic Upper Bound for the Energy-Momentum Relation of a Strongly Coupled Polaron.” Forum of Mathematics. Cambridge University Press, 2023. https://doi.org/10.1017/fms.2023.45.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13179 |
Koval, Nikita, Dmitry Khalanskiy, and Dan-Adrian Alistarh. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery , 2023. https://doi.org/10.1145/3591230.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13180 |
Browning, Timothy D, Julian Lyczak, and Roman Sarapin. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/involve.2023.16.331.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13197 |
Grosjean, Galien M, and Scott R Waitukaitis. “Asymmetries in Triboelectric Charging: Generalizing Mosaic Models to Different-Material Samples and Sliding Contacts.” Physical Review Materials. American Physical Society, 2023. https://doi.org/10.1103/physrevmaterials.7.065601.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13200 |
Qiu, Liu, Rishabh Sahu, William J Hease, Georg M Arnold, and Johannes M Fink. “Coherent Optical Control of a Superconducting Microwave Cavity via Electro-Optical Dynamical Back-Action.” Nature Communications. Nature Research, 2023. https://doi.org/10.1038/s41467-023-39493-3.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13202 |
Eguchi, Kohgaku, Elodie Le Monnier, and Ryuichi Shigemoto. “Nanoscale Phosphoinositide Distribution on Cell Membranes of Mouse Cerebellar Neurons.” The Journal of Neuroscience. Society for Neuroscience, 2023. https://doi.org/10.1523/JNEUROSCI.1514-22.2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13207 |
Hainzl, Christian, Barbara Roos, and Robert Seiringer. “Boundary Superconductivity in the BCS Model.” Journal of Spectral Theory. EMS Press, 2023. https://doi.org/10.4171/JST/439.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv