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 |
Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Journal Article | IST-REx-ID: 14426 |
Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics
I.A. Unterweger, J. Klepstad, E.B. Hannezo, P.R. Lundegaard, A. Trusina, E.A. Ober, PLoS Biology 21 (2023).
[Published Version]
View
| Files available
| DOI
I.A. Unterweger, J. Klepstad, E.B. Hannezo, P.R. Lundegaard, A. Trusina, E.A. Ober, PLoS Biology 21 (2023).
2023 | Journal Article | IST-REx-ID: 13119 |
Density-wave ordering in a unitary Fermi gas with photon-mediated interactions
V. Helson, T. Zwettler, F. Mivehvar, E. Colella, K.E.R. Roux, H. Konishi, H. Ritsch, J.P. Brantut, Nature 618 (2023) 716–720.
[Published Version]
View
| Files available
| DOI
| WoS
V. Helson, T. Zwettler, F. Mivehvar, E. Colella, K.E.R. Roux, H. Konishi, H. Ritsch, J.P. Brantut, Nature 618 (2023) 716–720.
2023 | Journal Article | IST-REx-ID: 13177 |
Sobolev-type inequalities and eigenvalue growth on graphs with finite measure
B. Hua, M. Keller, M. Schwarz, M. Wirth, Proceedings of the American Mathematical Society 151 (2023) 3401–3414.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
B. Hua, M. Keller, M. Schwarz, M. Wirth, Proceedings of the American Mathematical Society 151 (2023) 3401–3414.
2023 | Journal Article | IST-REx-ID: 14554 |
The regularised inertial Dean' Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime
F. Cornalba, T. Shardlow, ESAIM: Mathematical Modelling and Numerical Analysis 57 (2023) 3061–3090.
[Published Version]
View
| Files available
| DOI
F. Cornalba, T. Shardlow, ESAIM: Mathematical Modelling and Numerical Analysis 57 (2023) 3061–3090.