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.
4309 Publications
2023 | Journal Article | IST-REx-ID: 12566 | 
D.-A. Alistarh, F. Ellen, and J. Rybicki, “Wait-free approximate agreement on graphs,” Theoretical Computer Science, vol. 948, no. 2. Elsevier, 2023.
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12467 |
T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Quantitative safety and liveness,” in 26th International Conference Foundations of Software Science and Computation Structures, Paris, France, 2023.
View
| Files available
| arXiv
2023 | Thesis | IST-REx-ID: 12491
B. Zens, “Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography,” Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 11479 |
A. De Jode et al., “Ten years of demographic modelling of divergence and speciation in the sea,” Evolutionary Applications, vol. 16, no. 2. Wiley, pp. 542–559, 2023.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12158 |
P. Zeller et al., “Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis,” Nature Genetics, vol. 55. Springer Nature, pp. 333–345, 2023.
View
| Files available
| DOI