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.

6107 Publications


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
 

2005 | Book Chapter | IST-REx-ID: 3589
Köppen, M., & Heisenberg, C.-P. J. (2005). Cleavage and gastrulation in zebrafish embryos. In Encyclopedia of Life Sciences. Wiley-Blackwell. https://doi.org/10.1038/npg.els.0001072
View | DOI
 

2005 | Book Review | IST-REx-ID: 3590
Castanon Ortega, I., & Heisenberg, C.-P. J. (2005). A stern view of gastrulation. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb0105-19
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: 4624
De Alfaro, L., & Henzinger, T. A. (2005). Interface-based design (Vol. 195, pp. 83–104). Presented at the Engineering Theories of Software Intensive Systems, Springer. https://doi.org/10.1007/1-4020-3532-2_3
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2005). Model checking discounted temporal properties. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.07.033
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: 3720
Guzmán, J., Gerevich, Z., Hengstler, J., Illes, P., & Kleemann, W. (2005). P2Y1 receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex. Synapse. Wiley. https://doi.org/10.1002/syn.20177
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
Janovjak, H. L., Mueller, D., & Humphris, A. (2005). Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins. Biophysical Journal. Biophysical Society. https://doi.org/10.1529/biophysj.104.052746
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741 | OA
Slonim, N., Atwal, G., Tkačik, G., & Bialek, W. (2005). Information-based clustering. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0507432102
View | DOI | Download (ext.)
 

2005 | Preprint | IST-REx-ID: 3746 | OA
Slonim, N., Atwal, G., Tkačik, G., & Bialek, W. (2005). Estimating mutual information and multi-information in large networks. ArXiv. ArXiv.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3753
Le, T., Harlepp, S., Guet, C. C., Dittmar, K., Emonet, T., Pan, T., & Cluzel, P. (2005). Real-time RNA profiling within a single bacterium. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0503311102
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3763
Shi, L., Yu, Y., Wojtan, C. J., & Chenney, S. (2005). Controllable motion synthesis in a gaseous medium. The Visual Computer. Springer. https://doi.org/10.1007/s00371-005-0296-0
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3808
Engel, D., & Jonas, P. M. (2005). Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2004.12.048
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3611
Nürnberger, B., Barton, N. H., Kruuk, L., & Vines, T. (2005). Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes. Heredity. Nature Publishing Group. https://doi.org/10.1038/sj.hdy.6800607
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3612
Davison, A., Chiba, S., Barton, N. H., & Clarke, B. (2005). Speciation and gene flow between snails of opposing chirality. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.0030282
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3613
Gardner, M., Fowler, K., Barton, N. H., & Patridge, L. (2005). Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.104.032367
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3684
Lampert, C., Braun, T., Ulges, A., Keysers, D., & Breuel, T. (2005). Oblivious document capture and real-time retrieval (pp. 79–86). Presented at the CBDAR: Camera Based Document Analysis and Recognition , CBDAR.
View | Download (ext.)
 

2005 | Book Review | IST-REx-ID: 3812
Hefft, S., & Jonas, P. M. (2005). Asynchronous GABA release generates long-lasting inhibition at a hippocampal interneuron-principal neuron synapse (Review). Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn1542
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3689
Ulges, A., Lampert, C., & Breuel, T. (2005). Document image dewarping using robust estimation of curled text lines (Vol. 2, pp. 1001–1005). Presented at the ICDAR: International Conference on Document Analysis and Recognition, IEEE. https://doi.org/ 10.1109/ICDAR.2005.90
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3691
Lampert, C. (2005). Boundary regularity of admissible operators. Publicacions Matemàtiques. Universitat Autònoma de Barcelona, Departament de Matemàtique. https://doi.org/10.5565/PUBLMAT_49105_08
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2005). Games with secure equilibria (Vol. 3657, pp. 141–161). Presented at the FMCO: Formal Methods for Components and Objects, Springer. https://doi.org/10.1007/11561163_7
View | DOI
 

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., … 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
 

Search

Filter Publications