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.

5339 Publications

Search / Filter

2017 | Published | Journal Article | IST-REx-ID: 548 |

Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes
D. De Martino, Physical Review E 96 (2017).

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2017 | Published | Conference Paper | IST-REx-ID: 549 |

Causality-based model checking
B. Finkbeiner, A. Kupriyanov, in:, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017, pp. 31–38.

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

2017 | Published | Conference Paper | IST-REx-ID: 551 |

Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

[Published Version] View | Files available | DOI

2017 | Published | Conference Paper | IST-REx-ID: 552 |

Faster algorithms for mean-payoff parity games
K. Chatterjee, M. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

[Published Version] View | Files available | DOI

2017 | Published | Conference Paper | IST-REx-ID: 553 |

Strategy complexity of concurrent safety games
K. Chatterjee, K. Hansen, R. Ibsen-Jensen, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

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

2017 | Research Data | IST-REx-ID: 5559 |

Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak , (2017).

[Published Version] View | Files available | DOI

2017 | Research Data | IST-REx-ID: 5560 |

Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity
T. Bergmiller, A.M. Andersson, K. Tomasek, E. Balleza, D. Kiviet, R. Hauschild, G. Tkačik, C.C. Guet, (2017).

[Published Version] View | Files available | DOI

2017 | Research Data | IST-REx-ID: 5561 |

Graph matching problems for annotating C. Elegans
D. Kainmueller, F. Jug, C. Rother, G. Meyers, (2017).

[Published Version] View | Files available | DOI

2017 | Research Data | IST-REx-ID: 5562 |

Multi-electrode array recording from salamander retinal ganglion cells
O. Marre, G. Tkačik, D. Amodei, E. Schneidman, W. Bialek, M. Berry, (2017).

[Published Version] View | Files available | DOI

2017 | Research Data | IST-REx-ID: 5563 |

MATLAB analysis code for 'Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast'
M. Lukacisin, (2017).

[Published Version] View | Files available | DOI

2017 | Research Data | IST-REx-ID: 5564 |

Fastq files for "Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection"
M. Steinrück, C.C. Guet, (2017).

[Published Version] View | Files available | DOI

2017 | Research Data | IST-REx-ID: 5565 |

Light Sheet Fluorescence microscopy of plant roots growing on the surface of a gel
D. von Wangenheim, R. Hauschild, J. Friml, (2017).

[Published Version] View | Files available | DOI

2017 | Research Data | IST-REx-ID: 5567 |

Immunological synapse DC-Tcells
A.F. Leithner, (2017).

[Published Version] View | Files available | DOI

2017 | Research Data | IST-REx-ID: 5568 |

Source codes: Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, (2017).

[Published Version] View | Files available | DOI

2017 | Published | Journal Article | IST-REx-ID: 557 |

AAV2 mediated transduction of the mouse retina after optic nerve injury
R. Nickells, H. Schmitt, M.E. Maes, C. Schlamp, Investigative Ophthalmology and Visual Science 58 (2017) 6091–6104.

[Published Version] View | Files available | DOI

2017 | Research Data | IST-REx-ID: 5571 |

Data for "The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology"
B. Vicoso, (2017).

[Submitted Version] View | Files available | DOI

2017 | Research Data | IST-REx-ID: 5572 |

Code for "The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology"
B. Vicoso, (2017).

[Submitted Version] View | Files available | DOI

2017 | Published | Journal Article | IST-REx-ID: 558

Specificity of oral immune priming in the red flour beetle Tribolium castaneum
M. Futo, M. Sell, M. Kutzer, J. Kurtz, Biology Letters 13 (2017).

View | DOI | PubMed | Europe PMC

2017 | Published | Journal Article | IST-REx-ID: 560 |

On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions
M. Gerencser, A. Jentzen, D. Salimova, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 473 (2017).

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2017 | Published | Book | IST-REx-ID: 567

A Dynamical Approach to Random Matrix Theory
L. Erdös, H. Yau, A Dynamical Approach to Random Matrix Theory, American Mathematical Society, 2017.

View | DOI