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 | 
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
B. Vicoso, (2017).
2017 | Published | Conference Paper | IST-REx-ID: 552 |
Faster algorithms for mean-payoff parity games
Chatterjee, Krishnendu, Faster algorithms for mean-payoff parity games. Leibniz International Proceedings in Informatics 83. 2017
[Published Version]
View
| Files available
| DOI
Chatterjee, Krishnendu, Faster algorithms for mean-payoff parity games. Leibniz International Proceedings in Informatics 83. 2017
2017 | Published | Journal Article | IST-REx-ID: 744 |
Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma
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
Priklopil, Tadeas, Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Journal of Theoretical Biology 433. 2017
2017 | Published | Conference Paper | IST-REx-ID: 1009 |
Optimizing expectation with guarantees in POMDPs
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp. 3725–3732.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
K. Chatterjee, P. Novotný, G. Pérez, J. Raskin, D. Zikelic, in:, Proceedings of the 31st AAAI Conference on Artificial Intelligence, AAAI Press, 2017, pp. 3725–3732.
2017 | Published | Journal Article | IST-REx-ID: 671 |
Memory-n strategies of direct reciprocity
Hilbe, Christian, Memory-n strategies of direct reciprocity. PNAS 114 (18). 2017
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Hilbe, Christian, Memory-n strategies of direct reciprocity. PNAS 114 (18). 2017
2017 | Published | Journal Article | IST-REx-ID: 716 |
The complexity of mean-payoff pushdown games
Chatterjee, Krishnendu, The complexity of mean-payoff pushdown games. Journal of the ACM 64 (5). 2017
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Chatterjee, Krishnendu, The complexity of mean-payoff pushdown games. Journal of the ACM 64 (5). 2017
2017 | Published | Journal Article | IST-REx-ID: 1065 |
Pushdown reachability with constant treewidth
Chatterjee, Krishnendu, Pushdown reachability with constant treewidth. Information Processing Letters 122. 2017
[Submitted Version]
View
| Files available
| DOI
| WoS
Chatterjee, Krishnendu, Pushdown reachability with constant treewidth. Information Processing Letters 122. 2017
2017 | Published | Journal Article | IST-REx-ID: 1294 |
Trading performance for stability in Markov decision processes
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, Journal of Computer and System Sciences 84 (2017) 144–170.
[Published Version]
View
| Files available
| DOI
| WoS
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, Journal of Computer and System Sciences 84 (2017) 144–170.
2017 | Published | Book Chapter | IST-REx-ID: 625 |
The cost of exactness in quantitative reachability
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, R. Mardare (Eds.), Models, Algorithms, Logics and Tools, Springer, 2017, pp. 367–381.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, L. Aceto, G. Bacci, A. Ingólfsdóttir, A. Legay, R. Mardare (Eds.), Models, Algorithms, Logics and Tools, Springer, 2017, pp. 367–381.
2017 | Published | Journal Article | IST-REx-ID: 621 |
Mechanisms of radial glia progenitor cell lineage progression
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
Beattie, Robert J, Mechanisms of radial glia progenitor cell lineage progression. FEBS letters 591 (24). 2017
2017 | Published | Journal Article | IST-REx-ID: 944
Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells
R.J. Beattie, M.P. Postiglione, L. Burnett, S. Laukoter, C. Streicher, F. Pauler, G. Xiao, O. Klezovitch, V. Vasioukhin, T. Ghashghaei, S. Hippenmeyer, Neuron 94 (2017) 517–533.e3.
View
| DOI
| WoS
R.J. Beattie, M.P. Postiglione, L. Burnett, S. Laukoter, C. Streicher, F. Pauler, G. Xiao, O. Klezovitch, V. Vasioukhin, T. Ghashghaei, S. Hippenmeyer, Neuron 94 (2017) 517–533.e3.
2017 | Published | Journal Article | IST-REx-ID: 997 |
Emergence of non-abelian magnetic monopoles in a quantum impurity problem
E. Yakaboylu, A. Deuchert, M. Lemeshko, Physical Review Letters 119 (2017).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
E. Yakaboylu, A. Deuchert, M. Lemeshko, Physical Review Letters 119 (2017).
2017 | Published | Journal Article | IST-REx-ID: 1207 |
Local law of addition of random matrices on optimal scale
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
Bao, Zhigang, Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics 349 (3). 2017
2017 | Published | Book | IST-REx-ID: 567
A Dynamical Approach to Random Matrix Theory
L. Erdös, H. Yau, A Dynamical Approach to Random Matrix Theory, American Mathematical Society, 2017.
View
| DOI
L. Erdös, H. Yau, A Dynamical Approach to Random Matrix Theory, American Mathematical Society, 2017.
2017 | Published | Journal Article | IST-REx-ID: 447 |
Fluctuations of the competition interface in presence of shocks
P. Ferrari, P. Nejjar, Revista Latino-Americana de Probabilidade e Estatística 9 (2017) 299–325.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Ferrari, P. Nejjar, Revista Latino-Americana de Probabilidade e Estatística 9 (2017) 299–325.
2017 | Published | Journal Article | IST-REx-ID: 1528 |
Delocalization for a class of random block band matrices
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.
[Published Version]
View
| Files available
| DOI
| WoS
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.
2017 | Published | Journal Article | IST-REx-ID: 1337 |
Universality for general Wigner-type matrices
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
[Published Version]
View
| Files available
| DOI
| WoS
O.H. Ajanki, L. Erdös, T.H. Krüger, Probability Theory and Related Fields 169 (2017) 667–727.
2017 | Published | Journal Article | IST-REx-ID: 1144 |
Fluctuations of functions of Wigner matrices
L. Erdös, D.J. Schröder, Electronic Communications in Probability 21 (2017).
[Published Version]
View
| Files available
| DOI
L. Erdös, D.J. Schröder, Electronic Communications in Probability 21 (2017).
2017 | Published | Journal Article | IST-REx-ID: 822 |
Interaction networks, ecological stability, and collective antibiotic tolerance in polymicrobial infections
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
De Vos, Marjon, Interaction networks, ecological stability, and collective antibiotic tolerance in polymicrobial infections. PNAS 114 (40). 2017
2017 | Published | Journal Article | IST-REx-ID: 1196
Model measuring for discrete and hybrid systems
T.A. Henzinger, J. Otop, Nonlinear Analysis: Hybrid Systems 23 (2017) 166–190.
View
| DOI
| WoS
T.A. Henzinger, J. Otop, Nonlinear Analysis: Hybrid Systems 23 (2017) 166–190.