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.
5270 Publications
2023 |Published| Conference Paper | IST-REx-ID: 13120 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 13969 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Arroyo Guevara, Alan M, and Stefan Felsner. “Approximating the Bundled Crossing Number.” Journal of Graph Algorithms and Applications. Brown University, 2023. https://doi.org/10.7155/jgaa.00629.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14344 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Anastos, Michael. “Fast Algorithms for Solving the Hamilton Cycle Problem with High Probability.” In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, 2023:2286–2323. Society for Industrial and Applied Mathematics, 2023. https://doi.org/10.1137/1.9781611977554.ch88.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12710 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schamberger B, Ziege R, Anselme K, Ben Amar M, Bykowski M, Castro APG, Cipitria A, Coles RA, Dimova R, Eder M, Ehrig S, Escudero LM, Evans ME, Fernandes PR, Fratzl P, Geris L, Gierlinger N, Hannezo EB, Iglič A, Kirkensgaard JJK, Kollmannsberger P, Kowalewska Ł, Kurniawan NA, Papantoniou I, Pieuchot L, Pires THV, Renner LD, Sageman-Furnas AO, Schröder-Turk GE, Sengupta A, Sharma VR, Tagua A, Tomba C, Trepat X, Waters SL, Yeo EF, Roschger A, Bidan CM, Dunlop JWC. 2023. Curvature in biological systems: Its quantification, emergence, and implications across the scales. Advanced Materials. 35(13), 2206110.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 13340 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gemen, Julius, Jonathan R. Church, Tero-Petri Ruoko, Nikita Durandin, Michał J. Białek, Maren Weissenfels, Moran Feller, et al. “Disequilibrating Azoarenes by Visible-Light Sensitization under Confinement.” Science. American Association for the Advancement of Science, 2023. https://doi.org/10.1126/science.adh9059.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 |Published| Journal Article | IST-REx-ID: 12705 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sorichetti, Valerio, Andrea Ninarello, José Ruiz-Franco, Virginie Hugouvieux, Emanuela Zaccarelli, Cristian Micheletti, Walter Kob, and Lorenzo Rovigatti. “Structure and Elasticity of Model Disordered, Polydisperse, and Defect-Free Polymer Networks.” Journal of Chemical Physics. American Institute of Physics, 2023. https://doi.org/10.1063/5.0134271.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 12738 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, Joost P Katoen, Stefanie Mohr, Maximilian Weininger, and Tobias Winkler. “Stochastic Games with Lexicographic Objectives.” Formal Methods in System Design. Springer Nature, 2023. https://doi.org/10.1007/s10703-023-00411-4.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 | Research Data Reference | IST-REx-ID: 14279 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ucar, Mehmet C. “Source Data for the Manuscript ‘CCR7 Acts as Both a Sensor and a Sink for CCL19 to Coordinate Collective Leukocyte Migration.’” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8133960.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 10405 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “Central Limit Theorem for Linear Eigenvalue Statistics of Non-Hermitian Random Matrices.” Communications on Pure and Applied Mathematics. Wiley, 2023. https://doi.org/10.1002/cpa.22028.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 10770 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Graham, Thomas, Maria Kleshnina, and Jerzy A. Filar. “Where Do Mistakes Lead? A Survey of Games with Incompetent Players.” Dynamic Games and Applications. Springer Nature, 2023. https://doi.org/10.1007/s13235-022-00425-3.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 10145 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dello Schiavo, Lorenzo. “Ergodic Decomposition of Dirichlet Forms via Direct Integrals and Applications.” Potential Analysis. Springer Nature, 2023. https://doi.org/10.1007/s11118-021-09951-y.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12669 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Manavella, Pablo A, Micaela A Godoy Herz, Alberto R Kornblihtt, Reed Sorenson, Leslie E Sieburth, Kentaro Nakaminami, Motoaki Seki, et al. “Beyond Transcription: Compelling Open Questions in Plant RNA Biology.” The Plant Cell. Oxford University Press, 2023. https://doi.org/10.1093/plcell/koac346.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 11706 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Liebenau, Anita, Letícia Mattos, Walner Mendonca dos Santos, and Jozef Skokan. “Asymmetric Ramsey Properties of Random Graphs Involving Cliques and Cycles.” Random Structures and Algorithms. Wiley, 2023. https://doi.org/10.1002/rsa.21106.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 12707 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Erdös, László, and Yuanyuan Xu. “Small Deviation Estimates for the Largest Eigenvalue of Wigner Matrices.” Bernoulli. Bernoulli Society for Mathematical Statistics and Probability, 2023. https://doi.org/10.3150/22-BEJ1490.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12863
Filipović Marijić, Vlatka, Nesrete Krasnici, Damir Valić, Damir Kapetanović, Irena Vardić Smrzlić, Maja Jordanova, Katerina Rebok, et al. “Pollution Impact on Metal and Biomarker Responses in Intestinal Cytosol of Freshwater Fish.” Environmental Science and Pollution Research. Springer Nature, 2023. https://doi.org/10.1007/s11356-023-26844-2.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12836 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Khatoniar, Mandeep, Nicholas Yama, Areg Ghazaryan, Sriram Guddala, Pouyan Ghaemi, Kausik Majumdar, and Vinod Menon. “Optical Manipulation of Layer–Valley Coherence via Strong Exciton–Photon Coupling in Microcavities.” Advanced Optical Materials. Wiley, 2023. https://doi.org/10.1002/adom.202202631.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12959 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gladbach, Peter, Eva Kopfer, Jan Maas, and Lorenzo Portinale. “Homogenisation of Dynamical Optimal Transport on Periodic Graphs.” Calculus of Variations and Partial Differential Equations. Springer Nature, 2023. https://doi.org/10.1007/s00526-023-02472-z.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12915
Xing, Congcong, Yu Zhang, Ke Xiao, Xu Han, Yu Liu, Bingfei Nan, Maria Garcia Ramon, et al. “Thermoelectric Performance of Surface-Engineered Cu1.5–XTe–Cu2Se Nanocomposites.” ACS Nano. American Chemical Society, 2023. https://doi.org/10.1021/acsnano.3c00495.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12961
Wagner, Bernhard, Vedrana Šlipogor, Jinook Oh, Marion Varga, and Marisa Hoeschele. “A Comparison between Common Marmosets (Callithrix Jacchus) and Human Infants Sheds Light on Traits Proposed to Be at the Root of Human Octave Equivalence.” Developmental Science. Wiley, 2023. https://doi.org/10.1111/desc.13395.
View
| DOI
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12877 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
De Simoi, Jacopo, Vadim Kaloshin, and Martin Leguil. “Marked Length Spectral Determination of Analytic Chaotic Billiards with Axial Symmetries.” Inventiones Mathematicae. Springer Nature, 2023. https://doi.org/10.1007/s00222-023-01191-8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv