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.
4291 Publications
2017 | 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.
View
| Files available
| DOI
K. Chatterjee, M.H. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | 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.
View
| Files available
| DOI
| Download Published Version (ext.)
K. Chatterjee, K. Hansen, R. Ibsen-Jensen, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Journal Article | IST-REx-ID: 550 |

Singularities of the density of states of random Gram matrices
J. Alt, Electronic Communications in Probability 22 (2017).
View
| Files available
| DOI
J. Alt, Electronic Communications in Probability 22 (2017).
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).
View
| Files available
| DOI
O. Marre, G. Tkačik, D. Amodei, E. Schneidman, W. Bialek, M. Berry, (2017).
2017 | Research Data | IST-REx-ID: 5561 |

Graph matching problems for annotating C. Elegans
D. Kainmueller, F. Jug, C. Rother, G. Meyers, (2017).
View
| Files available
| DOI
D. Kainmueller, F. Jug, C. Rother, G. Meyers, (2017).
2017 | Journal Article | IST-REx-ID: 1078 |

Light sheet fluorescence microscopy of plant roots growing on the surface of a gel
D. von Wangenheim, R. Hauschild, J. Friml, Journal of Visualized Experiments JoVE 2017 (2017).
View
| Files available
| DOI
D. von Wangenheim, R. Hauschild, J. Friml, Journal of Visualized Experiments JoVE 2017 (2017).
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).
View
| Files available
| DOI
D. von Wangenheim, R. Hauschild, J. Friml, (2017).
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).
View
| Files available
| DOI
M. Lukacisin, (2017).
2017 | Research Data | IST-REx-ID: 5567 |

Immunological synapse DC-Tcells
A.F. Leithner, (2017).
View
| Files available
| DOI
A.F. Leithner, (2017).
2017 | 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.
View
| Files available
| DOI
R. Nickells, H. Schmitt, M.E. Maes, C. Schlamp, Investigative Ophthalmology and Visual Science 58 (2017) 6091–6104.