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.
5507 Publications
2020 | Published | Journal Article | IST-REx-ID: 8569 | 
A. H. Hansen and S. Hippenmeyer, “Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex,” Frontiers in Cell and Developmental Biology, vol. 8, no. 9. Frontiers, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Preprint | IST-REx-ID: 9750 |
J. Slovakova et al., “Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion,” bioRxiv. Cold Spring Harbor Laboratory, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2020 | Published | Conference Paper | IST-REx-ID: 8089 |
K. Chatterjee, H. Fu, A. K. Goharshady, and E. K. Goharshady, “Polynomial invariant generation for non-deterministic recursive programs,” in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 2020, pp. 672–687.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 6918 |
A. K. Goharshady and F. Mohammadi, “An efficient algorithm for computing network reliability in small treewidth,” Reliability Engineering and System Safety, vol. 193. Elsevier, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | 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.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8728 |
A. Asadi, K. Chatterjee, A. K. Goharshady, K. Mohammadi, and A. Pavlogiannis, “Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth,” in Automated Technology for Verification and Analysis, Hanoi, Vietnam, 2020, vol. 12302, pp. 253–270.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7885
A. Reversat et al., “Cellular locomotion using environmental topography,” Nature, vol. 582. Springer Nature, pp. 582–585, 2020.
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8139 |
A. J. Johnson et al., “Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis,” Journal of Cell Science, vol. 133, no. 15. The Company of Biologists, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Conference Paper | IST-REx-ID: 9198 |
A. Shevchenko and M. Mondelli, “Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks,” in Proceedings of the 37th International Conference on Machine Learning, 2020, vol. 119, pp. 8773–8784.
[Published Version]
View
| Files available
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 10190 |
K. Chatterjee, A. Pavlogiannis, and V. Toman, “Value-centric dynamic partial order reduction,” in Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Athens, Greece, 2019, vol. 3.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 105 |
A. Marsh, G. Novarino, P. Lockhart, and R. Leventer, “CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63,” European Journal of Human Genetics, vol. 27. Springer Nature, pp. 161–166, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 9530 |
K. D. Harris, J. P. B. Lloyd, K. Domb, D. Zilberman, and A. Zemach, “DNA methylation is maintained with high fidelity in the honey bee germline and exhibits global non-functional fluctuations during somatic development,” Epigenetics and Chromatin, vol. 12. Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Research Data Reference | IST-REx-ID: 9726
M. C. Ucar and R. Lipowsky, “Supplementary information - Collective force generation by molecular motors is determined by strain-induced unbinding.” American Chemical Society , 2019.
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9731 |
O. Sigalova et al., “Additional file 11 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction.” Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Research Data Reference | IST-REx-ID: 9783 |
O. M. Sigalova et al., “Additional file 10 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction.” Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Research Data Reference | IST-REx-ID: 9784 |
M. N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F. V. Rao, and C. V. Martin, “MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells.” Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Research Data Reference | IST-REx-ID: 9786
J. Ruess, M. Pleska, C. C. Guet, and G. Tkačik, “Supporting text and results.” Public Library of Science, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9789
V. Pokusaeva et al., “Multiple alignment of His3 orthologues.” Public Library of Science, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9790
V. Pokusaeva et al., “A statistical summary of segment libraries and sequencing results.” Public Library of Science, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9797
V. Pokusaeva et al., “A statistical summary of segment libraries and sequencing results.” Public Library of Science, 2019.
[Published Version]
View
| Files available
| DOI