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.

7115 Publications

Search / Filter

2017 | Published | Technical Report | IST-REx-ID: 5456 |

Data-centric dynamic partial order reduction
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2017.

[Published Version] View | Files available | DOI

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

Singularities of the density of states of random Gram matrices
J. Alt, Electronic Communications in Probability 22 (2017).

[Published Version] View | Files available | DOI

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