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.
6587 Publications
2023 |
Published |
Conference Paper |
IST-REx-ID: 14989 |
Malvai, Harjasleen, Eleftherios Kokoris Kogias, Alberto Sonnino, Esha Ghosh, Ercan Oztürk, Kevin Lewi, and Sean Lawlor. “Parakeet: Practical Key Transparency for End-to-End EEncrypted Messaging.” In Proceedings of the 2023 Network and Distributed System Security Symposium. Internet Society, 2023. https://doi.org/10.14722/ndss.2023.24545.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 14990 |
Meggendorfer, Tobias. “Artefact for: Correct Approximation of Stationary Distributions.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7548214.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 14991 |
Hwong, Yi-Ling, Maxime Colin, Philipp Aglas, Caroline J Muller, and Steven C. Sherwood. “Data-Assessing Memory in Convection Schemes Using Idealized Tests.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7757041.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Published |
Book Chapter |
IST-REx-ID: 14992 |
Lewin, Mathieu, Elliott H. Lieb, and Robert Seiringer. “Universal Functionals in Density Functional Theory.” In Density Functional Theory, edited by Eric Cances and Gero Friesecke, 1st ed., 115–82. MAMOMO. Springer, 2023. https://doi.org/10.1007/978-3-031-22340-2_3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 14993 |
Currin, Christopher, Mercy Nyamewaa Asiedu , Chris Fourie, Benjamin Rosman, Houcemeddine Turki, Atnafu Lambebo Tonja, Jade Abbott, et al. “A Framework for Grassroots Research Collaboration in Machine Learning and Global Health.” In 1st Workshop on Machine Learning & Global Health. OpenReview, 2023.
[Published Version]
View
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 14994 |
Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7877790.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 15027 |
Curk, Samo. “Aggregation_data.” Figshare, 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 |
Research Data Reference |
IST-REx-ID: 15035 |
Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8191723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 15173 |
Kwan, Matthew Alan, Ashwin Sah, and Mehtaab Sawhney. “Enumerating Matroids and Linear Spaces.” Comptes Rendus Mathematique. Academie des Sciences, 2023. https://doi.org/10.5802/crmath.423.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Conference Poster |
IST-REx-ID: 15292 |
Chen, Yi-Lu, Mickaël Ly, and Chris Wojtan. Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation. Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. ACM, 2023. https://doi.org/10.1145/3606037.3606836.
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 17074 |
Brooks, Morris, and Robert Seiringer. “Validity of Bogoliubov’s Approximation Fortranslation-Invariant Bose Gases.” Probability and Mathematical Physics. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/pmp.2022.3.939.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 17079 |
Serebryakov, Alexander, Nick Simm, and Guillaume Dubach. “Characteristic Polynomials of Random Truncations: Moments, Duality and Asymptotics.” Random Matrices: Theory and Applications. World Scientific Publishing, 2023. https://doi.org/10.1142/s2010326322500496.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Submitted |
Preprint |
IST-REx-ID: 17100 |
Giambartolomei, Giordano, Frederik Mallmann-Trenn Frederik Mallmann-Trenn, and Raimundo J Saona Urmeneta. “Prophet Inequalities: Separating Random Order from Order Selection.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2304.04024.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
earlier version | 2023 |
Draft |
Preprint |
IST-REx-ID: 17173 |
Reker, Jana. “Multi-Point Functional Central Limit Theorem for Wigner Matrices.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2307.11028.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
earlier version | 2023 |
Draft |
Preprint |
IST-REx-ID: 17174 |
Erdös, László, Sven Joscha Henheik, Jana Reker, and Volodymyr Riabov. “Prethermalization for Deformed Wigner Matrices.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2310.06677.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Research Data Reference |
IST-REx-ID: 18634 |
Muñoz Hermosilla, José M. “A 3D Glacier Dynamics-Line Plume Model to Estimate the Frontal Ablation of Hansbreen.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8005257.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 18942 |
Tamizhselvan, Prashanth, Sharmila Madhavan, Christian Constan-Aguilar, Eman Ryad Elrefaay, Jie Liu, Aleš Pěnčík, Ondřej Novák, et al. “Chloroplast Auxin Efflux Mediated by ABCB28 and ABCB29 Fine-Tunes Salt and Drought Stress Responses in Arabidopsis.” Plants. MDPI, 2023. https://doi.org/10.3390/plants13010007.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 18959
Arnaud, Marie-Claude, Michael Hutchings, and Vadim Kaloshin. “Dynamische Systeme.” Oberwolfach Reports. EMS Press, 2023. https://doi.org/10.4171/owr/2023/30.
View
| DOI
earlier version | 2023 |
Published |
Conference Paper |
IST-REx-ID: 19985
Schmid, Stefan, Jakub Svoboda, and Michelle X Yeo. “Weighted Acket Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation.” In 30th International Colloquium on Structural Information and Communication Complexity, 13892:576–94. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-32733-9_26.
View
| Files available
| DOI
| WoS
2023 |
Draft |
Preprint |
IST-REx-ID: 20572 |
Dello Schiavo, Lorenzo, and Filippo Quattrocchi. “Multivariate Dirichlet Moments and a Polychromatic Ewens Sampling Formula.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2309.11292.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv