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.

6032 Publications

2020 | Conference Paper | IST-REx-ID: 7802 | OA
Czumaj, Artur, Peter Davies, and Merav 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), 175–85. Association for Computing Machinery, 2020.
View | DOI | Download Preprint (ext.) | arXiv

2020 | Journal Article | IST-REx-ID: 7804 | OA
Flynn, Sean M., Changchun Chen, Murat Artan, Stephen Barratt, Alastair Crisp, Geoffrey M. Nelson, Sew Yeu Peak-Chew, Farida Begum, Mark Skehel, and Mario de Bono. “MALT-1 Mediates IL-17 Neural Signaling to Regulate C. Elegans Behavior, Immunity and Longevity.” Nature Communications 11 (2020).
View | Files available | DOI

2020 | Conference Paper | IST-REx-ID: 7806 | OA
Filakovský, Marek, Uli Wagner, and Stephan Y Zhechev. “Embeddability of Simplicial Complexes Is Undecidable.” In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, 2020–January:767–85. SIAM, 2020.
View | DOI | Download Published Version (ext.)

2020 | Conference Paper | IST-REx-ID: 7807 | OA
Wagner, Uli, and Emo Welzl. “Connectivity of Triangulation Flip Graphs in the Plane (Part I: Edge Flips).” In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, 2020–January:2823–41. SIAM, 2020.
View | DOI | Download Submitted Version (ext.) | arXiv

2020 | Conference Paper | IST-REx-ID: 7808 | OA
Giacobbe, Mirco, Thomas A Henzinger, and Mathias 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, 12079:79–97. Springer Nature, 2020.
View | Files available | DOI


Filter Publications