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.
411 Publications
2023 |Published| Conference Paper | IST-REx-ID: 13120 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Dvorak and J. Blanchette, “Closure properties of general grammars - formally verified,” in 14th International Conference on Interactive Theorem Proving, Bialystok, Poland, 2023, vol. 268.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14426 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
I. A. Unterweger, J. Klepstad, E. B. Hannezo, P. R. Lundegaard, A. Trusina, and E. A. Ober, “Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics,” PLoS Biology, vol. 21, no. 10. Public Library of Science, 2023.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 13119 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
V. Helson et al., “Density-wave ordering in a unitary Fermi gas with photon-mediated interactions,” Nature, vol. 618. Springer Nature, pp. 716–720, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 13177 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
B. Hua, M. Keller, M. Schwarz, and M. Wirth, “Sobolev-type inequalities and eigenvalue growth on graphs with finite measure,” Proceedings of the American Mathematical Society, vol. 151, no. 8. American Mathematical Society, pp. 3401–3414, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14554 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
F. Cornalba and T. 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, pp. 3061–3090, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Scientific Software | IST-REx-ID: 14502 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. A. Dimchev, B. Amiri, F. Fäßler, M. Falcke, and F. K. Schur, “Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data.” Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
2023 |Published| Thesis | IST-REx-ID: 12726
M. Riedl, “Synchronization in collectively moving active matter,” Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
2023 |Published| Thesis | IST-REx-ID: 14530 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Riedl, “Synchronization in collectively moving active matter,” Institute of Science and Technology Austria, 2023.
[Updated Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14657 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. Tkadlec, K. Kaveh, K. Chatterjee, and M. A. Nowak, “Evolutionary dynamics of mutants that modify population structure,” Journal of the Royal Society, Interface, vol. 20, no. 208. The Royal Society, 2023.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 14662 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Seiringer, “Absence of excited eigenvalues for Fröhlich type polaron models at weak coupling,” Journal of Spectral Theory, vol. 13, no. 3. EMS Press, pp. 1045–1055, 2023.
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 12976 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Liao, T. Tricard, M. Piovarci, H.-P. Seidel, and V. Babaei, “Learning deposition policies for fused multi-material 3D printing,” in 2023 IEEE International Conference on Robotics and Automation, London, United Kingdom, 2023, vol. 2023, pp. 12345–12352.
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 13145 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
L. Dello Schiavo and E. Lytvynov, “A Mecke-type characterization of the Dirichlet–Ferguson measure,” Electronic Communications in Probability, vol. 28. Institute of Mathematical Statistics, pp. 1–12, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 14041 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
E. Méhes et al., “3D cell segregation geometry and dynamics are governed by tissue surface tension regulation,” Communications Biology, vol. 6. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 14445 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
U. Wagner and P. Wild, “Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes,” Israel Journal of Mathematics, vol. 256, no. 2. Springer Nature, pp. 675–717, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 12486 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Agresti, “Delayed blow-up and enhanced diffusion by transport noise for systems of reaction-diffusion equations,” Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature, 2023.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 14734
S. Wan et al., “Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4,” Small Methods. Wiley, 2023.
View
| DOI
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 14755 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Moser, “Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result,” Asymptotic Analysis, vol. 131, no. 3–4. IOS Press, pp. 297–383, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Book Chapter | IST-REx-ID: 14757
A. Villalba Requena, N. Amberg, and S. Hippenmeyer, “Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression,” in Neocortical Neurogenesis in Development and Evolution, W. Huttner, Ed. Wiley, 2023, pp. 169–191.
View
| DOI
2023 |Published| Journal Article | IST-REx-ID: 13268 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
D. Huybrechts and M. Mauri, “On type II degenerations of hyperkähler manifolds,” Mathematical Research Letters, vol. 30, no. 1. International Press, pp. 125–141, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv