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.
5373 Publications
2020 | Published | Conference Paper | IST-REx-ID: 8089 | 
Chatterjee K, Fu H, Goharshady AK, Goharshady EK. Polynomial invariant generation for non-deterministic recursive programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2020:672-687. doi:10.1145/3385412.3385969
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 6918 |
Goharshady AK, Mohammadi F. An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. 2020;193. doi:10.1016/j.ress.2019.106665
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 7810 |
Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In: European Symposium on Programming. Vol 12075. Springer Nature; 2020:112-140. doi:10.1007/978-3-030-44914-8_5
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8728 |
Asadi A, Chatterjee K, Goharshady AK, Mohammadi K, Pavlogiannis A. Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In: Automated Technology for Verification and Analysis. Vol 12302. Springer Nature; 2020:253-270. doi:10.1007/978-3-030-59152-6_14
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7885
Reversat A, Gärtner FR, Merrin J, et al. Cellular locomotion using environmental topography. Nature. 2020;582:582–585. doi:10.1038/s41586-020-2283-z
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8139 |
Johnson AJ, Gnyliukh N, Kaufmann W, et al. Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis. Journal of Cell Science. 2020;133(15). doi:10.1242/jcs.248062
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Conference Paper | IST-REx-ID: 9198 |
Shevchenko A, Mondelli M. Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks. In: Proceedings of the 37th International Conference on Machine Learning. Vol 119. ML Research Press; 2020:8773-8784.
[Published Version]
View
| Files available
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 10190 |
Chatterjee K, Pavlogiannis A, Toman V. Value-centric dynamic partial order reduction. In: Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications. Vol 3. ACM; 2019. doi:10.1145/3360550
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 105 |
Marsh A, Novarino G, Lockhart P, Leventer R. CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63. European Journal of Human Genetics. 2019;27:161-166. doi:10.1038/s41431-018-0231-2
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 9530 |
Harris KD, Lloyd JPB, Domb K, Zilberman D, Zemach A. DNA methylation is maintained with high fidelity in the honey bee germline and exhibits global non-functional fluctuations during somatic development. Epigenetics and Chromatin. 2019;12. doi:10.1186/s13072-019-0307-4
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Research Data Reference | IST-REx-ID: 9726
Ucar MC, Lipowsky R. Supplementary information - Collective force generation by molecular motors is determined by strain-induced unbinding. 2019. doi:10.1021/acs.nanolett.9b04445.s001
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9731 |
Sigalova O, Chaplin A, Bochkareva O, et al. Additional file 11 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808772.v1
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Research Data Reference | IST-REx-ID: 9783 |
Sigalova OM, Chaplin AV, Bochkareva O, et al. Additional file 10 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. 2019. doi:10.6084/m9.figshare.9808760.v1
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Research Data Reference | IST-REx-ID: 9786
Ruess J, Pleska M, Guet CC, Tkačik G. Supporting text and results. 2019. doi:10.1371/journal.pcbi.1007168.s001
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9789
Pokusaeva V, Usmanova DR, Putintseva EV, et al. Multiple alignment of His3 orthologues. 2019. doi:10.1371/journal.pgen.1008079.s010
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9790
Pokusaeva V, Usmanova DR, Putintseva EV, et al. A statistical summary of segment libraries and sequencing results. 2019. doi:10.1371/journal.pgen.1008079.s011
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9797
Pokusaeva V, Usmanova DR, Putintseva EV, et al. A statistical summary of segment libraries and sequencing results. 2019. doi:10.1371/journal.pgen.1008079.s011
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9801
Merrill RM, Rastas P, Martin SH, et al. Raw behavioral data. 2019. doi:10.1371/journal.pbio.2005902.s006
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9802 |
Sachdeva H. Data from: Effect of partial selfing and polygenic selection on establishment in a new habitat. 2019. doi:10.5061/dryad.8tp0900
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Research Data Reference | IST-REx-ID: 9803 |
Puixeu Sala G, Pickup M, Field D, Barrett SCH. Data from: Variation in sexual dimorphism in a wind-pollinated plant: the influence of geographical context and life-cycle dynamics. 2019. doi:10.5061/dryad.n1701c9
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)