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.
10784 Publications
2018 | Published | Conference Paper | IST-REx-ID: 141 |

Symbolic algorithms for graphs and Markov decision processes with fairness objectives
K. Chatterjee, M. Henzinger, V. Loitzenbauer, S. Oraee, V. Toman, in:, Springer, 2018, pp. 178–197.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, M. Henzinger, V. Loitzenbauer, S. Oraee, V. Toman, in:, Springer, 2018, pp. 178–197.
2018 | Published | Journal Article | IST-REx-ID: 419 |

Partners and rivals in direct reciprocity
C. Hilbe, K. Chatterjee, M. Nowak, Nature Human Behaviour 2 (2018) 469–477.
[Submitted Version]
View
| Files available
| DOI
| WoS
C. Hilbe, K. Chatterjee, M. Nowak, Nature Human Behaviour 2 (2018) 469–477.
2018 | Published | Journal Article | IST-REx-ID: 5751 |

Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M.A. Nowak, Communications Biology 1 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M.A. Nowak, Communications Biology 1 (2018).
2018 | Published | Journal Article | IST-REx-ID: 198 |

Language acquisition with communication between learners
R. Ibsen-Jensen, J. Tkadlec, K. Chatterjee, M. Nowak, Journal of the Royal Society Interface 15 (2018).
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Ibsen-Jensen, J. Tkadlec, K. Chatterjee, M. Nowak, Journal of the Royal Society Interface 15 (2018).
2018 | Published | Journal Article | IST-REx-ID: 5993 |

Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, ACM Transactions on Programming Languages and Systems 40 (2018).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, ACM Transactions on Programming Languages and Systems 40 (2018).
2018 | Published | Journal Article | IST-REx-ID: 157 |

Evolution of cooperation in stochastic games
C. Hilbe, Š. Šimsa, K. Chatterjee, M. Nowak, Nature 559 (2018) 246–249.
[Submitted Version]
View
| Files available
| DOI
| WoS
C. Hilbe, Š. Šimsa, K. Chatterjee, M. Nowak, Nature 559 (2018) 246–249.
2018 | Published | Conference Paper | IST-REx-ID: 34 |

Sensor synthesis for POMDPs with reachability objectives
K. Chatterjee, M. Chemlík, U. Topcu, in:, 28th International Conference on Automated Planning and Scheduling, AAAI Press, 2018, pp. 47–55.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, M. Chemlík, U. Topcu, in:, 28th International Conference on Automated Planning and Scheduling, AAAI Press, 2018, pp. 47–55.
2018 | Published | Journal Article | IST-REx-ID: 738 |

Automated competitive analysis of real time scheduling with graph games
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, Real-Time Systems 54 (2018) 166–207.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, Real-Time Systems 54 (2018) 166–207.
2018 | Published | Journal Article | IST-REx-ID: 423 |

CRISPR-based herd immunity can limit phage epidemics in bacterial populations
P. Payne, L. Geyrhofer, N.H. Barton, J.P. Bollback, ELife 7 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
P. Payne, L. Geyrhofer, N.H. Barton, J.P. Bollback, ELife 7 (2018).
2018 | Research Data Reference | IST-REx-ID: 9840 |

Data from: CRISPR-based herd immunity limits phage epidemics in bacterial populations
P. Payne, L. Geyrhofer, N.H. Barton, J.P. Bollback, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
P. Payne, L. Geyrhofer, N.H. Barton, J.P. Bollback, (2018).
2018 | Published | Journal Article | IST-REx-ID: 292 |

Nonlinear decoding of a complex movie from the mammalian retina
V. Botella Soler, S. Deny, G.S. Martius, O. Marre, G. Tkačik, PLoS Computational Biology 14 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
V. Botella Soler, S. Deny, G.S. Martius, O. Marre, G. Tkačik, PLoS Computational Biology 14 (2018).
2018 | Research Data | IST-REx-ID: 5584 |

Nonlinear decoding of a complex movie from the mammalian retina
S. Deny, O. Marre, V. Botella-Soler, G.S. Martius, G. Tkačik, (2018).
[Published Version]
View
| Files available
| DOI
S. Deny, O. Marre, V. Botella-Soler, G.S. Martius, G. Tkačik, (2018).
2018 | Published | Journal Article | IST-REx-ID: 131 |

Evolution of gene dosage on the Z-chromosome of schistosome parasites
M.A.L. Picard, C. Cosseau, S. Ferré, T. Quack, C. Grevelding, Y. Couté, B. Vicoso, ELife 7 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
M.A.L. Picard, C. Cosseau, S. Ferré, T. Quack, C. Grevelding, Y. Couté, B. Vicoso, ELife 7 (2018).
2018 | Research Data | IST-REx-ID: 5757 |

Supplementary Files for "Pleiotropy modulates the efficacy of selection in Drosophila melanogaster"
C. Fraisse, (2018).
[Published Version]
View
| Files available
| DOI
C. Fraisse, (2018).
2018 | Research Data | IST-REx-ID: 5586 |

Input files and scripts from "Evolution of gene dosage on the Z-chromosome of schistosome parasites" by Picard M.A.L., et al (2018)
B. Vicoso, (2018).
[Published Version]
View
| Files available
| DOI
B. Vicoso, (2018).
2018 | Published | Journal Article | IST-REx-ID: 413 |

Ants avoid superinfections by performing risk-adjusted sanitary care
M. Konrad, C. Pull, S. Metzler, K. Seif, E. Naderlinger, A.V. Grasse, S. Cremer, PNAS 115 (2018) 2782–2787.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
M. Konrad, C. Pull, S. Metzler, K. Seif, E. Naderlinger, A.V. Grasse, S. Cremer, PNAS 115 (2018) 2782–2787.
2018 | Published | Journal Article | IST-REx-ID: 616 |

Destructive disinfection of infected brood prevents systemic disease spread in ant colonies
C. Pull, L.V. Ugelvig, F. Wiesenhofer, A.V. Grasse, S. Tragust, T. Schmitt, M. Brown, S. Cremer, ELife 7 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
C. Pull, L.V. Ugelvig, F. Wiesenhofer, A.V. Grasse, S. Tragust, T. Schmitt, M. Brown, S. Cremer, ELife 7 (2018).
2018 | Published | Journal Article | IST-REx-ID: 7 |

Social network plasticity decreases disease transmission in a eusocial insect
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, Science 362 (2018) 941–945.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, Science 362 (2018) 941–945.
2018 | Research Data Reference | IST-REx-ID: 13055 |

Social network plasticity decreases disease transmission in a eusocial insect
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, (2018).
2018 | Published | Journal Article | IST-REx-ID: 5976 |

FlexMaps: Computational design of flat flexible shells for shaping 3D objects
L. Malomo, J. Perez Rodriguez, E. Iarussi, N. Pietroni, E. Miguel, P. Cignoni, B. Bickel, ACM Transactions on Graphics 37 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
L. Malomo, J. Perez Rodriguez, E. Iarussi, N. Pietroni, E. Miguel, P. Cignoni, B. Bickel, ACM Transactions on Graphics 37 (2018).