Please note that IST 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.

6292 Publications


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., … Wilson, S. (2005). Monorail/Foxa2 regulates floorplate differentiation and specification of oligodendrocytes, serotonergic raphe neurones and cranial motoneurones. Development. Company of Biologists. https://doi.org/10.1242/dev.01611
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
 

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch, C., Sanvido, M., & Henzinger, T. A. (2005). A programmable microkernel for real-time systems (pp. 35–45). Presented at the VEE: Virtual Execution Environments, ACM. https://doi.org/10.1145/1064979.1064986
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4454
Henzinger, T. A., Majumdar, R., & Raskin, J. (2005). A classification of symbolic transition systems. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/1042038.1042039
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4455
Henzinger, T. A., Majumdar, R., & Prabhu, V. (2005). Quantifying similarities between timed systems (Vol. 3829, pp. 226–241). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/11603009_18
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Permissive interfaces (pp. 31–40). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/1081706.1081713
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Henzinger, T. A., Kirsch, C., & Matic, S. (2005). Composable code generation for distributed Giotto (pp. 21–30). Presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, ACM. https://doi.org/10.1145/1065910.1065914
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Doyen, L., Henzinger, T. A., & Raskin, J. (2005). Automatic rectangular refinement of affine hybrid systems (Vol. 3829, pp. 144–161). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/DOI: 10.1007/11603009_13
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee, K., & Henzinger, T. A. (2005). Semiperfect-information games (Vol. 3821, pp. 1–18). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/11590156_1
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2005). The complexity of stochastic Rabin and Streett games (Vol. 3580, pp. 878–890). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/11523468_71
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2005). Mean-payoff parity games (pp. 178–187). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2005.26
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee, K., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Counterexample-guided planning (pp. 104–111). Presented at the UAI: Uncertainty in Artificial Intelligence, AUAI Press.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, A., Chatterjee, K., Henzinger, T. A., Kupferman, O., & Majumdar, R. (2005). Verifying quantitative properties using bound functions (Vol. 3725, pp. 50–64). Presented at the CHARME: Correct Hardware Design and Verification Methods, Springer. https://doi.org/10.1007/11560548_7
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Beyer, D., Chakrabarti, A., & Henzinger, T. A. (2005). Web service interfaces (pp. 148–159). Presented at the WWW: World Wide Web Conference, ACM. https://doi.org/10.1145/1060745.1060770
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Checking memory safety with BLAST (Vol. 3442, pp. 2–18). Presented at the FASE: Fundamental Approaches To Software Engineering, Springer. https://doi.org/10.1007/978-3-540-31984-9_2
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3000
Dhonukshe, P., Kleine Vehn, J., & Friml, J. (2005). Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first? Protoplasma. Springer. https://doi.org/10.1007/s00709-005-0104-8
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
Paciorek, T., Zažímalová, E., Ruthardt, N., Petrášek, J., Stierhof, Y., Kleine Vehn, J., … Friml, J. (2005). Auxin inhibits endocytosis and promotes its own efflux from cells. Nature. Nature Publishing Group. https://doi.org/10.1038/nature03633
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
Vieten, A., Vanneste, S., Wiśniewska, J., Benková, E., Benjamins, R., Beeckman, T., … Friml, J. (2005). Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression. Development. Company of Biologists. https://doi.org/10.1242/dev.02027
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
Weijers, D., Sauer, M., Meurette, O., Friml, J., Ljung, K., Sandberg, G., … Offringa, R. (2005). Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.105.034637
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
Rodal, A., Sokolova, O., Robins, D., Daugherty, K., Hippenmeyer, S., Riezman, H., … Goode, B. (2005). Conformational changes in the Arp2 3 complex leading to actin nucleation. Nature Structural and Molecular Biology. Nature Publishing Group. https://doi.org/10.1038/nsmb870
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3143
Hippenmeyer, S., Vrieseling, E., Sigrist, M., Portmann, T., Laengle, C., Ladle, D., & Arber, S. (2005). A developmental switch in the response of DRG neurons to ETS transcription factor signaling. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.0030159
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3175
Rother, C., Kumar, S., Kolmogorov, V., & Blake, A. (2005). Digital tapestry (Vol. 1, pp. 589–596). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2005.130
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3176
Kolmogorov, V., Criminisi, A., Blake, A., Cross, G., & Rother, C. (2005). Bi-layer segmentation of binocular stereo video (pp. 1186–1186). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2005.90
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3181
Kolmogorov, V., & Wainwright, M. (2005). On the optimality of tree reweighted max product message passing (pp. 316–323). Presented at the UAI: Uncertainty in Artificial Intelligence, AUAI Press.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3182
Kolmogorov, V., & Boykov, Y. (2005). What metrics can be approximated by geo cuts or global optimization of length area and flux (Vol. 1, pp. 564–571). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2005.252
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
Kolmogorov, V., Criminisi, A., Blake, A., Cross, G., & Rother, C. (2005). Bi-layer segmentation of binocular stereo video (Vol. 2, pp. 407–414). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2005.91
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3211
Bellare, M., Pietrzak, K. Z., & Rogaway, P. (2005). Improved security analyses for CBC MACs (Vol. 3621, pp. 527–545). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/11535218_32
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3212
Dodis, Y., Oliveira, R., & Pietrzak, K. Z. (2005). On the generic insecurity of the full domain hash (Vol. 3621, pp. 449–466). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/11535218_27
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3213
Pietrzak, K. Z. (2005). Composition does not imply adaptive security (Vol. 3621, pp. 55–65). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/11535218_4
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
Janovjak, H. L., Sapra, T., & Mueller, D. (2005). Complex stability of single proteins explored by forced unfolding experiments. Biophysical Journal. Biophysical Society. https://doi.org/10.1529/biophysj.105.059774
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3417
Kuhn, M., Janovjak, H. L., Hubain, M., & Mueller, D. (2005). Automated alignment and pattern recognition of single-molecule force spectroscopy data. Journal of Microscopy. Wiley-Blackwell. https://doi.org/10.1111/j.1365-2818.2005.01478.x
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3418
Janovjak, H. L., Struckmeier, J., & Mueller, D. (2005). Hydrodynamic effects in fast AFM single molecule force measurements. European Biophysics Journal. Springer. https://doi.org/10.1007/s00249-004-0430-3
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3426 | OA
Bollenbach, M. T., Kruse, K., Pantazis, P., González Gaitán, M., & Jülicher, F. (2005). Robust formation of morphogen gradients. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.94.018103
View | DOI | Download Preprint (ext.) | arXiv
 

