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.
643 Publications
2017 | Research Data | IST-REx-ID: 5572 |

Vicoso B. Code for “The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.” 2017. doi:10.15479/AT:ISTA:79
[Submitted Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 552 |

Chatterjee, Krishnendu, Faster algorithms for mean-payoff parity games. Leibniz International Proceedings in Informatics 83. 2017
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 744 |

Priklopil, Tadeas, Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Journal of Theoretical Biology 433. 2017
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Published | Conference Paper | IST-REx-ID: 1009 |

Chatterjee K, Novotný P, Pérez G, Raskin J, Zikelic D. Optimizing expectation with guarantees in POMDPs. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence. Vol 5. AAAI Press; 2017:3725-3732.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
2017 | Published | Journal Article | IST-REx-ID: 671 |

Hilbe, Christian, Memory-n strategies of direct reciprocity. PNAS 114 (18). 2017
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 716 |

Chatterjee, Krishnendu, The complexity of mean-payoff pushdown games. Journal of the ACM 64 (5). 2017
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1065 |

Chatterjee, Krishnendu, Pushdown reachability with constant treewidth. Information Processing Letters 122. 2017
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1294 |

Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. 2017;84:144-170. doi:10.1016/j.jcss.2016.09.009
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Book Chapter | IST-REx-ID: 625 |

Chatterjee K, Doyen L, Henzinger TA. The cost of exactness in quantitative reachability. In: Aceto L, Bacci G, Ingólfsdóttir A, Legay A, Mardare R, eds. Models, Algorithms, Logics and Tools. Vol 10460. Theoretical Computer Science and General Issues. Springer; 2017:367-381. doi:10.1007/978-3-319-63121-9_18
[Submitted Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 621 |

Beattie, Robert J, Mechanisms of radial glia progenitor cell lineage progression. FEBS letters 591 (24). 2017
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 944
Beattie RJ, Postiglione MP, Burnett L, et al. Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells. Neuron. 2017;94(3):517-533.e3. doi:10.1016/j.neuron.2017.04.012
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 997 |

Yakaboylu E, Deuchert A, Lemeshko M. Emergence of non-abelian magnetic monopoles in a quantum impurity problem. Physical Review Letters. 2017;119(23). doi:10.1103/PhysRevLett.119.235301
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1207 |

Bao, Zhigang, Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics 349 (3). 2017
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Book | IST-REx-ID: 567
Erdös L, Yau H. A Dynamical Approach to Random Matrix Theory. Vol 28. American Mathematical Society; 2017. doi:10.1090/cln/028
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 447 |

Ferrari P, Nejjar P. Fluctuations of the competition interface in presence of shocks. Revista Latino-Americana de Probabilidade e Estatística. 2017;9:299-325. doi:10.30757/ALEA.v14-17
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 1528 |

Bao Z, Erdös L. Delocalization for a class of random block band matrices. Probability Theory and Related Fields. 2017;167(3-4):673-776. doi:10.1007/s00440-015-0692-y
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1337 |

Ajanki OH, Erdös L, Krüger TH. Universality for general Wigner-type matrices. Probability Theory and Related Fields. 2017;169(3-4):667-727. doi:10.1007/s00440-016-0740-2
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1144 |

Erdös L, Schröder DJ. Fluctuations of functions of Wigner matrices. Electronic Communications in Probability. 2017;21. doi:10.1214/16-ECP38
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 822 |

De Vos, Marjon, Interaction networks, ecological stability, and collective antibiotic tolerance in polymicrobial infections. PNAS 114 (40). 2017
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 1196
Henzinger TA, Otop J. Model measuring for discrete and hybrid systems. Nonlinear Analysis: Hybrid Systems. 2017;23:166-190. doi:10.1016/j.nahs.2016.09.001
View
| DOI
| WoS