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.

139 Publications


2005 | Conference Paper | IST-REx-ID: 4560
A. Chakrabarti, K. Chatterjee, T. A. Henzinger, O. Kupferman, and R. Majumdar, “Verifying quantitative properties using bound functions,” presented at the CHARME: Correct Hardware Design and Verification Methods, 2005, vol. 3725, pp. 50–64.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
D. Beyer, A. Chakrabarti, and T. A. Henzinger, “Web service interfaces,” presented at the WWW: World Wide Web Conference, 2005, pp. 148–159.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “Checking memory safety with BLAST,” presented at the FASE: Fundamental Approaches To Software Engineering, 2005, vol. 3442, pp. 2–18.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3000
P. Dhonukshe, J. Kleine Vehn, and J. Friml, “Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first?,” Protoplasma, vol. 226, no. 1–2. Springer, pp. 67–73, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
T. Paciorek et al., “Auxin inhibits endocytosis and promotes its own efflux from cells,” Nature, vol. 435, no. 7046. Nature Publishing Group, pp. 1251–1256, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
A. Vieten et al., “Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression,” Development, vol. 132, no. 20. Company of Biologists, pp. 4521–4531, 2005.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
D. Weijers et al., “Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis,” Plant Cell, vol. 17, no. 9. American Society of Plant Biologists, pp. 2517–2526, 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 | 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 | 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: 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 | 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: 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: 3211
M. Bellare, K. Z. Pietrzak, and P. Rogaway, “Improved security analyses for CBC MACs,” presented at the CRYPTO: International Cryptology Conference, 2005, vol. 3621, pp. 527–545.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3212
Y. Dodis, R. Oliveira, and K. Z. Pietrzak, “On the generic insecurity of the full domain hash,” presented at the CRYPTO: International Cryptology Conference, 2005, vol. 3621, pp. 449–466.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3213
K. Z. Pietrzak, “Composition does not imply adaptive security,” presented at the CRYPTO: International Cryptology Conference, 2005, vol. 3621, pp. 55–65.
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: 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: 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
 

Filters and Search Terms

year=2005

Search

Filter Publications