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 | Conference Paper | IST-REx-ID: 4528
Fisher, Jasmin, and Thomas A. Henzinger. Executable Biology. IEEE, 2006, pp. 1675–82, doi:10.1109/WSC.2006.322942.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee, Krishnendu, and Thomas A. Henzinger. Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. Vol. 3884, Springer, 2006, pp. 512–23, doi:10.1007/11672142_42.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee, Krishnendu, and Thomas A. Henzinger. Finitary Winning in Omega-Regular Games. Vol. 3920, Springer, 2006, pp. 257–71, doi:10.1007/11691372_17.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee, Krishnendu, et al. Compositional Quantitative Reasoning. IEEE, 2006, pp. 179–88, doi:10.1109/QEST.2006.11.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4550
Chatterjee, Krishnendu, et al. “Games with Secure Equilibria.” Theoretical Computer Science, vol. 365, no. 1–2, Elsevier, 2006, pp. 67–82, doi:10.1016/j.tcs.2006.07.032.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee, Krishnendu, et al. Markov Decision Processes with Multiple Objectives. Vol. 3884, Springer, 2006, pp. 325–36, doi:10.1007/11672142_26.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, Krishnendu, et al. Strategy Improvement for Concurrent Reachability Games. IEEE, 2006, pp. 291–300, doi:10.1109/QEST.2006.48.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4574
Beyer, Dirk, et al. Lazy Shape Analysis. Vol. 4144, Springer, 2006, pp. 532–46, doi:10.1007/11817963_48.
View | DOI
 

2006 | Preprint | IST-REx-ID: 573 | OA
Hosten, Onur, et al. Counterfactual Computation Revisited. ArXiv, 2006.
View | Download Preprint (ext.) | arXiv
 

2006 | Preprint | IST-REx-ID: 574 | OA
Hosten, Onur, and Paul Kwiat. Weak Measurements and Counterfactual Computation. ArXiv, 2006.
View | Download Preprint (ext.) | arXiv
 

2006 | Conference Paper | IST-REx-ID: 577
Rangarajan, Radhika, et al. High-Efficiency Single-Photon Detectors. Vol. 6372, SPIE, 2006, doi:10.1117/12.686117.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 578
Peters, Nicholas, et al. Towards a Quasi-Deterministic Single-Photon Source. Vol. 6305, SPIE, 2006, doi:10.1117/12.684702.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 579
Hosten, Onur, et al. “Counterfactual Quantum Computation through Quantum Interrogation.” Nature, vol. 439, no. 7079, Nature Publishing Group, 2006, pp. 949–52, doi:10.1038/nature04523.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 583
Rangarajan, Radhika, et al. Improved Single-Photon Detection. IEEE, 2006, doi:10.1109/CLEO.2006.4628641.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 6151 | OA
Salecker, Iris, et al. “On the Axonal Road to Circuit Function and Behaviour: Workshop on the Assembly and Function of Neuronal Circuits.” EMBO Reports, vol. 7, no. 6, Wiley, 2006, pp. 585–89, doi:10.1038/sj.embor.7400713.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 6152
Rogers, Candida, et al. “Behavioral Motifs and Neural Pathways Coordinating O2 Responses and Aggregation in C. Elegans.” Current Biology, vol. 16, no. 7, Elsevier, 2006, pp. 649–59, doi:10.1016/j.cub.2006.03.023.
View | DOI | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 2657
Luján, Rafael, and Ryuichi Shigemoto. “Localization of Metabotropic GABA Receptor Subunits GABAB1 and GABAB2 Relative to Synaptic Sites in the Rat Developing Cerebellum.” European Journal of Neuroscience, vol. 23, no. 6, Wiley-Blackwell, 2006, pp. 1479–90, doi:10.1111/j.1460-9568.2006.04669.x.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2659
Inamura, Mihoko, et al. “ Differential Localization and Regulation of Stargazin-like Protein, γ-8 and Stargazin in the Plasma Membrane of Hippocampal and Cortical Neurons.” Neuroscience Research, vol. 55, no. 1, Elsevier, 2006, pp. 45–53, doi:10.1016/j.neures.2006.01.004.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2660
Shaban, Hamdy, et al. “Generalization of Amygdala LTP and Conditioned Fear in the Absence of Presynaptic Inhibition.” Nature Neuroscience, vol. 9, no. 8, Nature Publishing Group, 2006, pp. 1028–35, doi:10.1038/nn1732.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2661
Vigot, Réjan, et al. “Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants.” Neuron, vol. 50, no. 4, Elsevier, 2006, pp. 589–601, doi:10.1016/j.neuron.2006.04.014.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications