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.
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
2020 | Conference Paper | IST-REx-ID: 7810
K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal and perfectly parallel algorithms for on-demand data-flow analysis,” in European Symposium on Programming, Dublin, Ireland, 2020, vol. 12075, pp. 112–140.View | Files available | DOI
2019 | Conference Paper | IST-REx-ID: 5947
B. Chatterjee, S. Peri, M. Sa, and N. Singhal, “A simple and practical concurrent non-blocking unbounded graph with linearizable reachability queries,” in ACM International Conference Proceeding Series, Bangalore, India, 2019, pp. 168–177.View | DOI | Download (ext.) | arXiv
2019 | Journal Article | IST-REx-ID: 6091
N. T. Henderson, S. J. Le Marchand, M. Hruska, S. Hippenmeyer, L. Luo, and M. B. Dalva, “Ephrin-B3 controls excitatory synapse density through cell-cell competition for EphBs,” eLife, vol. 8, 2019.View | Files available | DOI | PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6351
P. Marhavá, L. Hörmayer, S. Yoshida, P. Marhavy, E. Benková, and J. Friml, “Re-activation of stem cell pathways for pattern restoration in plant wound healing,” Cell, vol. 177, no. 4, p. 957–969.e13, 2019.View | Files available | DOI | PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6262
H. Rakusová, H. Han, P. Valošek, and J. Friml, “Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls,” The Plant Journal, vol. 98, no. 6, pp. 1048–1059, 2019.View | Files available | DOI | PubMed | Europe PMC