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.

6032 Publications


2005 | Conference Paper | IST-REx-ID: 4536
Doyen L, Henzinger TA, Raskin J. 2005. Automatic rectangular refinement of affine hybrid systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 3829. 144–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee K, Henzinger TA. 2005. Semiperfect-information games. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS, vol. 3821. 1–18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee K, De Alfaro L, Henzinger TA. 2005. The complexity of stochastic Rabin and Streett games. ICALP: Automata, Languages and Programming, LNCS, vol. 3580. 878–890.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee K, Henzinger TA, Jurdziński M. 2005. Mean-payoff parity games. LICS: Logic in Computer Science 178–187.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee K, Henzinger TA, Jhala R, Majumdar R. 2005. Counterexample-guided planning. UAI: Uncertainty in Artificial Intelligence 104–111.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. 2005. Verifying quantitative properties using bound functions. CHARME: Correct Hardware Design and Verification Methods, LNCS, vol. 3725. 50–64.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Beyer D, Chakrabarti A, Henzinger TA. 2005. Web service interfaces. WWW: World Wide Web Conference 148–159.
View | DOI
 

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
 

2005 | Journal Article | IST-REx-ID: 2789
Hof B. 2005. Transition to turbulence in pipe flow. Fluid Mechanics and its Applications. 77, 221–231.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2790
Hof B, Juel A, Mullin T. 2005. Magnetohydrodynamic damping of oscillations in low-Prandtl-number convection. Journal of Fluid Mechanics. 545, 193–201.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 2867 | OA
Weijers D, Benková E, Jäger K, Schlereth A, Hamann T, Kientz M, Wilmoth J, Reed J, Jürgens G. 2005. Developmental specificity of auxin response by pairs of ARF and Aux/IAA transcriptional regulators. EMBO Journal. 24(10), 1874–1885.
View | DOI | Download (ext.)
 

2005 | Journal Article | IST-REx-ID: 2895
Carneiro J, Paixao T, Milutinovic D, Sousa J, Leon K, Gardner R, Faro J. 2005. Immunological self tolerance: Lessons from mathematical modeling. Journal of Computational and Applied Mathematics. 184(1), 77–100.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3000
Dhonukshe P, Kleine Vehn J, Friml J. 2005. Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first? Protoplasma. 226(1–2), 67–73.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
Paciorek T, Zažímalová E, Ruthardt N, Petrášek J, Stierhof Y, Kleine Vehn J, Morris D, Emans N, Jürgens G, Geldner N, Friml J. 2005. Auxin inhibits endocytosis and promotes its own efflux from cells. Nature. 435(7046), 1251–1256.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
Vieten A, Vanneste S, Wiśniewska J, Benková E, Benjamins R, Beeckman T, Luschnig C, Friml J. 2005. Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression. Development. 132(20), 4521–4531.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
Weijers D, Sauer M, Meurette O, Friml J, Ljung K, Sandberg G, Hooykaas P, Offringa R. 2005. Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis. Plant Cell. 17(9), 2517–2526.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3141
Rodal A, Sokolova O, Robins D, Daugherty K, Hippenmeyer S, Riezman H, Grigorieff N, Goode B. 2005. Conformational changes in the Arp2 3 complex leading to actin nucleation. Nature Structural and Molecular Biology. 12(1), 26–31.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3143
Hippenmeyer S, Vrieseling E, Sigrist M, Portmann T, Laengle C, Ladle D, Arber S. 2005. A developmental switch in the response of DRG neurons to ETS transcription factor signaling. PLoS Biology. 3(5), 0878–0890.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1740
Costantini G, Rastelli A, Manzano C, Acosta Diaz P, Katsaros G, Songmuang R, Schmidt O, Von Känel H, Kern K. 2005. Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems. Journal of Crystal Growth. 278(1–4), 38–45.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1741
Denker U, Rastelli A, Stoffel M, Tersoff J, Katsaros G, Costantini G, Kern K, Jin Phillipp N, Jesson D, Schmidt O. 2005. Lateral motion of SiGe islands driven by surface-mediated alloying. Physical Review Letters. 94(21).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1742
Katsaros G, Costantini G, Stoffel M, Esteban R, Bittner A, Rastelli A, Denker U, Schmidt O, Kern K. 2005. Kinetic origin of island intermixing during the growth of Ge on Si (001). Physical Review B - Condensed Matter and Materials Physics. 72(19).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1743
Zhong Z, Katsaros G, Stoffel M, Costantini G, Kern K, Schmidt O, Jin Phillipp N, Bauer G. 2005. Periodic pillar structures by Si etching of multilayer GeSi/Si islands. Applied Physics Letters. 87(26), 1–3.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1744
Katsaros G, Darwazeh I, Lane P. 2005. Non linear transmission effects in duobinary and dicode optical systems. IEE Proceedings - Optoelectronics. 152(6), 344–352.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1795
Siegert S, Thaler S, Wagner R, Schnierle B. 2005. Assessment of HIV-1 entry inhibitors by MLV/HIV-1 pseudotyped vectors. AIDS Research and Therapy. 2(1).
View | DOI
 

2005 | Journal Article | IST-REx-ID: 1962
Hinchliffe P, Sazanov LA. 2005. Biochemistry: Organization of iron-sulfur clusters in respiratory complex I. Science. 309(5735), 771–774.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 8028 | OA
Vogels TP, Abbott LF. 2005. Signal propagation and logic gating in networks of integrate-and-fire neurons. Journal of Neuroscience. 25(46), 10786–10795.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 8029
Vogels TP, Rajan K, Abbott LF. 2005. Neural network dynamics. Annual Review of Neuroscience. 28(1), 357–376.
View | DOI | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 843
Yampolsky L, Kondrashov F, Kondrashov A. 2005. Distribution of the strength of selection against amino acid replacements in human proteins. Human Molecular Genetics. 14(21), 3191–3201.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 877
Kondrashov F. 2005. The analysis of monomer sequences in protein and tRNA and the manifestation of the compensation of pathogenic deviations in their evolution. Biofizika. 50(3), 389–395.
View | Download None (ext.) | PubMed | Europe PMC
 

2005 | Journal Article | IST-REx-ID: 878
Kondrashov F. 2005. In search of the limits of evolution. Nature Genetics. 37(1), 9–10.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 880
Kondrashov F. 2005. The convergent evolution of the secondary structure of mitochondrial cysteine tRNA in the nine-banded armadillo Dasypus novemcinctus. Biofizika. 50(3), 396–403.
View | Download None (ext.) | PubMed | Europe PMC
 

Search

Filter Publications