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.

147 Publications


2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee K. 2005. Two-player nonzero-sum ω-regular games. CONCUR: Concurrency Theory, LNCS , vol. 3653, 413–427.
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. 15(3), 267–270.
View | DOI
 

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. 69(5), 1031–1035.
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: 4183
Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. 2005. Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure. Mechanisms of Development. 122(Supplement 1), S112–S113.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4367
Podelski A, Wies T. 2005. Boolean Heaps. SAS: Static Analysis Symposium, LNCS 3672, , 267–282.
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. 3(5), 0878–0890.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
Rodal A, Sokolova O, Robins D, Daugherty K, Hippenmeyer S, Riezman H, Grigorieff N, Goode B. 2005. Conformational changes in the Arp2 3 complex leading to actin nucleation. Nature Structural and Molecular Biology. 12(1), 26–31.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3175
Rother C, Kumar S, Kolmogorov V, Blake A. 2005. Digital tapestry. CVPR: Computer Vision and Pattern Recognition vol. 1, 589–596.
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. CVPR: Computer Vision and Pattern Recognition, 1186–1186.
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. CVPR: Computer Vision and Pattern Recognition vol. 2, 407–414.
View | DOI | 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. ICCV: International Conference on Computer Vision vol. 1, 564–571.
View | DOI
 

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

2005 | Journal Article | IST-REx-ID: 3417
Kuhn M, Janovjak HL, Hubain M, Mueller D. 2005. Automated alignment and pattern recognition of single-molecule force spectroscopy data. Journal of Microscopy. 218(2), 125–132.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
Janovjak HL, Sapra T, Mueller D. 2005. Complex stability of single proteins explored by forced unfolding experiments. Biophysical Journal. 88(5), 37–39.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3418
Janovjak HL, Struckmeier J, Mueller D. 2005. Hydrodynamic effects in fast AFM single molecule force measurements. European Biophysics Journal. 34(1), 91–96.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3433
Bollback JP. 2005.Posterior mapping and posterior predictive distributions. In: Statistical methods in Molecular Evolution. , 439–462.
View | DOI
 

2005 | Patent | IST-REx-ID: 3509 | OA
Williams S, Edelsbrunner H, Fu P. 2005. Methods, apparatus and computer program products for modeling three-dimensional colored objects.
[Published Version] View | Download Published Version (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3558
Attali D, Cohen Steiner D, Edelsbrunner H. 2005. Extraction and simplification of iso-surfaces in tandem. SGP: Eurographics Symposium on Geometry processing, 139–148.
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. Mathematical Sciences Research Institute Publications, vol. 52, 243–275.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3612
Davison A, Chiba S, Barton NH, Clarke B. 2005. Speciation and gene flow between snails of opposing chirality. PLoS Biology. 3(9).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3611
Nürnberger B, Barton NH, Kruuk L, Vines T. 2005. Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes. Heredity. 94(2), 247–257.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3613
Gardner M, Fowler K, Barton NH, Patridge L. 2005. Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns. Genetics. 169(3), 1553–1571.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3691
Lampert C. 2005. Boundary regularity of admissible operators. Publicacions Matemàtiques. 49(1), 179–195.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
Janovjak HL, Mueller D, Humphris A. 2005. Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins. Biophysical Journal. 88(2), 1423–1431.
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. 102(51), 18297–18302.
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, 1–11, .
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3808
Engel D, Jonas PM. 2005. Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons. Neuron. 45(3), 405–17.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee K, Henzinger TA, Jurdziński M. 2005. Games with secure equilibria. FMCO: Formal Methods for Components and Objects, LNCS, vol. 3657, 141–161.
View | DOI
 

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

2005 | Journal Article | IST-REx-ID: 3933
Sixt MK, Kanazawa N, Selg M, Samson T, Roos G, Reinhardt D, Pabst R, Lutz M, 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. 22(1), 19–29.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3983
Sohn J, Parks J, Buhrman G, Brown P, Kristjánsdóttir K, Safi A, Edelsbrunner H, Yang W, Rudolph J. 2005. Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA protein substrate. Biochemistry. 44(50), 16563–16573.
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. PSB: Pacific Symposium on Biocomputing, 64–75.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4144
Ulrich F, Krieg M, Schötz E, Link V, Castanon I, Schnabel V, Taubenberger A, Müller D, Puech P, Heisenberg C-PJ. 2005. Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin. Developmental Cell. 9(4), 555–564.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4138
Barton NH, Polechova J. 2005. The limitations of adaptive dynamics as a model of evolution. Journal of Evolutionary Biology. 18(5), 1186–1190.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4155
Puech P, Taubenberger A, Ulrich F, Krieg M, Mueller D, Heisenberg C-PJ. 2005. Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy. Journal of Cell Science. 118(18), 4199–4206.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4171
Montero J, Carvalho L, Wilsch Bräuninger M, Kilian B, Mustafa C, Heisenberg C-PJ. 2005. Shield formation at the onset of zebrafish gastrulation. Development. 132(6), 1187–1198.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4249
Polechova J, Barton NH. 2005. Speciation through competition: A critical review. Evolution; International Journal of Organic Evolution. 59(6), 1194–1210.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4251
Barton NH, Otto S. 2005. Evolution of recombination due to random drift. Genetics. 169(4), 2353–2370.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4252 | OA
Johnson T, Barton NH. 2005. Theoretical models of selection and mutationon quantitative traits. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 360(1459), 1411–1425.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4404
Alur R, Cerny P, Madhusudan P, Nam W. 2005. Synthesis of interface specifications for Java classes. POPL: Principles of Programming Languages, 98–109.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4412
Matic S, Henzinger TA. 2005. Trading end-to-end latency for composability. RTSS: Real-Time Systems Symposium, 99–110.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
Kirsch C, Sanvido M, Henzinger TA. 2005. A programmable microkernel for real-time systems. VEE: Virtual Execution Environments, 35–45.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4454
Henzinger TA, Majumdar R, Raskin J. 2005. A classification of symbolic transition systems. ACM Transactions on Computational Logic (TOCL). 6(1), 1–32.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4455
Henzinger TA, Majumdar R, Prabhu V. 2005. Quantifying similarities between timed systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829, 226–241.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Henzinger TA, Jhala R, Majumdar R. 2005. Permissive interfaces. FSE: Foundations of Software Engineering, 31–40.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Henzinger TA, Kirsch C, Matic S. 2005. Composable code generation for distributed Giotto. LCTES: Languages, Compilers, and Tools for Embedded Systems, 21–30.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Doyen L, Henzinger TA, Raskin J. 2005. Automatic rectangular refinement of affine hybrid systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829, 144–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee K, Henzinger TA. 2005. Semiperfect-information games. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS, vol. 3821, 1–18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee K, De Alfaro L, Henzinger TA. 2005. The complexity of stochastic Rabin and Streett games. ICALP: Automata, Languages and Programming, LNCS, vol. 3580, 878–890.
View | DOI
 

Filters and Search Terms

year=2005

Search

Filter Publications