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.

4166 Publications

2023 | Journal Article | IST-REx-ID: 12542
Villalba Requena, A., & Hippenmeyer, S. (2023). Going back in time with TEMPO. Neuron. Elsevier.
View | DOI
2023 | Journal Article | IST-REx-ID: 12544 | OA
Koehl, P., Akopyan, A., & Edelsbrunner, H. (2023). Computing the volume, surface area, mean, and Gaussian curvatures of molecules and their derivatives. Journal of Chemical Information and Modeling. American Chemical Society.
View | DOI | Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12548 | OA
Forghani, M., Claramunt, C., Karimipour, F., & Heiler, G. (2023). Visual analytics of mobility network changes observed using mobile phone data during COVID-19 pandemic. In 2022 IEEE International Conference on Data Mining Workshops. Orlando, FL, United States: Institute of Electrical and Electronics Engineers.
View | Files available | DOI
2023 | Journal Article | IST-REx-ID: 12562
Ladle, D. R., & Hippenmeyer, S. (n.d.). Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons. Journal of Neurophysiology. American Physiological Society.
View | DOI | PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12567 | OA
Mrestani, A., Lichter, K., Sirén, A. L., Heckmann, M., Paul, M. M., & Pauli, M. (2023). Single-molecule localization microscopy of presynaptic active zones in Drosophila melanogaster after rapid cryofixation. International Journal of Molecular Sciences. MDPI.
View | Files available | DOI
2023 | Journal Article | IST-REx-ID: 12566 | OA
Alistarh, D.-A., Ellen, F., & Rybicki, J. (2023). Wait-free approximate agreement on graphs. Theoretical Computer Science. Elsevier.
View | Files available | DOI
2023 | Journal Article | IST-REx-ID: 12563 | OA
Krokhin, A., Opršal, J., Wrochna, M., & Živný, S. (2023). Topology and adjunction in promise constraint satisfaction. SIAM Journal on Computing. Society for Industrial & Applied Mathematics.
View | DOI | Download Preprint (ext.) | arXiv
2023 | Conference Paper | IST-REx-ID: 12467 | OA
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures. Paris, France.
View | Files available | arXiv
2023 | Thesis | IST-REx-ID: 12491
Zens, B. (2023). Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. Institute of Science and Technology Austria.
View | Files available | DOI
2023 | Journal Article | IST-REx-ID: 11479 | OA
De Jode, A., Le Moan, A., Johannesson, K., Faria, R., Stankowski, S., Westram, A. M., … Fraisse, C. (2023). Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. Wiley.
View | Files available | DOI


Filter Publications