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.




5339 Publications

2020 | Published | Journal Article | IST-REx-ID: 6918 | OA
Goharshady, Amir Kafshdar, and Fatemeh Mohammadi. “An Efficient Algorithm for Computing Network Reliability in Small Treewidth.” Reliability Engineering and System Safety. Elsevier, 2020. https://doi.org/10.1016/j.ress.2019.106665.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 8728 | OA
Asadi, Ali, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, and Andreas Pavlogiannis. “Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth.” In Automated Technology for Verification and Analysis, 12302:253–70. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-59152-6_14.
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Conference Paper | IST-REx-ID: 7810 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Optimal and Perfectly Parallel Algorithms for On-Demand Data-Flow Analysis.” In European Symposium on Programming, 12075:112–40. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-44914-8_5.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Conference Paper | IST-REx-ID: 10190 | OA
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Viktor Toman. “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. https://doi.org/10.1145/3360550.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 105 | OA
Marsh, Ashley, Gaia Novarino, Paul Lockhart, and Richard Leventer. “CUGC for Pontocerebellar Hypoplasia Type 9 and Spastic Paraplegia-63.” European Journal of Human Genetics. Springer Nature, 2019. https://doi.org/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 | OA
Harris, Keith D., James P. B. Lloyd, Katherine Domb, Daniel Zilberman, and Assaf 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. Springer Nature, 2019. https://doi.org/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. https://doi.org/10.1021/acs.nanolett.9b04445.s001.
[Published Version] View | Files available | DOI
 
2019 | Research Data Reference | IST-REx-ID: 9731 | OA
Sigalova, Olga, Andrei Chaplin, Olga Bochkareva, Pavel Shelyakin, Vsevolod Filaretov, Evgeny Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 11 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/10.6084/m9.figshare.9808772.v1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2019 | Research Data Reference | IST-REx-ID: 9783 | OA
Sigalova, Olga M., Andrei V. Chaplin, Olga Bochkareva, Pavel V. Shelyakin, Vsevolod A. Filaretov, Evgeny E. Akkuratov, Valentina Burskaia, and Mikhail S. Gelfand. “Additional File 10 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” Springer Nature, 2019. https://doi.org/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, Maros Pleska, Calin C Guet, and Gašper Tkačik. “Supporting Text and Results.” Public Library of Science, 2019. https://doi.org/10.1371/journal.pcbi.1007168.s001.
[Published Version] View | Files available | DOI
 
2019 | Research Data Reference | IST-REx-ID: 9789
Pokusaeva, Victoria, Dinara R. Usmanova, Ekaterina V. Putintseva, Lorena Espinar, Karen Sarkisyan, Alexander S. Mishin, Natalya S. Bogatyreva, et al. “Multiple Alignment of His3 Orthologues.” Public Library of Science, 2019. https://doi.org/10.1371/journal.pgen.1008079.s010.
[Published Version] View | Files available | DOI
 
2019 | Research Data Reference | IST-REx-ID: 9790
Pokusaeva, Victoria, Dinara R. Usmanova, Ekaterina V. Putintseva, Lorena Espinar, Karen Sarkisyan, Alexander S. Mishin, Natalya S. Bogatyreva, et al. “A Statistical Summary of Segment Libraries and Sequencing Results.” Public Library of Science, 2019. https://doi.org/10.1371/journal.pgen.1008079.s011.
[Published Version] View | Files available | DOI
 
2019 | Research Data Reference | IST-REx-ID: 9797
Pokusaeva, Victoria, Dinara R. Usmanova, Ekaterina V. Putintseva, Lorena Espinar, Karen Sarkisyan, Alexander S. Mishin, Natalya S. Bogatyreva, et al. “A Statistical Summary of Segment Libraries and Sequencing Results.” Public Library of Science, 2019. https://doi.org/10.1371/journal.pgen.1008079.s011.
[Published Version] View | Files available | DOI
 
2019 | Research Data Reference | IST-REx-ID: 9801
Merrill, Richard M., Pasi Rastas, Simon H. Martin, Maria C Melo Hurtado, Sarah Barker, John Davey, W. Owen Mcmillan, and Chris D. Jiggins. “Raw Behavioral Data.” Public Library of Science, 2019. https://doi.org/10.1371/journal.pbio.2005902.s006.
[Published Version] View | Files available | DOI
 
2019 | Research Data Reference | IST-REx-ID: 9802 | OA
Sachdeva, Himani. “Data from: Effect of Partial Selfing and Polygenic Selection on Establishment in a New Habitat.” Dryad, 2019. https://doi.org/10.5061/dryad.8tp0900.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2019 | Research Data Reference | IST-REx-ID: 9803 | OA
Puixeu Sala, Gemma, Melinda Pickup, David Field, and Spencer C.H. Barrett. “Data from: Variation in Sexual Dimorphism in a Wind-Pollinated Plant: The Influence of Geographical Context and Life-Cycle Dynamics.” Dryad, 2019. https://doi.org/10.5061/dryad.n1701c9.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2019 | Research Data Reference | IST-REx-ID: 9804 | OA
Castro, João Pl, Michelle N. Yancoskie, Marta Marchini, Stefanie Belohlavy, Layla Hiramatsu, Marek Kučka, William H. Beluch, et al. “Data from: An Integrative Genomic Analysis of the Longshanks Selection Experiment for Longer Limbs in Mice.” Dryad, 2019. https://doi.org/10.5061/dryad.0q2h6tk.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2019 | Research Data Reference | IST-REx-ID: 9805 | OA
Barton, Nicholas H. “Data from: The Consequences of an Introgression Event.” Dryad, 2019. https://doi.org/10.5061/dryad.2kb6fh4.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2019 | Research Data Reference | IST-REx-ID: 9806 | OA
Kutzer, Megan, Joachim Kurtz, and Sophie A.O. Armitage. “Data from: A Multi-Faceted Approach Testing the Effects of Previous Bacterial Exposure on Resistance and Tolerance.” Dryad, 2019. https://doi.org/10.5061/dryad.9kj41f0.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2019 | Research Data Reference | IST-REx-ID: 9839 | OA
Polechova, Jitka. “Data from: Is the Sky the Limit? On the Expansion Threshold of a Species’ Range.” Dryad, 2019. https://doi.org/10.5061/dryad.5vv37.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed