ISTA Research Explorer

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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

591 Publications

Search / Filter

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

Faster algorithms for mean-payoff parity games
K. Chatterjee, M.H. 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: 5566 |

Live tracking of moving samples in confocal microscopy for vertically grown roots
R. Hauschild, (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: 5570 |

Forward migration indexes
R. Hauschild, (2017).

[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 | Conference Paper | IST-REx-ID: 559 |

Beyond Hellman’s time-memory trade-offs with applications to proofs of space
H.M. Abusalah, J.F. Alwen, B. Cohen, D. Khilko, K.Z. Pietrzak, L. Reyzin, in:, Springer, 2017, pp. 357–379.

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

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

Effects of mutations in phage restriction sites during escape from restriction–modification
M. Pleska, C.C. Guet, Biology Letters 13 (2017).

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