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. 2023. Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving. ITP: International Conference on Interactive Theorem Proving, LIPIcs, vol. 268, 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. 2023. Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics. PLoS Biology. 21(10), e3002315.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13119 |
Helson V, Zwettler T, Mivehvar F, Colella E, Roux KER, Konishi H, Ritsch H, Brantut JP. 2023. Density-wave ordering in a unitary Fermi gas with photon-mediated interactions. Nature. 618, 716–720.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13177 |
Hua B, Keller M, Schwarz M, Wirth M. 2023. Sobolev-type inequalities and eigenvalue growth on graphs with finite measure. Proceedings of the American Mathematical Society. 151(8), 3401–3414.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14554 |
Cornalba F, Shardlow T. 2023. The regularised inertial Dean’ Kawasaki equation: Discontinuous Galerkin approximation and modelling for low-density regime. ESAIM: Mathematical Modelling and Numerical Analysis. 57(5), 3061–3090.
[Published Version]
View
| Files available
| DOI
2023 | Scientific Software | IST-REx-ID: 14502 |
Dimchev GA, Amiri B, Fäßler F, Falcke M, Schur FK. 2023. Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data, Institute of Science and Technology Austria, 10.15479/AT:ISTA:14502.
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12726
Riedl M. 2023. Synchronization in collectively moving active matter. Institute of Science and Technology Austria.
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14530 |
Riedl M. 2023. Synchronization in collectively moving active matter. Institute of Science and Technology Austria.
[Updated Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14653 |
Kluibenschedl F, Ploner A, Meisenbichler C, Konrat R, Müller T. 2023. Advanced motion tracking for interactive mass spectrometry imaging (IMSI). International Journal of Mass Spectrometry. 495, 117168.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 14657 |
Tkadlec J, Kaveh K, Chatterjee K, Nowak MA. 2023. Evolutionary dynamics of mutants that modify population structure. Journal of the Royal Society, Interface. 20(208), 20230355.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14662 |
Seiringer R. 2023. Absence of excited eigenvalues for Fröhlich type polaron models at weak coupling. Journal of Spectral Theory. 13(3), 1045–1055.
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 12976 |
Liao K, Tricard T, Piovarci M, Seidel H-P, Babaei V. 2023. Learning deposition policies for fused multi-material 3D printing. 2023 IEEE International Conference on Robotics and Automation. ICRA: International Conference on Robotics and Automation vol. 2023, 12345–12352.
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13145 |
Dello Schiavo L, Lytvynov E. 2023. A Mecke-type characterization of the Dirichlet–Ferguson measure. Electronic Communications in Probability. 28, 1–12.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13271 |
Zhang H. 2023. Some convexity and monotonicity results of trace functionals. Annales Henri Poincare.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14041 |
Méhes E, Mones E, Varga M, Zsigmond Á, Biri-Kovács B, Nyitray L, Barone V, Krens G, Heisenberg C-PJ, Vicsek T. 2023. 3D cell segregation geometry and dynamics are governed by tissue surface tension regulation. Communications Biology. 6, 817.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14427 |
Chen J, Kaloshin V, Zhang HK. 2023. Length spectrum rigidity for piecewise analytic Bunimovich billiards. Communications in Mathematical Physics.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14445 |
Wagner U, Wild P. 2023. Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes. Israel Journal of Mathematics. 256(2), 675–717.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12486 |
Agresti A. 2023. Delayed blow-up and enhanced diffusion by transport noise for systems of reaction-diffusion equations. Stochastics and Partial Differential Equations: Analysis and Computations.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14734
Wan S, Xiao S, Li M, Wang X, Lim KH, Hong M, Ibáñez M, Cabot A, Liu Y. 2023. Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4. Small Methods.
View
| DOI
| PubMed | Europe PMC