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.

184 Publications


2006 | Book Review | IST-REx-ID: 3814
Frotscher M, Jonas PM, Sloviter R. Synapses formed by normal and abnormal hippocampal mossy fibers (Review). Cell and Tissue Research. 2006;326(2):361-367. doi:10.1007/s00441-006-0269-2
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 | 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 | 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: 4184
Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C. 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: 4235
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 | 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 | 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: 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: 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: 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: 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: 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: 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: 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: 573   OA
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual computation revisited. Quantum Physics. 2006.
View | Download (ext.)
 

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: 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: 2134
Ehresmann A, Werner L, Klumpp S, et al. Predissociation of the N+2(C 2Σ+u) state observed via C 2Σ+u → X 2Σ+g fluorescence after resonant 1s−1π* excitation of N2 molecule. Journal of Physics B: Atomic, Molecular and Optical Physics. 2006;39(6):L119-L126. doi:10.1088/0953-4075/39/6/L03
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2088
Weyrich T, Matusik W, Pfister H, et al. Analysis of human faces using a measurement-based skin reflectance model. In: ACM; 2006:1013-1024. doi:10.1145/1179352.1141987
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2090
Bickel B, Weyrich T, Matusik W, et al. Processing and editing of faces using a measurement-based skin reflectance model. In: ACM; 2006. doi:10.1145/1179849.1180059
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2660
Shaban H, Humeau Y, Herry C, et al. Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition. Nature Neuroscience. 2006;9(8):1028-1035. doi:10.1038/nn1732
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2747
Erdös L, Schlein B, Yau H. Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. Communications on Pure and Applied Mathematics. 2006;59(12):1659-1741. doi:10.1002/cpa.20123
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2792
Hof B, Van Doorne C, Westerweel J, Nieuwstadt F. Observation of nonlinear travelling waves in turbulent pipe flow. Fluid Mechanics and its Applications. 2006;78:109-114. doi:10.1007/1-4020-4159-4_11
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3005
Friml J, Benfey P, Benková E, et al. Apical-basal polarity: Why plant cells don’t stand on their heads. Trends in Plant Science. 2006;11(1):12-14. doi:10.1016/j.tplants.2005.11.010
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3012
Petrášek J, Mravec J, Bouchard R, et al. PIN proteins perform a rate-limiting function in cellular auxin efflux. Science. 2006;312(5775):914-918. doi:10.1126/science.1123542
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3017
Tanaka H, Dhonukshe P, Brewer P, Friml J. Spatiotemporal asymmetric auxin distribution: A means to coordinate plant development. Cellular and Molecular Life Sciences. 2006;63(23):2738-2754. doi:10.1007/s00018-006-6116-5
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3214
Maurer U, Oswald Y, Pietrzak KZ, Sjödin J. Luby Rackoff ciphers from weak round functions . In: Vol 4004. Springer; 2006:391-408. doi:10.1007/11761679_24
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3404
Janovjak HL, Sawhney R, Stark M, Mueller D. Atomic force microscopy. In: Techniques in Microscopy for Biomedical Applications. Vol 2. World Scientific Publishing; 2006:213-284.
View
 

2006 | Patent | IST-REx-ID: 3512
Fletcher Y, Gloth T, Edelsbrunner H, Fu P. Method, apparatus and computer products that reconstruct surfaces from data points. 2006. doi:US 7,023,432 B2
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3500
Chatterjee K, Henzinger TA, Piterman N. Algorithms for Büchi Games. In: ACM; 2006.
View | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3815
Bischofberger J, Engel D, Frotscher M, Jonas PM. Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. Pflugers Archiv : European Journal of Physiology. 2006;453(3):361-372. doi:10.1007/s00424-006-0093-2
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 | 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: 3978
Ban Y, Rudolph J, Zhou P, Edelsbrunner H. Evaluating the quality of NMR structures by local density of protons. Proteins: Structure, Function and Bioinformatics. 2006;62(4):852-864. doi:10.1002/prot.20811
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: 4173   OA
Link V, Shevchenko A, Heisenberg C. Proteomics of early zebrafish embryos. BMC Developmental Biology. 2006;6:1-9. doi:10.1186/1471-213X-6-1
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 4178
Langenberg T, Dracz T, Oates A, Heisenberg C, 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 | 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: 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: 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: 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 | 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 | Journal Article | IST-REx-ID: 574   OA
Hosten O, Kwiat P. Weak measurements and counterfactual computation. Quantum Physics. 2006.
View | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 1461   OA
Hausel T, Swartz E. Intersection forms of toric hyperkähler varieties. Proceedings of the American Mathematical Society. 2006;134(8):2403-2409. doi:10.1090/S0002-9939-06-08248-7
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 1745
Katsaros G, Rastelli A, Stoffel M, et al. Investigating the lateral motion of SiGe islands by selective chemical etching. Surface Science. 2006;600(12):2608-2613. doi:10.1016/j.susc.2006.04.027
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1961
Sazanov LA, Hinchliffe P. Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus. Science. 2006;311(5766):1430-1436. doi:10.1126/science.1123809
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed