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.

2344 Publications

2020 | Conference Paper | IST-REx-ID: 7807 | OA
Connectivity of triangulation flip graphs in the plane (Part I: Edge flips)
U. Wagner, E. Welzl, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2020, pp. 2823–2841.
View | DOI | Download Submitted Version (ext.) | arXiv

2020 | Conference Paper | IST-REx-ID: 7808 | OA
How many bits does it take to quantize your neural network?
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
View | Files available | DOI

2020 | Conference Paper | IST-REx-ID: 7810 | OA
Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 7814 | OA
SCOPES: Sparking curiosity through Open-Source platforms in education and science
R.J. Beattie, S. Hippenmeyer, F. Pauler, Frontiers in Education 5 (2020).
View | Files available | DOI

2020 | Journal Article | IST-REx-ID: 7815 | OA
Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM)
R.J. Beattie, C. Streicher, N. Amberg, G.T. Cheung, X. Contreras, A.H. Hansen, S. Hippenmeyer, Journal of Visual Experiments (JoVE) (2020).
View | Files available | DOI

Filters and Search Terms




Filter Publications