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.

140 Publications


2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee, K. (2005). Two-player nonzero-sum ω-regular games (Vol. 3653, pp. 413–427). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/11539452_32
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3896
Chatterjee, K., Dasgupta, P., & Chakrabarti, P. (2005). Complexity of compositional model checking of computation tree logic on simple structures (Vol. 3326, pp. 89–102). Presented at the IWDC: International Workshop on Distributed Computing , Springer. https://doi.org/10.1007/978-3-540-30536-1_13
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3902
Cremer, S., & Boomsma, J. (2005). The drawback of mobility: invasive species in a globalised world. Presented at the Marie Curie Conference, Elsevier.
View | Download None (ext.)
 

2005 | Journal Article | IST-REx-ID: 3915
De Menten, L., Cremer, S., Heinze, J., & Aron, S. (2005). Primary sex ratio adjustment by ant queens in response to local mate competition. Animal Behaviour. Elsevier. https://doi.org/10.1016/j.anbehav.2004.09.005
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3916
Schrempf, A., Heinze, J., & Cremer, S. (2005). Sexual cooperation: mating increases longevity in ant queens. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2005.01.036
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3933
Sixt, M. K., Kanazawa, N., Selg, M., Samson, T., Roos, G., Reinhardt, D., … Sorokin, L. (2005). The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node. Immunity. Cell Press. https://doi.org/10.1016/j.immuni.2004.11.013
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3982
Wang, Y., Agarwal, P., Brown, P., Edelsbrunner, H., & Rudolph, J. (2005). Coarse and reliable geometric alignment for protein docking (pp. 64–75). Presented at the PSB: Pacific Symposium on Biocomputing, World Scientific Publishing. https://doi.org/10.1142/9789812702456_0007
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3983
Sohn, J., Parks, J., Buhrman, G., Brown, P., Kristjánsdóttir, K., Safi, A., … Rudolph, J. (2005). Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA protein substrate. Biochemistry. ACS. https://doi.org/10.1021/bi0516879
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4138
Barton, N. H., & Polechova, J. (2005). The limitations of adaptive dynamics as a model of evolution. Journal of Evolutionary Biology. Wiley-Blackwell. https://doi.org/10.1111/j.1420-9101.2005.00943.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4144
Ulrich, F., Krieg, M., Schötz, E., Link, V., Castanon, I., Schnabel, V., … Heisenberg, C.-P. J. (2005). Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2005.08.011
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4155
Puech, P., Taubenberger, A., Ulrich, F., Krieg, M., Mueller, D., & Heisenberg, C.-P. J. (2005). Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/​jcs.02547
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4167
Norton W, Mangoli M, Lele Z, Pogoda H, Diamond B, Mercurio S, Russell C, Teraoka H, Stickney H, Rauch G, Heisenberg C-PJ, Houart C, Schilling T, Frohnhoefer H, Rastegar S, Neumann C, Gardiner RM, Strähle U, Geisler R, Rees M, Talbot W, Wilson S. 2005. Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. 132(4), 645–658.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4171
Montero, J., Carvalho, L., Wilsch Bräuninger, M., Kilian, B., Mustafa, C., & Heisenberg, C.-P. J. (2005). Shield formation at the onset of zebrafish gastrulation. Development. Company of Biologists. https://doi.org/10.1242/dev.01667
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4183
Köppen, M., Fernández, B., Carvalho, L., Jacinto, A., & Heisenberg, C.-P. J. (2005). Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure. Mechanisms of Development. Elsevier. https://doi.org/10.1016/j.mod.2005.06.010
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4249
Polechova, J., & Barton, N. H. (2005). Speciation through competition: A critical review. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.0014-3820.2005.tb01771.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4251
Barton, N. H., & Otto, S. (2005). Evolution of recombination due to random drift. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.104.032821
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4252 | OA
Johnson, T., & Barton, N. H. (2005). Theoretical models of selection and mutationon quantitative traits. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2005.1667
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4367
Podelski, A., & Wies, T. (2005). Boolean Heaps (pp. 267–282). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/1550
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4404
Alur, R., Cerny, P., Madhusudan, P., & Nam, W. (2005). Synthesis of interface specifications for Java classes (pp. 98–109). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/1542
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4412
Matic, S., & Henzinger, T. A. (2005). Trading end-to-end latency for composability (pp. 99–110). Presented at the RTSS: Real-Time Systems Symposium, IEEE. https://doi.org/10.1109/RTSS.2005.43
View | DOI
 

Filters and Search Terms

year=2005

Search

Filter Publications