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.

2928 Publications

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

2020 | Conference Paper | IST-REx-ID: 7810 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Optimal and Perfectly Parallel Algorithms for On-Demand Data-Flow Analysis.” In European Symposium on Programming, 12075:112–40. Springer Nature, 2020.
View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 7814 | OA
Beattie, Robert J, Simon Hippenmeyer, and Florian Pauler. “SCOPES: Sparking Curiosity through Open-Source Platforms in Education and Science.” Frontiers in Education 5 (2020).
View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 7815 | OA
Beattie, Robert J, Carmen Streicher, Nicole Amberg, Giselle T Cheung, Ximena Contreras, Andi H Hansen, and Simon Hippenmeyer. “Lineage Tracing and Clonal Analysis in Developing Cerebral Cortex Using Mosaic Analysis with Double Markers (MADM).” Journal of Visual Experiments (JoVE), no. 159 (2020).
View | Files available | DOI

Filters and Search Terms



Filter Publications