ISTA Research Explorer

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.

5368 Publications

2020 | Published | Preprint | IST-REx-ID: 9750 |

Slovakova, Jana, Mateusz K Sikora, Silvia Caballero Mancebo, Gabriel Krens, Walter Kaufmann, Karla Huljev, and Carl-Philipp J Heisenberg. “Tension-Dependent Stabilization of E-Cadherin Limits Cell-Cell Contact Expansion.” BioRxiv. Cold Spring Harbor Laboratory, 2020. https://doi.org/10.1101/2020.11.20.391284.

[Preprint] View | Files available | DOI | Download Preprint (ext.)

2020 | Published | Conference Paper | IST-REx-ID: 8089 |

Chatterjee, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “Polynomial Invariant Generation for Non-Deterministic Recursive Programs.” In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 672–87. Association for Computing Machinery, 2020. https://doi.org/10.1145/3385412.3385969.

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. Elsevier, 2020. https://doi.org/10.1016/j.ress.2019.106665.

2020 | Published | Conference Paper | IST-REx-ID: 7810 |

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

2020 | Published | Conference Paper | IST-REx-ID: 8728 |

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 | Journal Article | IST-REx-ID: 7885

Reversat, Anne, Florian R Gärtner, Jack Merrin, Julian A Stopp, Saren Tasciyan, Juan L Aguilera Servin, Ingrid de Vries, et al. “Cellular Locomotion Using Environmental Topography.” Nature. Springer Nature, 2020. https://doi.org/10.1038/s41586-020-2283-z.

View | Files available | DOI | WoS

2020 | Published | Journal Article | IST-REx-ID: 8139 |

Johnson, Alexander J, Nataliia Gnyliukh, Walter Kaufmann, Madhumitha Narasimhan, G Vert, SY Bednarek, and Jiří Friml. “Experimental Toolbox for Quantitative Evaluation of Clathrin-Mediated Endocytosis in the Plant Model Arabidopsis.” Journal of Cell Science. The Company of Biologists, 2020. https://doi.org/10.1242/jcs.248062.

2019 | Published | Conference Paper | IST-REx-ID: 10190 |

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 |

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.

2019 | Published | Journal Article | IST-REx-ID: 9530 |

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 |

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 |

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

[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 |

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 |

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.)

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

5368 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

5368 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options