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.
402 Publications
2023 | Conference Paper | IST-REx-ID: 13120 | 
Dvorak, M., & Blanchette, J. (2023). Closure properties of general grammars - formally verified. In 14th International Conference on Interactive Theorem Proving (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITP.2023.15
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 14426 |
Unterweger, I. A., Klepstad, J., Hannezo, E. B., Lundegaard, P. R., Trusina, A., & Ober, E. A. (2023). Lineage tracing identifies heterogeneous hepatoblast contribution to cell lineages and postembryonic organ growth dynamics. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.3002315
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13119 |
Helson, V., Zwettler, T., Mivehvar, F., Colella, E., Roux, K. E. R., Konishi, H., … Brantut, J. P. (2023). Density-wave ordering in a unitary Fermi gas with photon-mediated interactions. Nature. Springer Nature. https://doi.org/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. (2023). Sobolev-type inequalities and eigenvalue growth on graphs with finite measure. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/14361
[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. EDP Sciences. https://doi.org/10.1051/m2an/2023077
[Published Version]
View
| Files available
| DOI
2023 | Scientific Software | IST-REx-ID: 14502 |
Dimchev, G. A., Amiri, B., Fäßler, F., Falcke, M., & Schur, F. K. (2023). Computational toolbox for ultrastructural quantitative analysis of filament networks in cryo-ET data. Institute of Science and Technology Austria. https://doi.org/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. https://doi.org/10.15479/at:ista:12726
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. https://doi.org/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. (2023). Advanced motion tracking for interactive mass spectrometry imaging (IMSI). International Journal of Mass Spectrometry. Elsevier. https://doi.org/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, M. A. (2023). Evolutionary dynamics of mutants that modify population structure. Journal of the Royal Society, Interface. The Royal Society. https://doi.org/10.1098/rsif.2023.0355
[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. EMS Press. https://doi.org/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. (2023). Learning deposition policies for fused multi-material 3D printing. In 2023 IEEE International Conference on Robotics and Automation (Vol. 2023, pp. 12345–12352). London, United Kingdom: IEEE. https://doi.org/10.1109/ICRA48891.2023.10160465
[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. Institute of Mathematical Statistics. https://doi.org/10.1214/23-ECP528
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13226
Bossmann, L., & Petrat, S. P. (2023). Weak Edgeworth expansion for the mean-field Bose gas. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-023-01698-4
[Published Version]
View
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 13271 |
Zhang, H. (2023). Some convexity and monotonicity results of trace functionals. Annales Henri Poincare. Springer Nature. https://doi.org/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., Zsigmond, Á., Biri-Kovács, B., Nyitray, L., … Vicsek, T. (2023). 3D cell segregation geometry and dynamics are governed by tissue surface tension regulation. Communications Biology. Springer Nature. https://doi.org/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, H. K. (2023). Length spectrum rigidity for piecewise analytic Bunimovich billiards. Communications in Mathematical Physics. Springer Nature. https://doi.org/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. (2023). Coboundary expansion, equivariant overlap, and crossing numbers of simplicial complexes. Israel Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s11856-023-2521-9
[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. Springer Nature. https://doi.org/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., Wang, X., Lim, K. H., Hong, M., … Liu, Y. (2023). Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4. Small Methods. Wiley. https://doi.org/10.1002/smtd.202301377
View
| DOI
| PubMed | Europe PMC