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 M, Blanchette J. 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. doi:10.4230/LIPIcs.ITP.2023.15
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14426 |
Unterweger IA, Klepstad J, Hannezo EB, Lundegaard PR, Trusina A, Ober EA. Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics. PLoS Biology. 2023;21(10). doi:10.1371/journal.pbio.3002315
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13119 |
Helson V, Zwettler T, Mivehvar F, et al. Density-wave ordering in a unitary Fermi gas with photon-mediated interactions. Nature. 2023;618:716-720. doi:10.1038/s41586-023-06018-3
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13177 |
Hua B, Keller M, Schwarz M, Wirth M. Sobolev-type inequalities and eigenvalue growth on graphs with finite measure. Proceedings of the American Mathematical Society. 2023;151(8):3401-3414. doi:10.1090/proc/14361
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14554 |
Cornalba F, Shardlow T. The regularised inertial Dean’ Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime. ESAIM: Mathematical Modelling and Numerical Analysis. 2023;57(5):3061-3090. doi:10.1051/m2an/2023077
[Published Version]
View
| Files available
| DOI
2023 | Scientific Software | IST-REx-ID: 14502 |
Dimchev GA, Amiri B, Fäßler F, Falcke M, Schur FK. Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data. 2023. doi:10.15479/AT:ISTA:14502
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12726
Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/at:ista:12726
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14530 |
Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/14530
[Updated Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14653 |
Kluibenschedl F, Ploner A, Meisenbichler C, Konrat R, Müller T. Advanced motion tracking for interactive mass spectrometry imaging (IMSI). International Journal of Mass Spectrometry. 2023;495. doi:10.1016/j.ijms.2023.117168
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 14657 |
Tkadlec J, Kaveh K, Chatterjee K, Nowak MA. Evolutionary dynamics of mutants that modify population structure. Journal of the Royal Society, Interface. 2023;20(208). doi:10.1098/rsif.2023.0355
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14662 |
Seiringer R. Absence of excited eigenvalues for Fröhlich type polaron models at weak coupling. Journal of Spectral Theory. 2023;13(3):1045-1055. doi:10.4171/JST/469
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 12976 |
Liao K, Tricard T, Piovarci M, Seidel H-P, Babaei V. Learning deposition policies for fused multi-material 3D printing. In: 2023 IEEE International Conference on Robotics and Automation. Vol 2023. IEEE; 2023:12345-12352. doi:10.1109/ICRA48891.2023.10160465
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13145 |
Dello Schiavo L, Lytvynov E. A Mecke-type characterization of the Dirichlet–Ferguson measure. Electronic Communications in Probability. 2023;28:1-12. doi:10.1214/23-ECP528
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13226
Bossmann L, Petrat SP. Weak Edgeworth expansion for the mean-field Bose gas. Letters in Mathematical Physics. 2023;113(4). doi:10.1007/s11005-023-01698-4
[Published Version]
View
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13271 |
Zhang H. Some convexity and monotonicity results of trace functionals. Annales Henri Poincare. 2023. doi:10.1007/s00023-023-01345-7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14041 |
Méhes E, Mones E, Varga M, et al. 3D cell segregation geometry and dynamics are governed by tissue surface tension regulation. Communications Biology. 2023;6. doi:10.1038/s42003-023-05181-7
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14427 |
Chen J, Kaloshin V, Zhang HK. Length spectrum rigidity for piecewise analytic Bunimovich billiards. Communications in Mathematical Physics. 2023. doi:10.1007/s00220-023-04837-z
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14445 |
Wagner U, Wild P. Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes. Israel Journal of Mathematics. 2023;256(2):675-717. doi:10.1007/s11856-023-2521-9
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12486 |
Agresti A. Delayed blow-up and enhanced diffusion by transport noise for systems of reaction-diffusion equations. Stochastics and Partial Differential Equations: Analysis and Computations. 2023. doi:10.1007/s40072-023-00319-4
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14734
Wan S, Xiao S, Li M, et al. Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4. Small Methods. 2023. doi:10.1002/smtd.202301377
View
| DOI
| PubMed | Europe PMC