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.

200 Publications


2006 | Book Chapter | IST-REx-ID: 3404
Atomic force microscopy
H.L. Janovjak, R. Sawhney, M. Stark, D. Mueller, in:, Techniques in Microscopy for Biomedical Applications, World Scientific Publishing, 2006, pp. 213–284.
View
 

2006 | Journal Article | IST-REx-ID: 3413
Bacteriorhodopsin folds into the membrane against an external force
M. Kessler, K. Gottschalk, H.L. Janovjak, D. Mueller, H. Gaub, Journal of Molecular Biology 357 (2006) 644–654.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3414
Observing folding pathways and kinetics of a single sodium-proton antiporter from Escherichia coli
A. Kedrov, H.L. Janovjak, C. Ziegler, W. Kühlbrandt, D. Mueller, Journal of Molecular Biology 355 (2006) 2–8.
View | DOI
 

2006 | Book Review | IST-REx-ID: 3415
Imaging and detecting molecular interactions of single membrane proteins
H.L. Janovjak, A. Kedrov, D. Cisneros, T. Sapra, J. Struckmeier, D. Mueller, Neurobiology of Aging 27 (2006) 546–561.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8488
Speeding up three-dimensional protein NMR experiments to a few minutes
P. Schanda, H. Van Melckebeke, B. Brutscher, Journal of the American Chemical Society 128 (2006) 9042–9043.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8489
HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains
P. Schanda, V. Forge, B. Brutscher, Magnetic Resonance in Chemistry 44 (2006) S177–S184.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8490
Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR
P. Schanda, B. Brutscher, Journal of Magnetic Resonance 178 (2006) 334–339.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8513
Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits
V. Kaloshin, M. Saprykina, Discrete & Continuous Dynamical Systems - A 15 (2006) 611–640.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 8514
The effect of projections on fractal sets and measures in Banach spaces
W. OTT, B. HUNT, V. Kaloshin, Ergodic Theory and Dynamical Systems 26 (2006) 869–891.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 8515
Long time behaviour of periodic stochastic flows
V. Kaloshin, D. DOLGOPYAT, L. KORALOV, in:, XIVth International Congress on Mathematical Physics, World Scientific, 2006, pp. 290–295.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 854
Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius
E. Rogaev, Y. Moliaka, B. Malyarchuk, F. Kondrashov, M. Derenko, I. Chumakov, A. Grigorenko, PLoS Biology 4 (2006) 0403–0410.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4431
The embedded systems design challenge
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4432
Timed alternating-time temporal logic
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4436
An interface algebra for real-time components
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4437
Solving games without determinization
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4523
Synergy: A new algorithm for property checking
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
A hierarchical coordination language for interacting real-time tasks
A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, ACM, 2006, pp. 132–141.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4528
Executable biology
J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Strategy improvement and randomized subexponential algorithms for stochastic parity games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications