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
K. Chatterjee, “Two-player nonzero-sum ω-regular games,” presented at the CONCUR: Concurrency Theory, 2005, vol. 3653, pp. 413–427.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3916
A. Schrempf, J. Heinze, and S. Cremer, “Sexual cooperation: mating increases longevity in ant queens,” Current Biology, vol. 15, no. 3. Cell Press, pp. 267–270, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3915
L. De Menten, S. Cremer, J. Heinze, and S. Aron, “Primary sex ratio adjustment by ant queens in response to local mate competition,” Animal Behaviour, vol. 69, no. 5. Elsevier, pp. 1031–1035, 2005.
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
M. Köppen, B. Fernández, L. Carvalho, A. Jacinto, and C.-P. J. Heisenberg, “Misshapen mediates actin-based cell contraction during zebrafish epiboly and Drosophila dorsal closure,” Mechanisms of Development, vol. 122, no. Supplement 1. Elsevier, pp. S112–S113, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4367
A. Podelski and T. Wies, “Boolean Heaps,” presented at the SAS: Static Analysis Symposium, 2005, pp. 267–282.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3143
S. Hippenmeyer et al., “A developmental switch in the response of DRG neurons to ETS transcription factor signaling,” PLoS Biology, vol. 3, no. 5. Public Library of Science, pp. 0878–0890, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
A. Rodal et al., “Conformational changes in the Arp2 3 complex leading to actin nucleation,” Nature Structural and Molecular Biology, vol. 12, no. 1. Nature Publishing Group, pp. 26–31, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3175
C. Rother, S. Kumar, V. Kolmogorov, and A. Blake, “Digital tapestry,” presented at the CVPR: Computer Vision and Pattern Recognition, 2005, vol. 1, pp. 589–596.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3176
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, and C. Rother, “Bi-layer segmentation of binocular stereo video,” presented at the CVPR: Computer Vision and Pattern Recognition, 2005, pp. 1186–1186.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, and C. Rother, “Bi-layer segmentation of binocular stereo video,” presented at the CVPR: Computer Vision and Pattern Recognition, 2005, vol. 2, pp. 407–414.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3182
V. Kolmogorov and Y. Boykov, “What metrics can be approximated by geo cuts or global optimization of length area and flux,” presented at the ICCV: International Conference on Computer Vision, 2005, vol. 1, pp. 564–571.
View | DOI
 

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

2005 | Journal Article | IST-REx-ID: 3417
M. Kuhn, H. L. Janovjak, M. Hubain, and D. Mueller, “Automated alignment and pattern recognition of single-molecule force spectroscopy data,” Journal of Microscopy, vol. 218, no. 2. Wiley-Blackwell, pp. 125–132, 2005.
View | DOI
 

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

2005 | Journal Article | IST-REx-ID: 3418
H. L. Janovjak, J. Struckmeier, and D. Mueller, “Hydrodynamic effects in fast AFM single molecule force measurements,” European Biophysics Journal, vol. 34, no. 1. Springer, pp. 91–96, 2005.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3433
J. P. Bollback, “Posterior mapping and posterior predictive distributions,” in Statistical methods in Molecular Evolution, R. Nielsen, Ed. Springer, 2005, pp. 439–462.
View | DOI
 

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

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

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

2005 | Journal Article | IST-REx-ID: 3612
A. Davison, S. Chiba, N. H. Barton, and B. Clarke, “Speciation and gene flow between snails of opposing chirality,” PLoS Biology, vol. 3, no. 9. Public Library of Science, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3611
B. Nürnberger, N. H. Barton, L. Kruuk, and T. Vines, “Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes,” Heredity, vol. 94, no. 2. Nature Publishing Group, pp. 247–257, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3613
M. Gardner, K. Fowler, N. H. Barton, and L. Patridge, “Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns,” Genetics, vol. 169, no. 3. Genetics Society of America, pp. 1553–1571, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3691
C. Lampert, “Boundary regularity of admissible operators,” Publicacions Matemàtiques, vol. 49, no. 1. Universitat Autònoma de Barcelona, Departament de Matemàtique, pp. 179–195, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
H. L. Janovjak, D. Mueller, and A. Humphris, “Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins,” Biophysical Journal, vol. 88, no. 2. Biophysical Society, pp. 1423–1431, 2005.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741 | OA
N. Slonim, G. Atwal, G. Tkačik, and W. Bialek, “Information-based clustering,” PNAS, vol. 102, no. 51. National Academy of Sciences, pp. 18297–18302, 2005.
View | DOI | Download (ext.)
 

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

