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.

231 Publications


2006 | Published | Conference Paper | IST-REx-ID: 3500
Chatterjee K, Henzinger TA, Piterman N. 2006. Algorithms for Büchi Games. GDV: Games in Design and Verification.
View | Download None (ext.) | arXiv
 

2006 | Published | Conference Paper | IST-REx-ID: 3499
Chatterjee K. 2006. Nash equilibrium for upward-closed objectives. Proceedings of the 20th international conference on Computer Science Logic. CSL: Computer Science Logic, LNCS , vol. 4207, 271–286.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 3449
Chatterjee K, Jagadeesan R, Pitcher C. 2006. Games for controls. Proceedings of the 19th IEEE workshop on Computer Security Foundations. CSF: Computer Security Foundations, 70–82.
View | DOI
 

2006 | Published | Book Review | IST-REx-ID: 3463
Bischofberger J, Engel D, Frotscher M, Jonas PM. 2006. Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. (Review). Pflugers Archiv : European Journal of Physiology. 453(3), 361–372.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Journal Article | IST-REx-ID: 3413
Kessler M, Gottschalk K, Janovjak HL, Mueller D, Gaub H. 2006. Bacteriorhodopsin folds into the membrane against an external force. Journal of Molecular Biology. 357(2), 644–654.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Journal Article | IST-REx-ID: 3437
Betancourt A, Bollback JP. 2006. Fitness effects of beneficial mutations: the mutational landscape model in experimental evolution. Current Opinion in Genetics & Development. 16(6), 618–623.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Journal Article | IST-REx-ID: 3414
Kedrov A, Janovjak HL, Ziegler C, Kühlbrandt W, Mueller D. 2006. Observing folding pathways and kinetics of a single sodium-proton antiporter from Escherichia coli. Journal of Molecular Biology. 355(1), 2–8.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Conference Paper | IST-REx-ID: 3216
Pietrzak KZ. 2006. A tight bound for EMAC. Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II. ICALP: Automata, Languages and Programming, LNCS, vol. 4052, 168–179.
View | DOI
 

2006 | Published | Book Chapter | IST-REx-ID: 3404
Janovjak HL, Sawhney R, Stark M, Mueller D. 2006.Atomic force microscopy. In: Techniques in Microscopy for Biomedical Applications. Manuals in Biomedical Research, vol. 2, 213–284.
View
 

2006 | Published | Conference Paper | IST-REx-ID: 3186
Boykov Y, Kolmogorov V, Cremers D, Delong A. 2006. An integral solution to surface evolution PDEs via geo cuts. Proceedings of the 9th European conference on Computer Vision - Volume Part III. ECCV: European Conference on Computer Vision, LNCS, vol. 3953, 409–422.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 3214
Maurer U, Oswald Y, Pietrzak KZ, Sjödin J. 2006. Luby Rackoff ciphers from weak round functions . Proceedings of the 24th annual international conference on The Theory and Applications of Cryptographic Techniques. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 4004, 391–408.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 3189
Criminisi A, Cross G, Blake A, Kolmogorov V. 2006. Bilayer segmentation of live video. Proceedings of the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition - Volume 1. CVPR: Computer Vision and Pattern Recognition vol. 1, 53–60.
View | DOI | Download None (ext.)
 

2006 | Published | Journal Article | IST-REx-ID: 3185
Kolmogorov V, Criminisi A, Blake A, Cross G, Rother C. 2006. Probabilistic fusion of stereo with color and contrast for bilayer segmentation. IEEE Transactions on Pattern Analysis and Machine Intelligence. 28(9), 1480–1492.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2006 | Published | Conference Paper | IST-REx-ID: 3217
Pietrzak KZ. 2006. Composition implies adaptive security in minicrypt. Proceedings of the 24th annual international conference on The Theory and Applications of Cryptographic Techniques. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 4004, 328–338.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 3215
Dodis Y, Pietrzak KZ, Przydatek B. 2006. Separating sources for encryption and secret sharing. Proceedings of the Third conference on Theory of Cryptography. TCC: Theory of Cryptography Conference, LNCS, vol. 3876, 601–616.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 3188
Rother C, Kolmogorov V, Minka T, Blake A. 2006. Cosegmentation of image pairs by histogram matching - Incorporating a global constraint into MRFs. Proceedings of the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition - Volume 1. CVPR: Computer Vision and Pattern Recognition, 993–1000.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 3190
Kolmogorov V. 2006. Convergent tree reweighted message passing for energy minimization. IEEE Transactions on Pattern Analysis and Machine Intelligence. 28(10), 1568–1583.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2006 | Published | Conference Paper | IST-REx-ID: 3180
Szeliski R, Zabih R, Scharstein D, Veksler O, Kolmogorov V, Agarwala A, Tappen M, Rother C. 2006. A comparative study of energy minimization methods for Markov random fields. Proceedings of the 9th European conference on Computer Vision - Volume Part II. ECCV: European Conference on Computer Vision vol. 3952, 16–29.
View | DOI | Download None (ext.)
 

2006 | Published | Conference Paper | IST-REx-ID: 3184
Kolmogorov V, Rother C. 2006. Comparison of energy minimization algorithms for highly connected graphs. Proceedings of the 9th European conference on Computer Vision - Volume Part II. ECCV: European Conference on Computer Vision, LNCS, vol. 3952 LNCS, 1–15.
View | DOI | Download None (ext.)
 

2006 | Published | Journal Article | IST-REx-ID: 3016
Sauer M, Balla J, Luschnig C, Wiśniewska J, Reinöhl V, Friml J, Benková E. 2006. Canalization of auxin flow by Aux/IAA-ARF-dependent feedback regulation of PIN polarity. Genes and Development. 20(20), 2902–2911.
View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed