Please note that IST 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.

6107 Publications


2006 | Journal Article | IST-REx-ID: 3979
Ban Y, Edelsbrunner H, Rudolph J. Interface surfaces for protein-protein complexes. Journal of the ACM. 2006;53(3):361-378. doi:10.1145/1147954.1147957
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3980
Agarwal P, Edelsbrunner H, Harer J, Wang Y. Extreme elevation on a 2-manifold. Discrete & Computational Geometry. 2006;36(4):553-572. doi:10.1007/s00454-006-1265-8
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: 4173 | OA
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: 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: 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: 4237
de Vladar H. Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology. 2006;238(2):245-256. doi:3802
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 | Journal Article | IST-REx-ID: 4345
Danowski P, Heller L. Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst. 2006;40(11):1250-1271. doi:424
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 4351
Bollback JP. SIMMAP: stochastic character mapping of discrete traits on phylogenies. BMC Bioinformatics. 2006;7. doi:10.1186/1471-2105-7-88
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4352
Conn J, Vineis J, Bollback JP, Onyabe D, Wilkerson R, Povoa M. Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil. The American Journal of Tropical Medicine and Hygiene. 2006;74(5):798-806.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 4359
Wies T, Kuncak V, Lam P, Podelski A, Rinard M. Field Constraint Analysis. In: Springer; 2006:157-173. doi:1551
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4373
Maler O, Nickovic D, Pnueli A. Real Time Temporal Logic: Past, Present, Future. In: Springer; 2006:2-16. doi:1571
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4374
Maler O, Nickovic D, Pnueli A. From MITL to Timed Automata. In: Springer; 2006:274-289. doi:1570
View | DOI
 

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 | Conference Paper | IST-REx-ID: 4401
Alur R, Cerny P, Zdancewic S. Preserving Secrecy Under Refinement. In: Springer; 2006:107-118. doi:1543
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: 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 | 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: 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: 4437
Henzinger TA, Piterman N. Solving games without determinization. In: Vol 4207. Springer; 2006:395-410. doi:10.1007/11874683_26
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: 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: 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 | Preprint | IST-REx-ID: 573 | OA
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual computation revisited. 2006.
View | Download Preprint (ext.) | arXiv
 

2006 | Preprint | IST-REx-ID: 574 | OA
Hosten O, Kwiat P. Weak measurements and counterfactual computation. 2006.
View | Download Preprint (ext.) | arXiv
 

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 | 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 | 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 | OA
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
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 | 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: 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 | 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: 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: 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: 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: 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: 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: 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: 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
 

Search

Filter Publications