2005 | Book Chapter | IST-REx-ID: 3433
Bollback, J. P. (2005). Posterior mapping and posterior predictive distributions. In R. Nielsen (Ed.), Statistical methods in Molecular Evolution (pp. 439–462). Springer. https://doi.org/10.1007/0-387-27733-1
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3443
Klausberger, T., Marton, L., O’Neill, J., Huck, J., Dalezios, Y., Fuentealba, P., … Somogyi, P. (2005). Complementary roles of cholecystokinin- and parvalbumin-expressing GABAergic neurons in hippocampal network oscillations. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.3269-05.2005
View | DOI
 

2005 | Patent | IST-REx-ID: 3509
Williams, S., Edelsbrunner, H., & Fu, P. (2005). Methods, apparatus and computer program products for modeling three-dimensional colored objects. Elsevier. https://doi.org/US 6,853,373 B2
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3557
Edelsbrunner, H. (2005). Surface tiling with differential topology (pp. 9–11). Presented at the SGP: Eurographics Symposium on Geometry processing, ACM. http://dx.doi.org/10.2312/SGP/SGP05/009-011
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3558
Attali, D., Cohen Steiner, D., & Edelsbrunner, H. (2005). Extraction and simplification of iso-surfaces in tandem (pp. 139–148). Presented at the SGP: Eurographics Symposium on Geometry processing, ACM.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3576
Edelsbrunner, H., & Koehl, P. (2005). The geometry of biomolecular solvation. In Combinatorial and Computational Geometry (Vol. 52, pp. 243–275). Cambridge University Press.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3588
Castanon Ortega, I., & Heisenberg, C.-P. J. (2005). Cell migration during zebrafish gastrulation. In D. Wedlich (Ed.), Cell Migration in Development and Disease (pp. 71–105). Wiley-VCH. https://doi.org/10.1002/3527604669
View | DOI
 

Search

Filter Publications