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.

9113 Publications


2007 | Book | IST-REx-ID: 3674
Evolution
N.H. Barton, D. Briggs, J. Eisen, D. Goldstein, N. Patel, Evolution, Cold Spring Harbor Laboratory Press, 2007.
View | Files available
 

2007 | Journal Article | IST-REx-ID: 3727
Digital force-feedback for protein unfolding experiments using atomic force microscopy
C. Bippes, H.L. Janovjak, A. Kedrov, D. Mueller, Nanotechnology 18 (2007).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3723
Transmembrane helices have rough energy surfaces
H.L. Janovjak, H. Knaus, D. Mueller, Journal of the American Chemical Society 129 (2007) 246–247.
View | DOI
 

2007 | Preprint | IST-REx-ID: 3742 | OA
Faster solutions of the inverse pairwise Ising problem
T. Broderick, M. Dudik, G. Tkačik, R. Schapire, W. Bialek, ArXiv q-QM (2007).
View | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 3821
Subthreshold dendritic signal processing and coincidence detection in dentate gyrus granule cells
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Journal of Neuroscience 27 (2007) 8430–8441.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3820
Structural determinants of transmission at large hippocampal mossy fiber synapses
A. Rollenhagen, K. Satzler, E.P. Rodriguez, P.M. Jonas, M. Frotscher, J. Lubke, Journal of Neuroscience 27 (2007) 10434–44.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3819
Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons
L. Li, J. Bischofberger, P.M. Jonas, Journal of Neuroscience 27 (2007) 13420–9.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3883
Generalized parity games
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Springer, 2007, pp. 153–167.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3882
Concurrent games with tail objectives
K. Chatterjee, Theoretical Computer Science 388 (2007) 181–198.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3884
Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73.
View | Files available | DOI
 

2007 | Conference Paper | IST-REx-ID: 3881
Qualitative logics and equivalences for probabilistic systems
L. De Alfaro, K. Chatterjee, M. Faella, A. Legay, in:, IEEE, 2007, pp. 237–248.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3887
Markov decision processes with multiple long-run average objectives
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–484.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3886
Stochastic Müller games are PSPACE-complete
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–448.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3885
Optimal strategy synthesis in stochastic Müller games
K. Chatterjee, in:, Springer, 2007, pp. 138–152.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3938
RhoH is important for positive thymocyte selection and T-cell receptor signaling
T. Dorn, U. Kuhn, G. Bungartz, S. Stiller, M. Bauer, J. Ellwart, T. Peters, K. Scharffetter Kochanek, M. Semmrich, M. Laschinger, B. Holzmann, W. Klinkert, P. Straten, T. Køllgaard, M.K. Sixt, C. Brakebusch, Blood 109 (2007) 2346–2355.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3937
Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces
E. Woolf, I. Grigorova, A. Sagiv, V. Grabovsky, S. Feigelson, Z. Shulman, T. Hartmann, M.K. Sixt, J. Cyster, R. Alon, Nature Immunology 8 (2007) 1076–1085.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3973
Inequalities for the curvature of curves and surfaces
D. Cohen Steiner, H. Edelsbrunner, Foundations of Computational Mathematics 7 (2007) 391–404.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3972
Stability of persistence diagrams
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Discrete & Computational Geometry 37 (2007) 103–120.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4205
The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion
S. Von Der Hardt, J. Bakkers, A. Inbal, L. Carvalho, L. Solnica Krezel, C.-P.J. Heisenberg, M. Hammerschmidt, Current Biology 17 (2007) 475–487.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4234 | OA [Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications