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.
4854 Publications
2016 | Published | Journal Article | IST-REx-ID: 1241 | 
Uecker, H., & Hermisson, J. (2016). The role of recombination in evolutionary rescue. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.115.180299
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1195 |
Franssen, S., Barton, N. H., & Schlötterer, C. (2016). Reconstruction of haplotype-blocks selected during experimental evolution. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msw210
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1420 |
Bodova, K., Tkačik, G., & Barton, N. H. (2016). A general approximation for the dynamics of quantitative traits. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.115.184127
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Research Data Reference | IST-REx-ID: 9710 |
Barton, N. H. (2016). Data from: How does epistasis influence the response to selection? Dryad. https://doi.org/10.5061/dryad.s5s7r
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Published | Thesis | IST-REx-ID: 1131 |
Tugrul, M. (2016). Evolution of transcriptional regulatory sequences. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Published | Thesis | IST-REx-ID: 1125 |
Novak, S. (2016). Evolutionary proccesses in variable emvironments. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Research Data Reference | IST-REx-ID: 9864 |
Fernandes Redondo, R. A., de Vladar, H., Włodarski, T., & Bollback, J. P. (2016). Data from evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family. The Royal Society. https://doi.org/10.6084/m9.figshare.4315652.v1
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 480 |
Chatterjee, K., & Doyen, L. (2016). Perfect-information stochastic games with generalized mean-payoff objectives (Vol. 05-08-July-2016, pp. 247–256). Presented at the LICS: Logic in Computer Science, New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2934513
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1340 |
Hansen, K., Ibsen-Jensen, R., & Koucký, M. (2016). The big match in small space (Vol. 9928, pp. 64–76). Presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-53354-3_6
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1335 |
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Quantitative monitor automata (Vol. 9837, pp. 23–38). Presented at the SAS: Static Analysis Symposium, Edinburgh, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-53413-7_2
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1140 |
Chatterjee, K., Dvoák, W., Henzinger, M. H., & Loitzenbauer, V. (2016). Model and objective separation with conditional lower bounds: disjunction is harder than conjunction. In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 197–206). New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2935304
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1138 |
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Quantitative automata under probabilistic semantics. In Proceedings of the 31st Annual ACM/IEEE Symposium (pp. 76–85). New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2933588
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1182 |
Chatterjee, K., Ibsen-Jensen, R., & Tkadlec, J. (2016). Robust draws in balanced knockout tournaments (Vol. 2016–January, pp. 172–179). Presented at the IJCAI: International Joint Conference on Artificial Intelligence, New York, NY, USA: AAAI Press.
[Preprint]
View
| Files available
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1068 |
Chatterjee, K., Dvorák, W., Henzinger, M. H., & Loitzenbauer, V. (2016). Conditionally optimal algorithms for generalized Büchi Games (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2016.25
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1090 |
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Nested weighted limit-average automata of bounded width (Vol. 58). Presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2016.24
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1070 |
Chatterjee, K., & Doyen, L. (2016). Computation tree logic for synchronization properties (Vol. 55). Presented at the ICALP: Automata, Languages and Programming, Rome, Italy: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2016.98
[Published Version]
View
| Files available
| DOI
2015 | Published | Journal Article | IST-REx-ID: 473 |
Lewin, M., Nam, P., & Rougerie, N. (2015). Derivation of nonlinear gibbs measures from many-body quantum mechanics. Journal de l’Ecole Polytechnique - Mathematiques. Ecole Polytechnique. https://doi.org/10.5802/jep.18
[Published Version]
View
| Files available
| DOI
2015 | Published | Journal Article | IST-REx-ID: 477
Holst, K., Guseva, D., Schindler, S., Sixt, M. K., Braun, A., Chopra, H., … Ponimaskin, E. (2015). The serotonin receptor 5-HT7R regulates the morphology and migratory properties of dendritic cells. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.167999
View
| DOI
2015 | Published | Journal Article | IST-REx-ID: 523 |
Chatterjee, K., Doyen, L., Randour, M., & Raskin, J. (2015). Looking at mean-payoff and total-payoff through windows. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2015.03.010
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Published | Journal Article | IST-REx-ID: 524 |
Chatterjee, K., & Ibsen-Jensen, R. (2015). Qualitative analysis of concurrent mean payoff games. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2015.03.009
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv