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.
204 Publications
2006 | Journal Article | IST-REx-ID: 3728
Cieplak M, Filipek S, Janovjak HL, Krzysko K. Pulling single bacteriorhodopsin out of a membrane: Comparison of simulation and experiment. Biochimica et Biophysica Acta (BBA) - Biomembranes. 2006;1758(4):537-544. doi:10.1016/j.bbamem.2006.03.028
View
| DOI
2006 | Book Chapter | IST-REx-ID: 3722
Janovjak HL, Mueller D. Rastersondenmikroskopie. In: Bioanalytik. Spektrum Akademischer Verlag; 2006.
View
2006 | Journal Article | IST-REx-ID: 3755 | 
Le T, Emonet T, Harlepp S, Guet CC, Cluzel P. Dynamical determinants of drug-inducible gene expression in a single bacterium. Biophysical Journal. 2006;90(9):3315-3321. doi:10.1529/biophysj.105.073353
View
| DOI
| Download (ext.)
2006 | Conference Paper | IST-REx-ID: 3758
Wojtan C, Mucha P, Turk G. Keyframe control of complex particle systems using the adjoint method. In: ACM; 2006:15-23.
View
| Download None (ext.)
2006 | Journal Article | IST-REx-ID: 3818
Bischofberger J, Engel D, Li L, Geiger J, Jonas PM. Patch-clamp recording from mossy fiber terminals in hippocampal slices. Nature Protocols. 2006;1(4):2075-2081. doi:10.1038/nprot.2006.312
View
| DOI
2006 | Conference Paper | IST-REx-ID: 3890
Chatterjee K, De Alfaro L, Henzinger TA. The complexity of quantitative concurrent parity games. In: SIAM; 2006:678-687. doi:10.1145/1109557.1109631
View
| DOI
2006 | Conference Paper | IST-REx-ID: 3889
Chatterjee K, Doyen L, Henzinger TA, Raskin J. Algorithms for omega-regular games with imperfect information. In: Vol 4207. Springer; 2006:287-302. doi:10.1007/11874683_19
View
| DOI
2006 | Conference Paper | IST-REx-ID: 3891
Chatterjee K. Concurrent games with tail objectives. In: Vol 4207. Springer; 2006:256-270. doi:10.1007/11874683_17
View
| DOI
2006 | Conference Paper | IST-REx-ID: 3888
Chatterjee K, Henzinger TA. Strategy improvement for stochastic Rabin and Streett games. In: Vol 4137. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2006:375-389. doi:10.1007/11817949_25
View
| DOI
2006 | Journal Article | IST-REx-ID: 3908
Ustinova J, Achmann R, Cremer S, Mayer F. Long repeats in a huge gemome: microsatellite loci in the grasshopper Chorthippus biguttulus. Journal of Molecular Evolution. 2006;62(2):158-167. doi:10.1007/s00239-005-0022-6
View
| DOI
2006 | Journal Article | IST-REx-ID: 3934
Drumea Mirancea M, Wessels J, Müller C, et al. Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules. Journal of Cell Science. 2006;119(Pt 7):1396-1405. doi:10.1242/jcs.02840
View
| DOI
2006 | Journal Article | IST-REx-ID: 3935
Chu H, Thievessen I, Sixt MK, et al. γ-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response. Molecular and Cellular Biology. 2006;26(5):1817-1825. doi:10.1128/MCB.26.5.1817-1825.2006
View
| DOI
2006 | Journal Article | IST-REx-ID: 3936
Sixt MK, Bauer M, Lämmermann T, Fässler R. β1 integrins: zip codes and signaling relay for blood cells. Current Opinion in Cell Biology. 2006;18(5):482-490. doi:10.1016/j.ceb.2006.08.007
View
| DOI
2006 | Journal Article | IST-REx-ID: 4140
Witzel S, Zimyanin V, Carreira Barbosa F, Tada M, Heisenberg C-PJ. Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane. Journal of Cell Biology. 2006;175(5):791-802. doi:10.1083/jcb.200606017
View
| DOI
2006 | Journal Article | IST-REx-ID: 4145
Tonelli D, Calegari F, Fei J, et al. Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid. Biotechniques. 2006;41(6):727-732. doi:10.2144/000112296
View
| DOI
2006 | Journal Article | IST-REx-ID: 4176
Link V, Carvalho L, Castanon I, Stockinger P, Shevchenko A, Heisenberg C-PJ. Identification of regulators of germ layer morphogenesis using proteomics in zebrafish. Journal of Cell Science. 2006;119(10):2073-2083. doi:10.1242/jcs.02928
View
| DOI
2006 | Journal Article | IST-REx-ID: 4173 |
Link V, Shevchenko A, Heisenberg C-PJ. Proteomics of early zebrafish embryos. BMC Developmental Biology. 2006;6:1-9. doi:10.1186/1471-213X-6-1
View
| DOI
| Download None (ext.)
2006 | Journal Article | IST-REx-ID: 4178
Langenberg T, Dracz T, Oates A, Heisenberg C-PJ, Brand M. Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics. 2006;235(4):928-933. doi:10.1002/dvdy.20692
View
| DOI
2006 | Journal Article | IST-REx-ID: 4184
Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila. Development. 2006;133(14):2671-2681. doi:doi: 10.1242/dev.02439
View
| DOI
2006 | Journal Article | IST-REx-ID: 4218
Blaser H, Reichman Fried M, Castanon I, et al. Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell. 2006;11(5):613-627. doi:10.1016/j.devcel.2006.09.023
View
| DOI
2006 | Journal Article | IST-REx-ID: 4235
de Vladar H, González J. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. 2006:91-109.
View
2006 | Journal Article | IST-REx-ID: 4248
Roze D, Barton NH. The Hill-Robertson effect and the evolution of recombination. Genetics. 2006;173(3):1793-1811. doi:10.1534/genetics.106.058586
View
| DOI
2006 | Book Review | IST-REx-ID: 4250
Barton NH. Evolutionary Biology: How did the human species form? Current Biology. 2006;16(16):647-650. doi:10.1016/j.cub.2006.07.032
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4406
De Wulf M, Doyen L, Henzinger TA, Raskin J. Antichains: A new algorithm for checking universality of finite automata. In: Vol 4144. Springer; 2006:17-30. doi:10.1007/11817963_5
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4437
Henzinger TA, Piterman N. Solving games without determinization. In: Vol 4207. Springer; 2006:395-410. doi:10.1007/11874683_26
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4436
Henzinger TA, Matic S. An interface algebra for real-time components. In: IEEE; 2006:253-266. doi:10.1109/RTAS.2006.11
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4432
Henzinger TA, Prabhu V. Timed alternating-time temporal logic. In: Vol 4202. Springer; 2006:1-17. doi:10.1007/11867340_1
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4431
Henzinger TA, Sifakis J. The embedded systems design challenge. In: Vol 4085. Springer; 2006:1-15. doi:10.1007/11813040_1
View
| DOI
2006 | Journal Article | IST-REx-ID: 4451
Henzinger TA, Kupferman O, Majumdar R. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 2006;354(2):173-186. doi:10.1016/j.tcs.2005.11.015
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4523
Gulavani B, Henzinger TA, Kannan Y, Nori A, Rajamani S. Synergy: A new algorithm for property checking. In: ACM; 2006:117-127. doi:10.1145/1181775.1181790
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4526
Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. A hierarchical coordination language for interacting real-time tasks. In: ACM; 2006:132-141. doi:10.1145/1176887.1176907
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4528
Fisher J, Henzinger TA. Executable biology. In: IEEE; 2006:1675-1682. doi:10.1109/WSC.2006.322942
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee K, Henzinger TA. Finitary winning in omega-regular games. In: Vol 3920. Springer; 2006:257-271. doi:10.1007/11691372_17
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee K, Henzinger TA. Strategy improvement and randomized subexponential algorithms for stochastic parity games. In: Vol 3884. Springer; 2006:512-523. doi:10.1007/11672142_42
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee K, Majumdar R, Henzinger TA. Markov decision processes with multiple objectives. In: Vol 3884. Springer; 2006:325-336. doi:10.1007/11672142_26
View
| DOI
2006 | Journal Article | IST-REx-ID: 4550
Chatterjee K, Henzinger TA, Jurdziński M. Games with secure equilibria. Theoretical Computer Science. 2006;365(1-2):67-82. doi:10.1016/j.tcs.2006.07.032
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee K, De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Compositional quantitative reasoning. In: IEEE; 2006:179-188. doi:10.1109/QEST.2006.11
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee K, De Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability games. In: IEEE; 2006:291-300. doi:10.1109/QEST.2006.48
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4574
Beyer D, Henzinger TA, Théoduloz G. Lazy shape analysis. In: Vol 4144. Springer; 2006:532-546. doi:10.1007/11817963_48
View
| DOI
2006 | Preprint | IST-REx-ID: 573 |
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual computation revisited. 2006.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2006 | Preprint | IST-REx-ID: 574 |
Hosten O, Kwiat P. Weak measurements and counterfactual computation. 2006.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2006 | Conference Paper | IST-REx-ID: 578
Peters N, Arnold K, Vandevender A, et al. Towards a quasi-deterministic single-photon source. In: Vol 6305. SPIE; 2006. doi:10.1117/12.684702
View
| DOI
2006 | Conference Paper | IST-REx-ID: 577
Rangarajan R, Altepeter J, Jeffrey E, et al. High-efficiency single-photon detectors. In: Vol 6372. SPIE; 2006. doi:10.1117/12.686117
View
| DOI
2006 | Journal Article | IST-REx-ID: 579
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual quantum computation through quantum interrogation. Nature. 2006;439(7079):949-952. doi:10.1038/nature04523
View
| DOI
2006 | Conference Paper | IST-REx-ID: 583
Rangarajan R, Peters N, Hosten O, Altepeter J, Jeffrey E, Kwiat P. Improved single-photon detection. In: IEEE; 2006. doi:10.1109/CLEO.2006.4628641
View
| DOI
2006 | Journal Article | IST-REx-ID: 6151 |
Salecker I, Häusser M, de Bono M. On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits. EMBO reports. 2006;7(6):585-589. doi:10.1038/sj.embor.7400713
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2006 | Journal Article | IST-REx-ID: 6152
Rogers C, Persson A, Cheung B, de Bono M. Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans. Current Biology. 2006;16(7):649-659. doi:10.1016/j.cub.2006.03.023
View
| DOI
| PubMed | Europe PMC
2006 | Journal Article | IST-REx-ID: 7328
Freunberger SA, Reum M, Evertz J, Wokaun A, Büchi FN. Measuring the current distribution in PEFCs with sub-millimeter resolution. Journal of The Electrochemical Society. 2006;153(11). doi:10.1149/1.2345591
View
| DOI
2006 | Journal Article | IST-REx-ID: 7327
Santis M, Freunberger SA, Papra M, Wokaun A, Büchi FN. Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks. Journal of Power Sources. 2006;161(2):1076-1083. doi:10.1016/j.jpowsour.2006.06.007
View
| DOI
2006 | Conference Paper | IST-REx-ID: 7326
Büchi FN, Freunberger SA, Santis M. What is learned beyond the scale of single cells? In: ECS Transactions. Vol 3. ECS; 2006:963-968. doi:10.1149/1.2356215
View
| DOI
2006 | Journal Article | IST-REx-ID: 7329
Freunberger SA, Reum M, Wokaun A, Büchi FN. Expanding current distribution measurement in PEFCs to sub-millimeter resolution. Electrochemistry Communications. 2006;8(9):1435-1438. doi:10.1016/j.elecom.2006.05.032
View
| DOI
2006 | Journal Article | IST-REx-ID: 7330
Santis M, Freunberger SA, Reiner A, Büchi FN. Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients. Electrochimica Acta. 2006;51(25):5383-5393. doi:10.1016/j.electacta.2006.02.008
View
| DOI
2006 | Journal Article | IST-REx-ID: 7332
Freunberger SA, Santis M, Schneider IA, Wokaun A, Büchi FN. In-plane effects in large-scale PEMFCs. Journal of The Electrochemical Society. 2006;153(2). doi:10.1149/1.2150150
View
| DOI
2006 | Journal Article | IST-REx-ID: 7331
Freunberger SA, Wokaun A, Büchi FN. In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance. Journal of The Electrochemical Society. 2006;153(5). doi:10.1149/1.2185282
View
| DOI
2006 | Journal Article | IST-REx-ID: 854
Rogaev E, Moliaka Y, Malyarchuk B, et al. Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius. PLoS Biology. 2006;4(3):0403-0410. doi:10.1371/journal.pbio.0040073
View
| DOI
2006 | Journal Article | IST-REx-ID: 868
Kondrashov F, Koonin E, Morgunov I, Finogenova T, Kondrashova M. Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation. Biology Direct. 2006;1. doi:10.1186/1745-6150-1-31
View
| DOI
2006 | Journal Article | IST-REx-ID: 873
Kondrashov F, Kondrashov A. Role of selection in fixation of gene duplications. Journal of Theoretical Biology. 2006;239(2):141-151. doi:10.1016/j.jtbi.2005.08.033
View
| DOI
2006 | Journal Article | IST-REx-ID: 8489
Schanda P, Forge V, Brutscher B. HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains. Magnetic Resonance in Chemistry. 2006;44(S1):S177-S184. doi:10.1002/mrc.1825
View
| DOI
2006 | Journal Article | IST-REx-ID: 8488
Schanda P, Van Melckebeke H, Brutscher B. Speeding up three-dimensional protein NMR experiments to a few minutes. Journal of the American Chemical Society. 2006;128(28):9042-9043. doi:10.1021/ja062025p
View
| DOI
2006 | Journal Article | IST-REx-ID: 8490
Schanda P, Brutscher B. Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR. Journal of Magnetic Resonance. 2006;178(2):334-339. doi:10.1016/j.jmr.2005.10.007
View
| DOI
2006 | Journal Article | IST-REx-ID: 8514
OTT W, HUNT B, Kaloshin V. The effect of projections on fractal sets and measures in Banach spaces. Ergodic Theory and Dynamical Systems. 2006;26(3):869-891. doi:10.1017/s0143385705000714
View
| DOI
2006 | Conference Paper | IST-REx-ID: 8515
Kaloshin V, DOLGOPYAT D, KORALOV L. Long time behaviour of periodic stochastic flows. In: XIVth International Congress on Mathematical Physics. World Scientific; 2006:290-295. doi:10.1142/9789812704016_0026
View
| DOI
2006 | Journal Article | IST-REx-ID: 8513
Kaloshin V, Saprykina M. Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits. Discrete & Continuous Dynamical Systems - A. 2006;15(2):611-640. doi:10.3934/dcds.2006.15.611
View
| DOI
2006 | Journal Article | IST-REx-ID: 869
Kondrashov F, Ogurtsov A, Kondrashov A. Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites. Journal of Theoretical Biology. 2006;240(4):616-626. doi:10.1016/j.jtbi.2005.10.020
View
| DOI
2006 | Journal Article | IST-REx-ID: 903
Babenko V, Basu M, Kondrashov F, Rogozin I, Koonin E. Signs of positive selection of somatic mutations in human cancers detected by EST sequence analysis. BMC Cancer. 2006;6. doi:10.1186/1471-2407-6-36
View
| DOI
2006 | Journal Article | IST-REx-ID: 9505
Zilberman D, Gehring M, Tran RK, Ballinger T, Henikoff S. Genome-wide analysis of Arabidopsis thaliana DNA methylation uncovers an interdependence between methylation and transcription. Nature Genetics. 2006;39(1):61-69. doi:10.1038/ng1929
View
| DOI
| PubMed | Europe PMC
2006 | Journal Article | IST-REx-ID: 13430
Fialkowski M, Bishop KJM, Klajn R, Smoukov SK, Campbell CJ, Grzybowski BA. Principles and implementations of dissipative (dynamic) self-assembly. The Journal of Physical Chemistry B. 2006;110(6):2482-2496. doi:10.1021/jp054153q
View
| DOI
| PubMed | Europe PMC
2006 | Journal Article | IST-REx-ID: 13428
Kalsin AM, Kowalczyk B, Smoukov SK, Klajn R, Grzybowski BA. Ionic-like behavior of oppositely charged nanoparticles. Journal of the American Chemical Society. 2006;128(47):15046-15047. doi:10.1021/ja0642966
View
| DOI
| PubMed | Europe PMC
2006 | Journal Article | IST-REx-ID: 13429
Bishop KJM, Klajn R, Grzybowski BA. The core and most useful molecules in organic chemistry. Angewandte Chemie International Edition. 2006;45(32):5348-5354. doi:10.1002/anie.200600881
View
| DOI
| PubMed | Europe PMC