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.
4348 Publications
2011 |Published| Conference Paper | IST-REx-ID: 3355 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Halalai, R., Henzinger, T. A., & Singh, V. (2011). Quantitative evaluation of BFT protocols (pp. 255–264). Presented at the QEST: Quantitative Evaluation of Systems, Aachen, Germany: IEEE. https://doi.org/10.1109/QEST.2011.40
[Submitted Version]
View
| Files available
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3351 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., Doyen, L., & Singh, R. (2011). On memoryless quantitative objectives. In O. Owe, M. Steffen, & J. A. Telle (Eds.) (Vol. 6914, pp. 148–159). Presented at the FCT: Fundamentals of Computation Theory, Oslo, Norway: Springer. https://doi.org/10.1007/978-3-642-22953-4_13
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Conference Paper | IST-REx-ID: 3349 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., & Fijalkow, N. (2011). A reduction from parity games to simple stochastic games (Vol. 54, pp. 74–86). Presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy: EPTCS. https://doi.org/10.4204/EPTCS.54.6
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Conference Paper | IST-REx-ID: 3362 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fisher, J., Henzinger, T. A., Nickovic, D., Piterman, N., Singh, A., & Vardi, M. (2011). Dynamic reactive modules (Vol. 6901, pp. 404–418). Presented at the CONCUR: Concurrency Theory, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-23217-6_27
[Submitted Version]
View
| Files available
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3365 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Singh, R. (2011). QUASY: quantitative synthesis tool (Vol. 6605, pp. 267–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Saarbrucken, Germany: Springer. https://doi.org/10.1007/978-3-642-19835-9_24
[Submitted Version]
View
| Files available
| DOI
2011 |Submitted| Preprint | IST-REx-ID: 3363 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., Henzinger, T. A., & Tracol, M. (n.d.). The decidability frontier for probabilistic automata on infinite words. ArXiv.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2011 |Published| Journal Article | IST-REx-ID: 3372 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Abbot P et al. 2011. Inclusive fitness theory and eusociality. Nature. 471(7339), E1–E4.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 |Published| Journal Article | IST-REx-ID: 3371 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sixt, M. K., & Parent, C. (2011). Cells on the move in Philadelphia. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1091/mbc.E10-12-0958
[Published Version]
View
| Files available
| DOI
2011 |Published| Journal Article | IST-REx-ID: 3374 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tkačik, G., & Walczak, A. (2011). Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter. IOP Publishing Ltd. https://doi.org/10.1088/0953-8984/23/15/153102
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3368 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Krens, G., Möllmert, S., & Heisenberg, C.-P. J. (2011). Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1010767108
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 |Published| Journal Article | IST-REx-ID: 3370 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kupczok, A. (2011). Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology. Oxford University Press. https://doi.org/10.1093/sysbio/syq086
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3396 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Stockinger, P., Heisenberg, C.-P. J., & Maître, J.-L. (2011). Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube. Development. Company of Biologists. https://doi.org/10.1242/dev.071233
[Published Version]
View
| Files available
| DOI
2011 |Published| Journal Article | IST-REx-ID: 3394 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Polechova, J., & Barton, N. H. (2011). Genetic drift widens the expected cline but narrows the expected cline width. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.111.129817
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3390 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Barton, N. H., & Etheridge, A. (2011). The relation between reproductive value and genetic contribution. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.111.127555
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3391 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
de Vladar, H., & Barton, N. H. (2011). The contribution of statistical physics to evolutionary biology. Trends in Ecology and Evolution. Cell Press. https://doi.org/10.1016/j.tree.2011.04.002
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3397 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Maître, J.-L., & Heisenberg, C.-P. J. (2011). The role of adhesion energy in controlling cell-cell contacts. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2011.07.004
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3405 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Janovjak, H. L., Sandoz, G., & Isacoff, E. (2011). Modern ionotropic glutamate receptor with a K+ selectivity signature sequence. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms1231
[Submitted Version]
View
| Files available
| DOI
2011 |Published| Journal Article | IST-REx-ID: 3505 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sixt, M. K., & Lämmermann, T. (2011). In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration. Springer. https://doi.org/10.1007/978-1-61779-207-6_11
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3784 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Palero, F., Guerao, G., Clark, P., & Abello, P. (2011). Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description. Journal of the Marine Biological Association of the United Kingdom. Cambridge University Press. https://doi.org/10.1017/S0025315410000287
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 |Published| Book Chapter | IST-REx-ID: 3796 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edelsbrunner, H., & Kerber, M. (2011). Covering and packing with spheres by diagonal distortion in R^n. In C. Calude, G. Rozenberg, & A. Salomaa (Eds.), Rainbow of Computer Science (Vol. 6570, pp. 20–35). Springer. https://doi.org/10.1007/978-3-642-19391-0_2
[Submitted Version]
View
| Files available
| DOI