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.
4167 Publications
2023 | Journal Article | IST-REx-ID: 12562
Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons
D.R. Ladle, S. Hippenmeyer, Journal of Neurophysiology (n.d.).
View
| DOI
| PubMed | Europe PMC
D.R. Ladle, S. Hippenmeyer, Journal of Neurophysiology (n.d.).
2023 | Journal Article | IST-REx-ID: 12567 | 
Single-molecule localization microscopy of presynaptic active zones in Drosophila melanogaster after rapid cryofixation
A. Mrestani, K. Lichter, A.L. Sirén, M. Heckmann, M.M. Paul, M. Pauli, International Journal of Molecular Sciences 24 (2023).
View
| Files available
| DOI
A. Mrestani, K. Lichter, A.L. Sirén, M. Heckmann, M.M. Paul, M. Pauli, International Journal of Molecular Sciences 24 (2023).
2023 | Journal Article | IST-REx-ID: 12566 |
Wait-free approximate agreement on graphs
D.-A. Alistarh, F. Ellen, J. Rybicki, Theoretical Computer Science 948 (2023).
View
| Files available
| DOI
D.-A. Alistarh, F. Ellen, J. Rybicki, Theoretical Computer Science 948 (2023).
2023 | Journal Article | IST-REx-ID: 12563 |
Topology and adjunction in promise constraint satisfaction
A. Krokhin, J. Opršal, M. Wrochna, S. Živný, SIAM Journal on Computing 52 (2023) 38–79.
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Krokhin, J. Opršal, M. Wrochna, S. Živný, SIAM Journal on Computing 52 (2023) 38–79.
2023 | Conference Paper | IST-REx-ID: 12467 |
Quantitative safety and liveness
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, 2023.
View
| Files available
| arXiv
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, 2023.
2023 | Thesis | IST-REx-ID: 12491
Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography
B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023.
2023 | Journal Article | IST-REx-ID: 11479 |
Ten years of demographic modelling of divergence and speciation in the sea
A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlović, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.
View
| Files available
| DOI
A. De Jode, A. Le Moan, K. Johannesson, R. Faria, S. Stankowski, A.M. Westram, R.K. Butlin, M. Rafajlović, C. Fraisse, Evolutionary Applications 16 (2023) 542–559.
2023 | Journal Article | IST-REx-ID: 12158 |
Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis
P. Zeller, J. Yeung, H. Viñas Gaza, B.A. de Barbanson, V. Bhardwaj, M. Florescu, R. van der Linden, A. van Oudenaarden, Nature Genetics 55 (2023) 333–345.
View
| Files available
| DOI
P. Zeller, J. Yeung, H. Viñas Gaza, B.A. de Barbanson, V. Bhardwaj, M. Florescu, R. van der Linden, A. van Oudenaarden, Nature Genetics 55 (2023) 333–345.
2023 | Journal Article | IST-REx-ID: 12681 |
Elasto-inertial turbulence
Y. Dubief, V.E. Terrapon, B. Hof, Annual Review of Fluid Mechanics 55 (2023) 675–705.
View
| Files available
| DOI
Y. Dubief, V.E. Terrapon, B. Hof, Annual Review of Fluid Mechanics 55 (2023) 675–705.
2023 | Conference Paper | IST-REx-ID: 12676 |
Faster algorithm for turn-based stochastic games with bounded treewidth
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
View
| DOI
| Download Published Version (ext.)
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.