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.

197 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: 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 | 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 | 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 | 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 | 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 | 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: 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 | 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 | 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 | Journal Article | IST-REx-ID: 2657
Luján R, Shigemoto R. Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum. European Journal of Neuroscience. 2006;23(6):1479-1490. doi:10.1111/j.1460-9568.2006.04669.x
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2659
Inamura M, Itakura M, Okamoto H, et al. Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons. Neuroscience Research. 2006;55(1):45-53. doi:10.1016/j.neures.2006.01.004
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: 2661
Vigot R, Barbieri S, Bräuner Osborne H, et al. Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants. Neuron. 2006;50(4):589-601. doi:10.1016/j.neuron.2006.04.014
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2662
Kulik Á, Vida I, Fukazawa Y, et al. Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells. Journal of Neuroscience. 2006;26(16):4289-4297. doi:10.1523/JNEUROSCI.4178-05.2006
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2663
Kodama T, Itsukaichi Nishida Y, Fukazawa Y, et al. A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses. European Journal of Neuroscience. 2006;24(11):2993-3007. doi:10.1111/j.1460-9568.2006.05191.x
View | DOI
 

2006 | Book Review | IST-REx-ID: 2664
Ferraguti F, Shigemoto R. Metabotropic glutamate receptors. Cell and Tissue Research. 2006;326(2):483-504. doi:10.1007/s00441-006-0266-5
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2745
Elgart A, Erdös L, Schlein B, Yau H. Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons. Archive for Rational Mechanics and Analysis. 2006;179(2):265-283. doi:10.1007/s00205-005-0388-z
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2746
Erdös L, Salmhofer M, Yau H. Towards the quantum Brownian motion. In: Vol 690. World Scientific Publishing; 2006:233-257. doi:10.1007/3-540-34273-7_18
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: 2791
Hof B, Westerweel J, Schneider T, Eckhardt B. Finite lifetime of turbulence in shear flows. Nature. 2006;443(7107):59-62. doi:10.1038/nature05089
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: 2894
Calado D, Paixao T, Holmberg D, Haury M. Stochastic Monoallelic Expression of IL 10 in T Cells. Journal of Immunology. 2006;177(8):5358-5364. doi:10.4049/jimmunol.177.8.5358
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 2921
Kolmogorov V, Zabih R. Graph cut algorithms for binocular stereo with occlusions. In: Handbook of Mathematical Models in Computer Vision. Springer; 2006:423-427. doi:10.1007/0-387-28831-7_26
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications