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.
401 Publications
2023 | Conference Paper | IST-REx-ID: 13120 |
Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” 14th International Conference on Interactive Theorem Proving, vol. 268, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.ITP.2023.15.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14426 |
Unterweger, Iris A., et al. “Lineage Tracing Identifies Heterogeneous Hepatoblast Contribution to Cell Lineages and Postembryonic Organ Growth Dynamics.” PLoS Biology, vol. 21, no. 10, e3002315, Public Library of Science, 2023, doi:10.1371/journal.pbio.3002315.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13119 |
Helson, Victor, et al. “Density-Wave Ordering in a Unitary Fermi Gas with Photon-Mediated Interactions.” Nature, vol. 618, Springer Nature, 2023, pp. 716–20, doi:10.1038/s41586-023-06018-3.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13177 |
Hua, Bobo, et al. “Sobolev-Type Inequalities and Eigenvalue Growth on Graphs with Finite Measure.” Proceedings of the American Mathematical Society, vol. 151, no. 8, American Mathematical Society, 2023, pp. 3401–14, doi: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, vol. 57, no. 5, EDP Sciences, 2023, pp. 3061–90, doi:10.1051/m2an/2023077.
[Published Version]
View
| Files available
| DOI