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.
4977 Publications
2016 | Technical Report | IST-REx-ID: 5445 | 
Chatterjee K, Pavlogiannis A, Velner Y. 2016. Quantitative interprocedural analysis, IST Austria, 33p.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee K, Chmelik M, Davies J. 2016. A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 2016, 3225–3232.
View
| Files available
2016 | Technical Report | IST-REx-ID: 5449 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Amplification on undirected population structures: Comets beat stars, IST Austria, 22p.
[Updated Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5446 |
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Termination and worst-case analysis of recursive programs, IST Austria, 26p.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5447 |
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds, IST Austria, 20p.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5453 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 34p.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5451 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Strong amplifiers of natural selection, IST Austria, 34p.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5448 |
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2016. Data-centric dynamic partial order reduction, IST Austria, 20p.
[Published Version]
View
| Files available
| arXiv
2016 | Conference Paper | IST-REx-ID: 8094 |
Martius GS, Hostettler R, Knoll A, Der R. 2016. Self-organized control of an tendon driven arm by differential extrinsic plasticity. Proceedings of the Artificial Life Conference 2016. ALIFE 2016: 15th International Conference on the Synthesis and Simulation of Living Systems vol. 28, 142–143.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1197 |
Prentice J, Marre O, Ioffe M, Loback A, Tkačik G, Berry M. 2016. Error-robust modes of the retinal population code. PLoS Computational Biology. 12(11), e1005855.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9720 |
Mcmahon D, Fürst M, Caspar J, Theodorou P, Brown M, Paxton R. 2016. Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees, Dryad, 10.5061/dryad.4b565.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1158 |
Roux C, Fraisse C, Romiguier J, Anciaux Y, Galtier N, Bierne N. 2016. Shedding light on the grey zone of speciation along a continuum of genomic divergence. PLoS Biology. 14(12), e2000234.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1167 |
Zagórski MP, Burda Z, Wacław B. 2016. Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks. PLoS Computational Biology. 12(12), e1005218.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9867
Hilbe C, Hagel K, Milinski M. 2016. Experimental game instructions, Public Library of Science, 10.1371/journal.pone.0163867.s008.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9862
Roux C, Fraisse C, Romiguier J, Anciaux Y, Galtier N, Bierne N. 2016. Simulation study to test the robustness of ABC in face of recent times of divergence, Public Library of Science, 10.1371/journal.pbio.2000234.s016.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9863
Roux C, Fraisse C, Romiguier J, Anciaux Y, Galtier N, Bierne N. 2016. Accessions of surveyed individuals, geographic locations and summary statistics, Public Library of Science, 10.1371/journal.pbio.2000234.s017.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9866
Zagórski MP, Burda Z, Wacław B. 2016. ZIP-archived directory containing all data and computer programs, Public Library of Science, 10.1371/journal.pcbi.1005218.s009.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 948
Monk T, Savin C, Lücke J. 2016. Neurons equipped with intrinsic plasticity learn stimulus intensity statistics. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 29, 4285–4293.
View
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 1262 |
Mcmahon D, Natsopoulou M, Doublet V, Fürst M, Weging S, Brown M, Gogol Döring A, Paxton R. 2016. Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Proceedings of the Royal Society of London Series B Biological Sciences. 283(1833), 20160811.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9704 |
Mcmahon D, Natsopoulou M, Doublet V, Fürst M, Weging S, Brown M, Gogol Döring A, Paxton R. 2016. Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss, Dryad, 10.5061/dryad.cq7t1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)