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.
2984 Publications
2020 | Journal Article | IST-REx-ID: 8325 |

Kalinin, N., & Shkolnikov, M. (2020). Sandpile solitons via smoothing of superharmonic functions. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-020-03828-8
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8329 |

Schlemmer, W., Nothdurft, P., Petzold, A., Frühwirt, P., Schmallegger, M., Gescheidt-Demner, G., … Spirk, S. (2020). 2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202008253
View
| DOI
| Download Published Version (ext.)
2020 | Thesis | IST-REx-ID: 8332 |

Kragl, B. (2020). Verifying concurrent programs: Refinement, synchronization, sequentialization. IST Austria. https://doi.org/10.15479/AT:ISTA:8332
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8336 |

Kubiasova, K., Montesinos López, J. C., Šamajová, O., Nisler, J., Mik, V., Semeradova, H., … Spíchal, L. (2020). Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-17949-0
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8337 |

Antoniadi, I., Novák, O., Gelová, Z., Johnson, A. J., Plíhal, O., Simerský, R., … Turnbull, C. (2020). Cell-surface receptors enable perception of extracellular cytokinins. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-17700-9
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8338 |

Akopyan, A., Bobenko, A. I., Schief, W. K., & Techter, J. (2020). On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-020-00240-w
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 8339 |

Genise, N., Micciancio, D., Peikert, C., & Walter, M. (2020). Improved discrete Gaussian and subgaussian analysis for lattice cryptography. In 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography (Vol. 12110, pp. 623–651). Edinburgh, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-030-45374-9_21
View
| DOI
| Download Preprint (ext.)
2020 | Thesis | IST-REx-ID: 8340
Kampjut, D. (2020). Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes. IST Austria. https://doi.org/10.15479/AT:ISTA:8340
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8341
Bezeljak, U. (2020). In vitro reconstitution of a Rab activation switch. IST Austria. https://doi.org/10.15479/AT:ISTA:8341
View
| Files available
| DOI
2020 | Preprint | IST-REx-ID: 8349 |

Nardin, M., Phillips, J. W., Podlaski, W. F., & Keemink, S. W. (n.d.). Nonlinear computations in spiking neural networks through multiplicative synapses. arXiv.
View
| Download Preprint (ext.)
| arXiv
2020 | Thesis | IST-REx-ID: 8350
Shamipour, S. (2020). Bulk actin dynamics drive phase segregation in zebrafish oocytes . IST Austria. https://doi.org/10.15479/AT:ISTA:8350
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8353
Steiner, J. (2020). Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I. IST Austria. https://doi.org/10.15479/AT:ISTA:8353
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8358 |

Dos Santos Caldas, P. R. (2020). Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers. IST Austria. https://doi.org/10.15479/AT:ISTA:8358
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8361 |

Varzi, A., Thanner, K., Scipioni, R., Di Lecce, D., Hassoun, J., Dörfler, S., … Freunberger, S. A. (2020). Current status and future perspectives of lithium metal batteries. Journal of Power Sources. Elsevier. https://doi.org/10.1016/j.jpowsour.2020.228803
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Thesis | IST-REx-ID: 8366 |

Guseinov, R. (2020). Computational design of curved thin shells: From glass façades to programmable matter. IST Austria. https://doi.org/10.15479/AT:ISTA:8366
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8383
Alistarh, D.-A., Aspnes, J., Ellen, F., Gelashvili, R., & Zhu, L. (2020). Brief Announcement: Why Extension-Based Proofs Fail. In Proceedings of the 39th Symposium on Principles of Distributed Computing (pp. 54–56). Virtual, Italy: ACM. https://doi.org/10.1145/3382734.3405743
View
| DOI
2020 | Journal Article | IST-REx-ID: 8384 |

Ishida, S., Synak, P., Narita, F., Hachisuka, T., & Wojtan, C. J. (2020). A model for soap film dynamics with evolving thickness. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3386569.3392405
View
| Files available
| DOI
| Download Submitted Version (ext.)
2020 | Journal Article | IST-REx-ID: 8385 |

Sperl, G., Narain, R., & Wojtan, C. J. (2020). Homogenized yarn-level cloth. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3386569.3392412
View
| Files available
| DOI
| Download Submitted Version (ext.)
2020 | Thesis | IST-REx-ID: 8386 |

