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 KZ. 2005. Composition does not imply adaptive security. CRYPTO: International Cryptology Conference, LNCS, vol. 3621, 55–65.
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: 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: 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 | Journal Article | IST-REx-ID: 3426 | OA
Bollenbach MT, Kruse K, Pantazis P, González Gaitán M, Jülicher F. 2005. Robust formation of morphogen gradients. Physical Review Letters. 94(1).
View | DOI | Download Preprint (ext.) | arXiv
 

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 | Journal Article | IST-REx-ID: 3443
Klausberger T, Marton L, O’Neill J, Huck J, Dalezios Y, Fuentealba P, Suen W, Papp E, Kaneko T, Watanabe M, Csicsvari JL, Somogyi P. 2005. Complementary roles of cholecystokinin- and parvalbumin-expressing GABAergic neurons in hippocampal network oscillations. Journal of Neuroscience. 25(42), 9782–9793.
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.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3557
Edelsbrunner H. 2005. Surface tiling with differential topology. SGP: Eurographics Symposium on Geometry processing, 9–11.
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. 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 | Book Chapter | IST-REx-ID: 3588
Castanon Ortega I, Heisenberg C-PJ. 2005.Cell migration during zebrafish gastrulation. In: Cell Migration in Development and Disease. , 71–105.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3589
Köppen M, Heisenberg C-PJ. 2005.Cleavage and gastrulation in zebrafish embryos. In: Encyclopedia of Life Sciences. .
View | DOI
 

2005 | Book Review | IST-REx-ID: 3590
Castanon Ortega I, Heisenberg C-PJ. 2005. A stern view of gastrulation. Nature Cell Biology. 7(1), 19–19.
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
 

2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee K, Henzinger TA, Jurdziński M. 2005. Mean-payoff parity games. LICS: Logic in Computer Science, 178–187.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee K, Henzinger TA, Jhala R, Majumdar R. 2005. Counterexample-guided planning. UAI: Uncertainty in Artificial Intelligence, 104–111.
View | Download (ext.)
 

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

2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro L, Henzinger TA. 2005. Interface-based design. Engineering Theories of Software Intensive Systems, NATO Science Series: Mathematics, Physics, and Chemistry, vol. 195, 83–104.
View | DOI
 

Search

Filter Publications