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, Krzysztof Z. Composition Does Not Imply Adaptive Security. Vol. 3621, Springer, 2005, pp. 55–65, doi:10.1007/11535218_4.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3416 | OA
Janovjak, Harald L., et al. “Complex Stability of Single Proteins Explored by Forced Unfolding Experiments.” Biophysical Journal, vol. 88, no. 5, Biophysical Society, 2005, pp. 37–39, doi:10.1529/biophysj.105.059774.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3417
Kuhn, Michael, et al. “Automated Alignment and Pattern Recognition of Single-Molecule Force Spectroscopy Data.” Journal of Microscopy, vol. 218, no. 2, Wiley-Blackwell, 2005, pp. 125–32, doi:10.1111/j.1365-2818.2005.01478.x.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3418
Janovjak, Harald L., et al. “Hydrodynamic Effects in Fast AFM Single Molecule Force Measurements.” European Biophysics Journal, vol. 34, no. 1, Springer, 2005, pp. 91–96, doi:10.1007/s00249-004-0430-3.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3426 | OA
Bollenbach, Mark Tobias, et al. “Robust Formation of Morphogen Gradients.” Physical Review Letters, vol. 94, no. 1, American Physical Society, 2005, doi:10.1103/PhysRevLett.94.018103.
View | DOI | Download Preprint (ext.) | arXiv
 

2005 | Book Chapter | IST-REx-ID: 3433
Bollback, Jonathan P. “Posterior Mapping and Posterior Predictive Distributions.” Statistical Methods in Molecular Evolution, edited by Rasmus Nielsen, Springer, 2005, pp. 439–62, doi:10.1007/0-387-27733-1.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3443
Klausberger, Thomas, et al. “Complementary Roles of Cholecystokinin- and Parvalbumin-Expressing GABAergic Neurons in Hippocampal Network Oscillations.” Journal of Neuroscience, vol. 25, no. 42, Society for Neuroscience, 2005, pp. 9782–93, doi:10.1523/JNEUROSCI.3269-05.2005.
View | DOI
 

2005 | Patent | IST-REx-ID: 3509
Williams, Steven, et al. Methods, Apparatus and Computer Program Products for Modeling Three-Dimensional Colored Objects. Elsevier, 2005, doi:US 6,853,373 B2.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3557
Edelsbrunner, Herbert. Surface Tiling with Differential Topology. ACM, 2005, pp. 9–11, doi:http://dx.doi.org/10.2312/SGP/SGP05/009-011.
View | DOI | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 3558
Attali, Dominique, et al. Extraction and Simplification of Iso-Surfaces in Tandem. ACM, 2005, pp. 139–48.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3576
Edelsbrunner, Herbert, and Patrice Koehl. “The Geometry of Biomolecular Solvation.” Combinatorial and Computational Geometry, vol. 52, Cambridge University Press, 2005, pp. 243–75.
View | Download (ext.)
 

2005 | Book Chapter | IST-REx-ID: 3588
Castanon Ortega, Irinka, and Carl-Philipp J. Heisenberg. “Cell Migration during Zebrafish Gastrulation.” Cell Migration in Development and Disease, edited by Doris Wedlich, Wiley-VCH, 2005, pp. 71–105, doi:10.1002/3527604669.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 3589
Köppen, Mathias, and Carl-Philipp J. Heisenberg. “Cleavage and Gastrulation in Zebrafish Embryos.” Encyclopedia of Life Sciences, Wiley-Blackwell, 2005, doi:10.1038/npg.els.0001072.
View | DOI
 

2005 | Book Review | IST-REx-ID: 3590
Castanon Ortega, Irinka, and Carl-Philipp J. Heisenberg. “A Stern View of Gastrulation.” Nature Cell Biology, vol. 7, no. 1, Nature Publishing Group, 2005, pp. 19–19, doi:10.1038/ncb0105-19.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee, Krishnendu, and Thomas A. Henzinger. Semiperfect-Information Games. Vol. 3821, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18, doi:10.1007/11590156_1.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee, Krishnendu, et al. The Complexity of Stochastic Rabin and Streett Games. Vol. 3580, Springer, 2005, pp. 878–90, doi:10.1007/11523468_71.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee, Krishnendu, et al. Mean-Payoff Parity Games. IEEE, 2005, pp. 178–87, doi:10.1109/LICS.2005.26.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee, Krishnendu, et al. Counterexample-Guided Planning. AUAI Press, 2005, pp. 104–11.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, Arindam, et al. Verifying Quantitative Properties Using Bound Functions. Vol. 3725, Springer, 2005, pp. 50–64, doi:10.1007/11560548_7.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro, Luca, and Thomas A. Henzinger. Interface-Based Design. Vol. 195, Springer, 2005, pp. 83–104, doi:10.1007/1-4020-3532-2_3.
View | DOI
 

Search

Filter Publications