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.

6065 Publications


2005 | Conference Paper | IST-REx-ID: 4579
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2005. Checking memory safety with BLAST. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 3442. 2–18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro L, Henzinger TA. 2005. Interface-based design. Engineering Theories of Software Intensive Systems, NATO Science Series: Mathematics, Physics, and Chemistry, vol. 195. 83–104.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2005. Model checking discounted temporal properties. Theoretical Computer Science. 345(1), 139–170.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 575
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. 2005. Counterfactual quantum computation. QELS: Quantum Electronics and Laser Science, QELS, vol. 1. 365–367.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 6153
de Bono M, Villu Maricq A. 2005. Neuronal substrates of complex behaviors in C. elegans. Annual Review of Neuroscience. 28, 451–501.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 6154
Cheung BHH, Cohen M, Rogers C, Albayram O, de Bono M. 2005. Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. 15(10), 905–917.
View | DOI | PubMed | Europe PMC
 

2005 | Book Review | IST-REx-ID: 2647
Luján R, Shigemoto R, López Bendito G. 2005. Glutamate and GABA receptor signalling in the developing brain. Neuroscience. 130(3), 567–580.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2648
Luján R, Albasanz J, Shigemoto R, Juíz J. 2005. Preferential localization of the hyperpolarization-activated cyclic nucleotide-gated cation channel subunit HCN1 in basket cell terminals of the rat cerebellum. European Journal of Neuroscience. 21(8), 2073–2082.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2649
Tanaka J, Matsuzaki M, Tarusawa E, Momiyama A, Molnár E, Kasai H, Shigemoto R. 2005. Number and density of AMPA receptors in single synapses in immature cerebellum. Journal of Neuroscience. 25(4), 799–807.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2650
Nyíri G, Szabadits E, Cserép C, Mackie K, Shigemoto R, Freund T. 2005. GABAB and CB1 cannabinoid receptor expression identifies two types of septal cholinergic neurons. European Journal of Neuroscience. 21(11), 3034–3042.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2651
Kanbara K, Okamoto K, Nomura S, Kaneko T, Shigemoto R, Azuma H, Katsuoka Y, Watanabe M. 2005. Cellular localization of GABA and GABAB receptor subunit proteins during spermiogenesis in rat testis. Journal of Andrology. 26(4), 485–493.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2652
Price C, Cauli B, Kovács E, Kulik Á, Lambolez B, Shigemoto R, Capogna M. 2005. Neurogliaform neurons form a novel inhibitory network in the hippocampal CA1 area. Journal of Neuroscience. 25(29), 6775–6786.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2653
Hagiwara A, Fukazawa Y, Deguchi Tawarada M, Ohtsuka T, Shigemoto R. 2005. Differential distribution of release-related proteins in the hippocampal CA3 area as revealed by freeze-fracture replica labeling. Journal of Comparative Neurology. 489(2), 195–216.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2654
Ferraguti F, Klausberger T, Cobden P, Baude A, Roberts J, Szűcs P, Kinoshita A, Shigemoto R, Somogyi P, Dalezios Y. 2005. Metabotropic glutamate receptor 8-expressing nerve terminals target subsets of GABAergic neurons in the hippocampus. Journal of Neuroscience. 25(45), 10520–10536.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2655
Wu Y, Kawakami R, Shinohara Y, Fukaya M, Sakimura K, Mishina M, Watanabe M, Ito I, Shigemoto R. 2005. Target-cell-specific left-right asymmetry of NMDA receptor content in Schaffer collateral synapses in ε1/NR2A knock-out mice. Journal of Neuroscience. 25(40), 9213–9226.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2656
Feng Y, Li Y, Wang W, Wu S, Chen T, Shigemoto R, Mizuno N. 2005. Morphological evidence for GABA/glycine-cocontaining terminals in synaptic contact with neurokinin-1 receptor-expressing neurons in the sacral dorsal commissural nucleus of the rat. Neuroscience Letters. 388(3), 144–148.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2658
Kaneda K, Tachibana Y, Imanishi M, Kita H, Shigemoto R, Nambu A, Takada M. 2005. Down-regulation of metabotropic glutamate receptor 1α in globus pallidus and substantia nigra of parkinsonian monkeys. European Journal of Neuroscience. 22(12), 3241–3254.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2743
Erdös L, Hasler D, Solovej J. 2005. Existence of the D0-D4 bound state: A detailed proof. Annales Henri Poincare. 6(2), 247–267.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2744
Eng D, Erdös L. 2005. The linear Boltzmann equation as the low density limit of a random Schrödinger equation. Reviews in Mathematical Physics. 17(6), 669–743.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2788
Hof B, Van Doorne C, Westerweel J, Nieuwstadt F. 2005. Turbulence regeneration in pipe flow at moderate reynolds numbers. Physical Review Letters. 95(21).
View | DOI
 

Search

Filter Publications