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.




4634 Publications

2023 | Journal Article | IST-REx-ID: 14255 | OA
Koch, J., Xin, Q., Obr, M., Schäfer, A., Rolfs, N., Anagho, H. A., … Lozach, P. Y. (2023). The phenuivirus Toscana virus makes an atypical use of vacuolar acidity to enter host cells. PLoS Pathogens. Public Library of Science. https://doi.org/10.1371/journal.ppat.1011562
View | Files available | DOI | PubMed | Europe PMC
 
2023 | Journal Article | IST-REx-ID: 14253 | OA
Vierra, N. C., Ribeiro-Silva, L., Kirmiz, M., Van Der List, D., Bhandari, P., Mack, O. A., … Trimmer, J. S. (2023). Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-40930-6
View | Files available | DOI | PubMed | Europe PMC
 
2023 | Journal Article | IST-REx-ID: 14251 | OA
Tang, H., Lu, K., Zhang, Y., Cheng, Y., Tu, S., & Friml, J. (n.d.). Divergence of trafficking and polarization mechanisms for PIN auxin transporters during land plant evolution. Plant Communications. Elsevier. https://doi.org/10.1016/j.xplc.2023.100669
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2023 | Conference Paper | IST-REx-ID: 14260 | OA
Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 156–169). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_8
View | Files available | DOI
 
2023 | Conference Paper | IST-REx-ID: 14259 | OA
Kretinsky, J., Meggendorfer, T., Prokop, M., & Rieder, S. (2023). Guessing winning policies in LTL synthesis by semantic learning. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 390–414). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_20
View | Files available | DOI
 

Search

Filter Publications