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 | 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
 

2005 | Journal Article | IST-REx-ID: 4625
De Alfaro, Luca, et al. “Model Checking Discounted Temporal Properties.” Theoretical Computer Science, vol. 345, no. 1, Elsevier, 2005, pp. 139–70, doi:10.1016/j.tcs.2005.07.033.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Beyer, Dirk, et al. Web Service Interfaces. ACM, 2005, pp. 148–59, doi:10.1145/1060745.1060770.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
Beyer, Dirk, et al. Checking Memory Safety with BLAST. Vol. 3442, Springer, 2005, pp. 2–18, doi:10.1007/978-3-540-31984-9_2.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3720
Guzmán, José, et al. “P2Y1 Receptors Inhibit Both Strength and Plasticity of Glutamatergic Synaptic Neurotransmission in the Rat Prefrontal Cortex.” Synapse, vol. 57, no. 4, Wiley, 2005, pp. 235–38, doi:10.1002/syn.20177.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3721 | OA
Janovjak, Harald L., et al. “Molecular Force Modulation Spectroscopy Revealing the Dynamic Response of Single Bacteriorhodopsins.” Biophysical Journal, vol. 88, no. 2, Biophysical Society, 2005, pp. 1423–31, doi:10.1529/biophysj.104.052746.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741 | OA
Slonim, N., et al. “Information-Based Clustering.” PNAS, vol. 102, no. 51, National Academy of Sciences, 2005, pp. 18297–302, doi:10.1073/pnas.0507432102.
View | DOI | Download (ext.)
 

2005 | Preprint | IST-REx-ID: 3746 | OA
Slonim, Noam, et al. “Estimating Mutual Information and Multi-Information in Large Networks.” ArXiv, ArXiv, 2005, pp. 1–11.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3753
Le, Thuc, et al. “Real-Time RNA Profiling within a Single Bacterium.” PNAS, vol. 102, no. 26, National Academy of Sciences, 2005, pp. 9160–64, doi:10.1073/pnas.0503311102.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3763
Shi, Lin, et al. “Controllable Motion Synthesis in a Gaseous Medium.” The Visual Computer, vol. 21, no. 7, Springer, 2005, pp. 474–87, doi:10.1007/s00371-005-0296-0.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3808
Engel, Dominique, and Peter M. Jonas. “Presynaptic Action Potential Amplification by Voltage-Gated Na+ Channels in Hippocampal Mossy Fiber Boutons.” Neuron, vol. 45, no. 3, Elsevier, 2005, pp. 405–17, doi:10.1016/j.neuron.2004.12.048 .
View | DOI
 

Search

Filter Publications