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.

7223 Publications


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

2007 | Conference Paper | IST-REx-ID: 2794
Lifetime of turbulence in pipe flow
B. Hof, W. Tax, J. Westerweel, in:, Springer, 2007, pp. 556–558.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2893
When three is not a crowd a Crossregulation Model of the dynamics and repertoire selection of regulatory CD4 T cells
J. Carneiro, K. Leon, Í. Caramalho, C. Van Den Dool, R. Gardner, V. Oliveira, M. Bergman, N. Sepúlveda, T. Paixao, J. Faro, J. Demengeot, Immunological Reviews 216 (2007) 48–68.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2896
Quantitative insights into stochastic monoallelic expression of cytokine genes
T. Paixao, T. Carvalho, D. Calado, J. Carneiro, Immunology and Cell Biology 85 (2007) 315–322.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 2933
An Analysis of Convex Relaxations for MAP Estimation
M.P. Kumar, V. Kolmogorov, P. Torr, in:, Neural Information Processing Systems, 2007.
View
 

Search

Filter Publications