Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5176 Publications
2011 |Published| Journal Article | IST-REx-ID: 3354
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Qualitative concurrent parity games,” ACM Transactions on Computational Logic (TOCL), vol. 12, no. 4. ACM, 2011.
View
| Files available
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3349 |
K. Chatterjee and N. Fijalkow, “A reduction from parity games to simple stochastic games,” presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy, 2011, vol. 54, pp. 74–86.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Conference Paper | IST-REx-ID: 3362 |
J. Fisher, T. A. Henzinger, D. Nickovic, N. Piterman, A. Singh, and M. Vardi, “Dynamic reactive modules,” presented at the CONCUR: Concurrency Theory, Aachen, Germany, 2011, vol. 6901, pp. 404–418.
[Submitted Version]
View
| Files available
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3365 |
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and R. Singh, “QUASY: quantitative synthesis tool,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Saarbrucken, Germany, 2011, vol. 6605, pp. 267–271.
[Submitted Version]
View
| Files available
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3367
C. Chen and M. Kerber, “An output sensitive algorithm for persistent homology,” presented at the SoCG: Symposium on Computational Geometry, Paris, France, 2011, pp. 207–216.
View
| Files available
| DOI
2011 |Submitted| Preprint | IST-REx-ID: 3363 |
K. Chatterjee, T. A. Henzinger, and M. Tracol, “The decidability frontier for probabilistic automata on infinite words.” ArXiv.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2011 |Published| Journal Article | IST-REx-ID: 3372 |
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 |
M. K. Sixt and C. Parent, “Cells on the move in Philadelphia,” Molecular Biology and Evolution, vol. 22, no. 6. Oxford University Press, p. 724, 2011.
[Published Version]
View
| Files available
| DOI
2011 |Published| Journal Article | IST-REx-ID: 3374 |
G. Tkačik and A. Walczak, “Information transmission in genetic regulatory networks a review,” Journal of Physics: Condensed Matter, vol. 23, no. 15. IOP Publishing Ltd., 2011.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3368 |
G. Krens, S. Möllmert, and C.-P. J. Heisenberg, “Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants,” PNAS, vol. 108, no. 3. National Academy of Sciences, pp. E9–E10, 2011.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 |Published| Journal Article | IST-REx-ID: 3370 |
A. Kupczok, “Consequences of different null models on the tree shape bias of supertree methods,” Systematic Biology, vol. 60, no. 2. Oxford University Press, pp. 218–225, 2011.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3396 |
P. Stockinger, C.-P. J. Heisenberg, and J.-L. Maître, “Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube,” Development, vol. 138, no. 21. Company of Biologists, pp. 4673–4683, 2011.
[Published Version]
View
| Files available
| DOI
2011 |Published| Journal Article | IST-REx-ID: 3394 |
J. Polechova and N. H. Barton, “Genetic drift widens the expected cline but narrows the expected cline width,” Genetics, vol. 189, no. 1. Genetics Society of America, pp. 227–235, 2011.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3390 |
N. H. Barton and A. Etheridge, “The relation between reproductive value and genetic contribution,” Genetics, vol. 188, no. 4. Genetics Society of America, pp. 953–973, 2011.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3391 |
H. de Vladar and N. H. Barton, “The contribution of statistical physics to evolutionary biology,” Trends in Ecology and Evolution, vol. 26, no. 8. Cell Press, pp. 424–432, 2011.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3397 |
J.-L. Maître and C.-P. J. Heisenberg, “The role of adhesion energy in controlling cell-cell contacts,” Current Opinion in Cell Biology, vol. 23, no. 5. Elsevier, pp. 508–514, 2011.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3405 |
H. L. Janovjak, G. Sandoz, and E. Isacoff, “Modern ionotropic glutamate receptor with a K+ selectivity signature sequence,” Nature Communications, vol. 2, no. 232. Nature Publishing Group, pp. 1–6, 2011.
[Submitted Version]
View
| Files available
| DOI