Zhang, R. (2020). Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability. IST Austria. https://doi.org/10.15479/AT:ISTA:8386
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8390 |

Royer, A. (2020). Leveraging structure in Computer Vision tasks for flexible Deep Learning models. IST Austria. https://doi.org/10.15479/AT:ISTA:8390
View
| Files available
| DOI
2020 | Preprint | IST-REx-ID: 8429 |

Patxot, M., Trejo Banos, D., Kousathanas, A., Orliac, E. J., Ojavee, S. E., Moser, G., … Robinson, M. R. (2020). Probabilistic inference of the genetic architecture of functional enrichment of complex traits. medRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.09.04.20188433
View
| DOI
| Download Preprint (ext.)
2020 | Preprint | IST-REx-ID: 8430 |

Ojavee, S. E., Kousathanas, A., Trejo Banos, D., Orliac, E. J., Patxot, M., Lall, K., … Robinson, M. R. (n.d.). Genomic architecture and prediction of censored time-to-event phenotypes with a Bayesian genome-wide analysis. medRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.09.04.20188441
View
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 8529 |

Arnold, G. M., Wulf, M., Barzanjeh, S., Redchenko, E., Rueda Sanchez, A. R., Hease, W. J., … Fink, J. M. (2020). Converting microwave and telecom photons with a silicon photonic nanomechanical interface. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-18269-z
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8532 |

Kleindienst, D., Montanaro-Punzengruber, J.-C., Bhandari, P., Case, M. J., Fukazawa, Y., & Shigemoto, R. (2020). Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms21186737
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8533 |

Chatterjee, K., Ibsen-Jensen, R., Jecker, I. R., & Svoboda, J. (2020). Simplified game of life: Algorithms and complexity. In 45th International Symposium on Mathematical Foundations of Computer Science (Vol. 170). Prague, Czech Republic: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2020.22
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 8534 |

Jecker, I. R., Kupferman, O., & Mazzocchi, N. (2020). Unary prime languages. In 45th International Symposium on Mathematical Foundations of Computer Science (Vol. 170). Prague, Czech Republic: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2020.51
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8535 |

Skrivan, T., Soderstrom, A., Johansson, J., Sprenger, C., Museth, K., & Wojtan, C. J. (2020). Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3386569.3392466
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8536 |

Mondelli, M., Hashemi, S. A., Cioffi, J., & Goldsmith, A. (2020). Simplified successive cancellation decoding of polar codes has sublinear latency. In IEEE International Symposium on Information Theory - Proceedings (Vol. 2020–June). Los Angeles, CA, United States: IEEE. https://doi.org/10.1109/ISIT44484.2020.9174141
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8538 |

Akopyan, A., Schwartz, R., & Tabachnikov, S. (2020). Billiards in ellipses revisited. European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-020-00426-9
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8539 |

Su, C., Zhao, G., & Zhong, C. (2020). On the K-theory stable bases of the springer resolution. Annales Scientifiques de l’Ecole Normale Superieure. Société Mathématique de France. https://doi.org/10.24033/asens.2431
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8544 |

Takeo, Y. H., Shuster, S. A., Jiang, L., Hu, M., Luginbuhl, D. J., Rülicke, T., … Luo, L. (n.d.). GluD2- and Cbln1-mediated competitive synaptogenesis shapes the dendritic arbors of cerebellar Purkinje cells. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2020.11.028
View
| DOI
| Download Preprint (ext.)
2020 | Preprint | IST-REx-ID: 8545 |

Contreras, X., Davaatseren, A., Amberg, N., Hansen, A. H., Sonntag, J., Andersen, L., … Hippenmeyer, S. (2020). A genome-wide library of MADM mice for single-cell genetic mosaic analysis. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.06.05.136192
View
| DOI
| Download Preprint (ext.)
2020 | Preprint | IST-REx-ID: 8546 |

Zhang, T., Liu, T., Mora, N., Guegan, J., Bertrand, M., Contreras, X., … Hassan, B. A. (n.d.). Generation of neuronal diversity from common progenitors via Notch signaling in the cerebellum. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.03.18.997205
View
| DOI
| Download Preprint (ext.)
2020 | Preprint | IST-REx-ID: 8557 |

Belyaeva, V., Wachner, S., Gridchyn, I., Linder, M., Emtenani, S., György, A., … Siekhaus, D. E. (n.d.). Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. bioRxiv. https://doi.org/10.1101/2020.09.18.301481
View
| Files available
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 8562 |

Gavriil, K., Guseinov, R., Perez Rodriguez, J., Pellis, D., Henderson, P. M., Rist, F., … Bickel, B. (2020). Computational design of cold bent glass façades. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3414685.3417843
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8568 |

Prehal, C., Fitzek, H., Kothleitner, G., Presser, V., Gollas, B., Freunberger, S. A., & Abbas, Q. (2020). Persistent and reversible solid iodine electrodeposition in nanoporous carbons. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-18610-6
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8571 |

Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Chapoutot, A., Chen, X., … Schilling, C. (2020). ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics. In EPiC Series in Computing (Vol. 74, pp. 49–75). EasyChair. https://doi.org/10.29007/zkf6
View
| DOI
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 8572 |

Althoff, M., Bak, S., Bao, Z., Forets, M., Frehse, G., Freire, D., … Wetzlinger, M. (2020). ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics. In EPiC Series in Computing (Vol. 74, pp. 16–48). EasyChair. https://doi.org/10.29007/7dt2
View
| DOI
| Download Published Version (ext.)
2020 | Thesis | IST-REx-ID: 8574 |

Szep, E. (2020). Local adaptation in metapopulations. IST Austria. https://doi.org/10.15479/AT:ISTA:8574
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8579 |

Andrei, A., Öztürk, Y., Khalfaoui-Hassani, B., Rauch, J., Marckmann, D., Trasnea, P. I., … Koch, H.-G. (2020). Cu homeostasis in bacteria: The ins and outs. Membranes. MDPI. https://doi.org/10.3390/membranes10090242
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8580
Graff, G., Graff, B., Jablonski, G., & Narkiewicz, K. (2020). The application of persistent homology in the analysis of heart rate variability. In 11th Conference of the European Study Group on Cardiovascular Oscillations: Computation and Modelling in Physiology: New Challenges and Opportunities, . Pisa, Italy: IEEE. https://doi.org/10.1109/ESGCO49734.2020.9158054
View
| DOI
2020 | Journal Article | IST-REx-ID: 8581
Pinke, G., Zhou, L., & Sazanov, L. A. (2020). Cryo-EM structure of the entire mammalian F-type ATP synthase. Nature Structural and Molecular Biology. Springer Nature. https://doi.org/10.1038/s41594-020-0503-8
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8586 |

Fäßler, F., Zens, B., Hauschild, R., & Schur, F. K. (2020). 3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy. Journal of Structural Biology. Elsevier. https://doi.org/10.1016/j.jsb.2020.107633
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8587 |

Li, X., Yakaboylu, E., Bighin, G., Schmidt, R., Lemeshko, M., & Deuchert, A. (2020). Intermolecular forces and correlations mediated by a phonon bath. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/1.5144759
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8588 |

Hubert, C., Cohen, K., Ghazaryan, A., Lemeshko, M., Rapaport, R., & Santos, P. V. (2020). Attractive interactions, molecular complexes, and polarons in coupled dipolar exciton fluids. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.102.045307
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Thesis | IST-REx-ID: 8589
Han, H. (2020). Novel insights into PIN polarity regulation during Arabidopsis development. IST Austria. https://doi.org/10.15479/AT:ISTA:8589
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8592 |

Tian, A., Kang, B., Li, B., Qiu, B., Jiang, W., Shao, F., … Liu, C. (2020). Oncogenic state and cell identity combinatorially dictate the susceptibility of cells within glioma development hierarchy to IGF1R targeting. Advanced Science. Wiley. https://doi.org/10.1002/advs.202001724
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8597 |

Merrin, J. (2020). Differences in power law growth over time and indicators of COVID-19 pandemic progression worldwide. Physical Biology. IOP Publishing. https://doi.org/10.1088/1478-3975/abb2db
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8599 |

Avni, G., & Henzinger, T. A. (2020). A survey of bidding games on graphs. In 31st International Conference on Concurrency Theory (Vol. 171). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2020.2
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8600 |

Chatterjee, K., Henzinger, T. A., & Otop, J. (2020). Multi-dimensional long-run average problems for vector addition systems with states. In 31st International Conference on Concurrency Theory (Vol. 171). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2020.23
View
| Files available
| DOI
| arXiv