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.

131 Publications


2005 | Conference Paper | IST-REx-ID: 4457
Composable code generation for distributed Giotto
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Semiperfect-information games
K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
The complexity of stochastic Rabin and Streett games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 878–890.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4560
Verifying quantitative properties using bound functions
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
View | DOI
 
 

2005 | Journal Article | IST-REx-ID: 1447   OA
Quaternionic geometry of matroids
T. Hausel, Open Mathematics 3 (2005) 26–38.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 1740
Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, G. Katsaros, R. Songmuang, O. Schmidt, H. Von Känel, K. Kern, Journal of Crystal Growth 278 (2005) 38–45.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1795
Assessment of HIV-1 entry inhibitors by MLV/HIV-1 pseudotyped vectors
S. Siegert, S. Thaler, R. Wagner, B. Schnierle, AIDS Research and Therapy 2 (2005).
View | DOI
 

2005 | Book | IST-REx-ID: 210
Analytic methods for diophantine equations and diophantine inequalities
H. Davenport, T.D. Browning, Analytic Methods for Diophantine Equations and Diophantine Inequalities, Cambridge University Press, 2005.
View | DOI
 

2005 | Book Chapter | IST-REx-ID: 2464
Auxin as an intercellular signal
J. Friml, J. Wiśniewska, in:, A. Fleming (Ed.), Intercellular Communication in Plants, Wiley-Blackwell, 2005.
View
 

2005 | Book Review | IST-REx-ID: 2647
Glutamate and GABA receptor signalling in the developing brain
R. Luján, R. Shigemoto, G. López Bendito, Neuroscience 130 (2005) 567–580.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2654
Metabotropic glutamate receptor 8-expressing nerve terminals target subsets of GABAergic neurons in the hippocampus
F. Ferraguti, T. Klausberger, P. Cobden, A. Baude, J. Roberts, P. Szűcs, A. Kinoshita, R. Shigemoto, P. Somogyi, Y. Dalezios, Journal of Neuroscience 25 (2005) 10520–10536.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2743
Existence of the D0-D4 bound state: A detailed proof
L. Erdös, D. Hasler, J. Solovej, Annales Henri Poincare 6 (2005) 247–267.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
Auxin inhibits endocytosis and promotes its own efflux from cells
T. Paciorek, E. Zažímalová, N. Ruthardt, J. Petrášek, Y. Stierhof, J. Kleine Vehn, D. Morris, N. Emans, G. Jürgens, N. Geldner, J. Friml, Nature 435 (2005) 1251–1256.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3176
Bi-layer segmentation of binocular stereo video
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, C. Rother, in:, IEEE, 2005, pp. 1186–1186.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 3183
Bi-layer segmentation of binocular stereo video
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, C. Rother, in:, IEEE, 2005, pp. 407–414.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3741   OA
Information-based clustering
N. Slonim, G. Atwal, G. Tkacik, W. Bialek, PNAS 102 (2005) 18297–18302.
View | DOI | Download (ext.)
 

2005 | Preprint | IST-REx-ID: 3746   OA
Estimating mutual information and multi-information in large networks
N. Slonim, G. Atwal, G. Tkacik, W. Bialek, ArXiv (2005) 1–11.
View | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 3753
Real-time RNA profiling within a single bacterium
T. Le, S. Harlepp, C.C. Guet, K. Dittmar, T. Emonet, T. Pan, P. Cluzel, PNAS 102 (2005) 9160–9164.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3417
Automated alignment and pattern recognition of single-molecule force spectroscopy data
M. Kuhn, H.L. Janovjak, M. Hubain, D. Mueller, Journal of Microscopy 218 (2005) 125–132.
View | DOI
 

Filters and Search Terms

year=2005

Search

Filter Publications

Display / Sort

Export / Embed