Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2020 | Journal Article | IST-REx-ID: 7788 |
M. J. W. Adjobo-Hermans et al., “NDUFS4 deletion triggers loss of NDUFA12 in Ndufs4−/− mice and Leigh syndrome patients: A stabilizing role for NDUFAF2,” Biochimica et Biophysica Acta - Bioenergetics, vol. 1861, no. 8, 2020.View | Files available | DOI | PubMed | Europe PMC
2020 | Conference Paper | IST-REx-ID: 7802 |
A. Czumaj, P. Davies, and M. Parter, “Graph sparsification for derandomizing massively parallel computation with low space,” in Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2020), Virtual Event, United States, 2020, no. 7, pp. 175–185.View | DOI | Download Preprint (ext.) | arXiv
2020 | Conference Paper | IST-REx-ID: 7806 |
M. Filakovský, U. Wagner, and S. Y. Zhechev, “Embeddability of simplicial complexes is undecidable,” in Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Salt Lake City, UT, United States, 2020, vol. 2020–January, pp. 767–785.View | DOI | Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 7807 |
U. Wagner and E. Welzl, “Connectivity of triangulation flip graphs in the plane (Part I: Edge flips),” in Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Salt Lake City, UT, United States, 2020, vol. 2020–January, pp. 2823–2841.View | DOI | Download Submitted Version (ext.) | arXiv
2020 | Conference Paper | IST-REx-ID: 7808 |
M. Giacobbe, T. A. Henzinger, and M. Lechner, “How many bits does it take to quantize your neural network?,” in International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland, 2020, vol. 12079, pp. 79–97.View | Files available | DOI