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.

7266 Publications


2008 | Journal Article | IST-REx-ID: 4141
Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation
H. Vervenne, K. Crombez, K. Lambaerts, L. Carvalho, M. Köppen, C.-P.J. Heisenberg, W. Van De Ven, M. Petit, Developmental Biology 320 (2008) 267–277.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4150
Quantitative differences in tissue surface tension influence zebrafish germ layer positioning
E. Schötz, R. Burdine, F. Julicher, M. Steinberg, C.-P.J. Heisenberg, R. Foty, HFSP Journal 2 (2008) 42–56.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4161
Origin and shaping of the laterality organ in zebrafish
P. Oteíza, M. Köppen, M. Concha, C.-P.J. Heisenberg, Development 135 (2008) 2807–2813.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4180
A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics
M. Krieg, J. Helenius, C.-P.J. Heisenberg, D. Mueller, Angewandte Chemie - International Edition 47 (2008) 9775–9777.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4181
Tensile forces govern germ-layer organization in zebrafish
M. Krieg, Y. Arboleda Estudillo, P. Puech, J. Käfer, F. Graner, D. Mueller, C.-P.J. Heisenberg, Nature Cell Biology 10 (2008) 429–436.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4190 View | DOI
 

2008 | Journal Article | IST-REx-ID: 4193
Single-cell force spectroscopy
J. Helenius, C.-P.J. Heisenberg, H. Gaub, D. Mueller, Journal of Cell Science 121 (2008) 1785–1791.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4198
Back and forth between cell fate specification and movement during vertebrate gastrulation
C.-P.J. Heisenberg, L. Solnica Krezel, Current Opinion in Genetics & Development 18 (2008) 311–316.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4227
Precision of the Dpp gradient
T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, F. Julicher, Development 135 (2008) 1137–1146.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4244 View | DOI
 

2008 | Journal Article | IST-REx-ID: 4245
Effects of spontaneous mutation accumulation on sex ratio traits
B. Pannebakker, D. Halligan, K.T. Reynolds, G. Ballantyne, D. Shuker, N.H. Barton, S. West, Evolution; International Journal of Organic Evolution 62 (2008) 1921–1935.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4366
Heap Assumptions on Demand
A. Podelski, A. Rybalchenko, T. Wies, in:, Springer, 2008, pp. 314–327.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 4371
Checking temporal properties of discrete, timed and continuous behaviors
O. Maler, D. Nickovic, A. Pnueli, in:, Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4384 | OA
Model checking transactional memories
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.
View | Files available | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4386
Permissiveness in transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4387
Completeness and nondeterminism in model checking transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4397
CSIsat: Interpolation for LA+EUF
D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.
View
 

2008 | Conference Paper | IST-REx-ID: 4400
Security Evaluation of ES&S Voting Machines and Election Management System
A. Aviv, P. Cerny, S. Clark, E. Cronin, G. Shah, M. Sherr, M. Blaze, in:, USENIX, 2008.
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4409 | OA
Games for the verification of timed systems
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.
View | Download None (ext.)
 

2008 | Conference Paper | IST-REx-ID: 584
Spin hall effect of light via weak measurements: Sharp and smooth index variations
O. Hosten, P. Kwiat, in:, Optica Publishing Group, 2008.
View | Download None (ext.)
 

Search

Filter Publications