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.
8166 Publications
2017 | Technical Report | IST-REx-ID: 5456 |

Chalupa, Marek, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, and Kapil Vaidya. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2017. https://doi.org/10.15479/AT:IST-2017-872-v1-1.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 548 |

De Martino, Daniele. “Maximum Entropy Modeling of Metabolic Networks by Constraining Growth-Rate Moments Predicts Coexistence of Phenotypes.” Physical Review E. American Physiological Society, 2017. https://doi.org/10.1103/PhysRevE.96.060401.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 551 |

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. “Faster Monte Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs.” In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.MFCS.2017.61.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 552 |

Chatterjee, Krishnendu, Monika H Henzinger, and Alexander Svozil. “Faster Algorithms for Mean-Payoff Parity Games.” In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.MFCS.2017.39.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 553 |

Chatterjee, Krishnendu, Kristofer Hansen, and Rasmus Ibsen-Jensen. “Strategy Complexity of Concurrent Safety Games.” In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.MFCS.2017.55.
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 550 |

Alt, Johannes. “Singularities of the Density of States of Random Gram Matrices.” Electronic Communications in Probability. Institute of Mathematical Statistics, 2017. https://doi.org/10.1214/17-ECP97.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5562 |

Marre, Olivier, Gašper Tkačik, Dario Amodei, Elad Schneidman, William Bialek, and Michael Berry. “Multi-Electrode Array Recording from Salamander Retinal Ganglion Cells.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:61.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5561 |

Kainmueller, Dagmar, Florian Jug, Carsten Rother, and Gene Meyers. “Graph Matching Problems for Annotating C. Elegans.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:57.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1078 |

Wangenheim, Daniel von, Robert Hauschild, and Jiří Friml. “Light Sheet Fluorescence Microscopy of Plant Roots Growing on the Surface of a Gel.” Journal of Visualized Experiments JoVE. Journal of Visualized Experiments, 2017. https://doi.org/10.3791/55044.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5565 |

Wangenheim, Daniel von, Robert Hauschild, and Jiří Friml. “Light Sheet Fluorescence Microscopy of Plant Roots Growing on the Surface of a Gel.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:66.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5563 |

Lukacisin, Martin. “MATLAB Analysis Code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.’” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:64.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5567 |

Leithner, Alexander F. “Immunological Synapse DC-Tcells.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:71.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 557 |

Nickells, Robert, Heather Schmitt, Margaret E Maes, and Cassandra Schlamp. “AAV2 Mediated Transduction of the Mouse Retina after Optic Nerve Injury.” Investigative Ophthalmology and Visual Science. Association for Research in Vision and Ophthalmology Inc., 2017. https://doi.org/10.1167/iovs.17-22634.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5571 |

Vicoso, Beatriz. “Data for ‘The Genomic Characterization of the t-Haplotype, a Mouse Meiotic Driver, Highlights Its Complex History and Specialized Biology.’” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:78.
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5572 |

Vicoso, Beatriz. “Code for ‘The Genomic Characterization of the t-Haplotype, a Mouse Meiotic Driver, Highlights Its Complex History and Specialized Biology.’” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:79 .
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5570 |

Hauschild, Robert. “Forward Migration Indexes.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:75.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 558
Futo, Momir, Marie Sell, Megan Kutzer, and Joachim Kurtz. “Specificity of Oral Immune Priming in the Red Flour Beetle Tribolium Castaneum.” Biology Letters. Royal Society, The, 2017. https://doi.org/10.1098/rsbl.2017.0632.
View
| DOI
2017 | Thesis | IST-REx-ID: 202 |

Pleska, Maros. “Biology of Restriction-Modification Systems at the Single-Cell and Population Level.” IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_916.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 560 |

Gerencser, Mate, Arnulf Jentzen, and Diyora Salimova. “On Stochastic Differential Equations with Arbitrarily Slow Convergence Rates for Strong Approximation in Two Space Dimensions.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. Royal Society of London, 2017. https://doi.org/10.1098/rspa.2017.0104.
View
| DOI
| Download Submitted Version (ext.)
2017 | Book | IST-REx-ID: 567
Erdös, László, and Horng Yau. A Dynamical Approach to Random Matrix Theory. Vol. 28. Courant Lecture Notes. American Mathematical Society, 2017. https://doi.org/10.1090/cln/028.
View
| DOI