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. https://doi.org/10.1016/j.neuron.2023.01.006
View
| DOI
2023 | Journal Article | IST-REx-ID: 12544 | 
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. https://doi.org/10.1021/acs.jcim.2c01346
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12548 |
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. https://doi.org/10.1109/icdmw58026.2022.00093
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. https://doi.org/10.1152/jn.00172.2022
View
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12567 |
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. https://doi.org/10.3390/ijms24032128
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12566 |
Alistarh, D.-A., Ellen, F., & Rybicki, J. (2023). Wait-free approximate agreement on graphs. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2023.113733
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12563 |
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. https://doi.org/10.1137/20m1378223
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 12467 |
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. https://doi.org/10.15479/at:ista:12491
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 11479 |
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. https://doi.org/10.1111/eva.13428
View
| Files available
| DOI