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, Krishnendu, et al. “Polynomial Invariant Generation for Non-Deterministic Recursive Programs.” Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–87, doi:10.1145/3385412.3385969.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 6918 |
Goharshady, Amir Kafshdar, and Fatemeh Mohammadi. “An Efficient Algorithm for Computing Network Reliability in Small Treewidth.” Reliability Engineering and System Safety, vol. 193, 106665, Elsevier, 2020, 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, Krishnendu, et al. “Optimal and Perfectly Parallel Algorithms for On-Demand Data-Flow Analysis.” European Symposium on Programming, vol. 12075, Springer Nature, 2020, pp. 112–40, 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, Ali, et al. “Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth.” Automated Technology for Verification and Analysis, vol. 12302, Springer Nature, 2020, pp. 253–70, 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, Anne, et al. “Cellular Locomotion Using Environmental Topography.” Nature, vol. 582, Springer Nature, 2020, pp. 582–585, doi:10.1038/s41586-020-2283-z.
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8139 |
Johnson, Alexander J., et al. “Experimental Toolbox for Quantitative Evaluation of Clathrin-Mediated Endocytosis in the Plant Model Arabidopsis.” Journal of Cell Science, vol. 133, no. 15, jcs248062, The Company of Biologists, 2020, doi:10.1242/jcs.248062.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Conference Paper | IST-REx-ID: 9198 |
Shevchenko, Aleksandr, and Marco Mondelli. “Landscape Connectivity and Dropout Stability of SGD Solutions for Over-Parameterized Neural Networks.” Proceedings of the 37th International Conference on Machine Learning, vol. 119, ML Research Press, 2020, pp. 8773–84.
[Published Version]
View
| Files available
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 10190 |
Chatterjee, Krishnendu, et al. “Value-Centric Dynamic Partial Order Reduction.” Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, vol. 3, 124, 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, Ashley, et al. “CUGC for Pontocerebellar Hypoplasia Type 9 and Spastic Paraplegia-63.” European Journal of Human Genetics, vol. 27, Springer Nature, 2019, pp. 161–66, 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, Keith D., et al. “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, 62, Springer Nature, 2019, 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, Mehmet C., and Reinhard Lipowsky. Supplementary Information - Collective Force Generation by Molecular Motors Is Determined by Strain-Induced Unbinding. American Chemical Society , 2019, doi:10.1021/acs.nanolett.9b04445.s001.
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9731 |
Sigalova, Olga, et al. Additional File 11 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction. Springer Nature, 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, Olga M., et al. Additional File 10 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction. Springer Nature, 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, Jakob, et al. Supporting Text and Results. Public Library of Science, 2019, doi:10.1371/journal.pcbi.1007168.s001.
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9789
Pokusaeva, Victoria, et al. Multiple Alignment of His3 Orthologues. Public Library of Science, 2019, doi:10.1371/journal.pgen.1008079.s010.
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9790
Pokusaeva, Victoria, et al. A Statistical Summary of Segment Libraries and Sequencing Results. Public Library of Science, 2019, doi:10.1371/journal.pgen.1008079.s011.
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9797
Pokusaeva, Victoria, et al. A Statistical Summary of Segment Libraries and Sequencing Results. Public Library of Science, 2019, doi:10.1371/journal.pgen.1008079.s011.
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9801
Merrill, Richard M., et al. Raw Behavioral Data. Public Library of Science, 2019, doi:10.1371/journal.pbio.2005902.s006.
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9802 |
Sachdeva, Himani. Data from: Effect of Partial Selfing and Polygenic Selection on Establishment in a New Habitat. Dryad, 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, Gemma, et al. Data from: Variation in Sexual Dimorphism in a Wind-Pollinated Plant: The Influence of Geographical Context and Life-Cycle Dynamics. Dryad, 2019, doi:10.5061/dryad.n1701c9.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)