2005 | Journal Article | IST-REx-ID: 3808
D. Engel and P. M. Jonas, “Presynaptic action potential amplification by voltage-gated Na+ channels in hippocampal mossy fiber boutons,” Neuron, vol. 45, no. 3. Elsevier, pp. 405–17, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3892
K. Chatterjee, T. A. Henzinger, and M. Jurdziński, “Games with secure equilibria,” presented at the FMCO: Formal Methods for Components and Objects, 2005, vol. 3657, pp. 141–161.
View | DOI
 

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

2005 | Journal Article | IST-REx-ID: 3933
M. K. Sixt et al., “The conduit system transports soluble antigens from the afferent lymph to resident dendritic cells in the T cell area of the lymph node,” Immunity, vol. 22, no. 1. Cell Press, pp. 19–29, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3983
J. Sohn et al., “Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA protein substrate,” Biochemistry, vol. 44, no. 50. ACS, pp. 16563–16573, 2005.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3982
Y. Wang, P. Agarwal, P. Brown, H. Edelsbrunner, and J. Rudolph, “Coarse and reliable geometric alignment for protein docking,” presented at the PSB: Pacific Symposium on Biocomputing, 2005, pp. 64–75.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4144
F. Ulrich et al., “Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin,” Developmental Cell, vol. 9, no. 4. Cell Press, pp. 555–564, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4138
N. H. Barton and J. Polechova, “The limitations of adaptive dynamics as a model of evolution,” Journal of Evolutionary Biology, vol. 18, no. 5. Wiley-Blackwell, pp. 1186–1190, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4155
P. Puech, A. Taubenberger, F. Ulrich, M. Krieg, D. Mueller, and C.-P. J. Heisenberg, “Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy,” Journal of Cell Science, vol. 118, no. 18. Company of Biologists, pp. 4199–4206, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4171
J. Montero, L. Carvalho, M. Wilsch Bräuninger, B. Kilian, C. Mustafa, and C.-P. J. Heisenberg, “Shield formation at the onset of zebrafish gastrulation,” Development, vol. 132, no. 6. Company of Biologists, pp. 1187–1198, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4249
J. Polechova and N. H. Barton, “Speciation through competition: A critical review,” Evolution; International Journal of Organic Evolution, vol. 59, no. 6. Wiley-Blackwell, pp. 1194–1210, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4251
N. H. Barton and S. Otto, “Evolution of recombination due to random drift,” Genetics, vol. 169, no. 4. Genetics Society of America, pp. 2353–2370, 2005.
View | DOI
 

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

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

2005 | Conference Paper | IST-REx-ID: 4412
S. Matic and T. A. Henzinger, “Trading end-to-end latency for composability,” presented at the RTSS: Real-Time Systems Symposium, 2005, pp. 99–110.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
C. Kirsch, M. Sanvido, and T. A. Henzinger, “A programmable microkernel for real-time systems,” presented at the VEE: Virtual Execution Environments, 2005, pp. 35–45.
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 4455
T. A. Henzinger, R. Majumdar, and V. Prabhu, “Quantifying similarities between timed systems,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2005, vol. 3829, pp. 226–241.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
T. A. Henzinger, R. Jhala, and R. Majumdar, “Permissive interfaces,” presented at the FSE: Foundations of Software Engineering, 2005, pp. 31–40.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
T. A. Henzinger, C. Kirsch, and S. Matic, “Composable code generation for distributed Giotto,” presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, 2005, pp. 21–30.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
L. Doyen, T. A. Henzinger, and J. Raskin, “Automatic rectangular refinement of affine hybrid systems,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2005, vol. 3829, pp. 144–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
K. Chatterjee and T. A. Henzinger, “Semiperfect-information games,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 2005, vol. 3821, pp. 1–18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “The complexity of stochastic Rabin and Streett games,” presented at the ICALP: Automata, Languages and Programming, 2005, vol. 3580, pp. 878–890.
View | DOI
 

Filters and Search Terms

year=2005

Search

Filter Publications