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.
402 Publications
2023 | Conference Paper | IST-REx-ID: 13120 | 
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 | Journal Article | IST-REx-ID: 14426 |
Unterweger, Iris A., Julie Klepstad, Edouard B Hannezo, Pia R. Lundegaard, Ala Trusina, and Elke A. Ober. “Lineage Tracing Identifies Heterogeneous Hepatoblast Contribution to Cell Lineages and Postembryonic Organ Growth Dynamics.” PLoS Biology. Public Library of Science, 2023. https://doi.org/10.1371/journal.pbio.3002315.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13119 |
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 | 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 | Journal Article | IST-REx-ID: 14554 |
Cornalba, Federico, and Tony Shardlow. “The Regularised Inertial Dean’ Kawasaki Equation: Discontinuous Galerkin Approximation and Modelling for Low-Density Regime.” ESAIM: Mathematical Modelling and Numerical Analysis. EDP Sciences, 2023. https://doi.org/10.1051/m2an/2023077.
[Published Version]
View
| Files available
| DOI