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.

6113 Publications


2004 | Journal Article | IST-REx-ID: 2642
Ferraguti F, Cobden P, Pollard M, Cope D, Shigemoto R, Watanabe M, Somogyi P. 2004. Immunolocalization of metabotropic glutamate receptor 1α (mGluR1α) in distinct classes of interneuron in the CA1 region of the rat hippocampus. Hippocampus. 14(2), 193–215.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2643
Luján R, Shigemoto R, Kulik Á, Juíz J. 2004. Localization of the GABAB receptor 1a/b subunit relative to glutamatergic synapses in the dorsal cochlear nucleus of the rat. Journal of Comparative Neurology. 475(1), 36–46.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2644
Kogo N, Dalezios Y, Capogna M, Ferraguti F, Shigemoto R, Somogyi P. 2004. Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat. European Journal of Neuroscience. 19(10), 2727–2740.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2645
Chan S, Shigemoto R, Mercer J, Surmeier J. 2004. HCN2 and HCN1 channels govern the regularity of autonomous pacemaking and synaptic resetting in globus pallidus neurons. Journal of Neuroscience. 24(44), 9921–9932.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2646
López Bendito G, Shigemoto R, Kulik Á, Vida I, Fairén A, Luján R. 2004. Distribution of metabotropic GABA receptor subunits GABAB1a/b and GABAB2 in the rat hippocampus during prenatal and postnatal development. Hippocampus. 14(7), 836–848.
View | DOI
 

2004 | Book Review | IST-REx-ID: 2461
Sauer M, Friml J. 2004. The Matryoshka dolls of plant polarity. Development. 131(23), 5774–5775.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2741
Erdös L, Solovej J. 2004. Uniform Lieb-Thirring inequality for the three-dimensional Pauli operator with a strong non-homogeneous magnetic field. Annales Henri Poincare. 5(4), 671–741.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2742
Elgart A, Erdös L, Schlein B, Yau H. 2004. Nonlinear Hartree equation as the mean field limit of weakly coupled fermions. Journal de Mathématiques Pures et Appliquées. 83(10), 1241–1273.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2706
Erdös L, Solovej J. 2004. Magnetic Lieb-Thirring inequalities with optimal dependence on the field strength. Journal of Statistical Physics. 116(1–4), 475–506.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2707
Erdös L, Salmhofer M, Yau H. 2004. On the quantum Boltzmann equation. Journal of Statistical Physics. 116(1–4), 367–380.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2786
Hof B, Van Doorne C, Westerweel J, Nieuwstadt F, Faisst H, Eckhardt B, Wedin H, Kersweli R, Waleffe F. 2004. Experimental observation of nonlinear traveling waves in turbulent pipe flow. Science. 305(5690), 1594–1598.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2787
Hof B, Juel A, Zhao L, Henry D, Ben Hadid H, Mullin T. 2004. On the onset of oscillatory convection in molten gallium. Journal of Fluid Mechanics. 515, 391–413.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2997
Friml J, Yang X, Michniewicz M, Weijers D, Quint A, Tietz O, Benjamins R, Ouwerkerk P, Ljung K, Sandberg G, Hooykaas P, Palme K, Offringa R. 2004. A PINOID-dependent binary switch in apical-basal PIN polar targeting directs auxin efflux. Science. 306(5697), 862–865.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2998
Duroux M, Houben A, Růžička K, Friml J, Grasser K. 2004. The chromatin remodelling complex FACT associates with actively transcribed regions of the Arabidopsis genome. Plant Journal. 40(5), 660–671.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 2999
Sauer M, Friml J. 2004. In vitro culture of Arabidopsis embryos within their ovules. Plant Journal. 40(5), 835–843.
View | DOI
 

2004 | Book Review | IST-REx-ID: 3142
Hippenmeyer S, Kramer I, Arber S. 2004. Control of neuronal phenotype: What targets tell the cell bodies. Trends in Neurosciences. 27(8), 482–488.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3172
Kolmogorov V, Nguyen T, Nuval A, Spincemaille P, Prince M, Zabih R, Wang Y. 2004. Multiprocessor scheduling implementation of the simultaneous multiple volume SMV navigator method. Magnetic Resonance in Medicine. 52(2), 362–367.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3173
Kolmogorov V, Zabih R. 2004. What energy functions can be minimized via graph cuts? . IEEE Transactions on Pattern Analysis and Machine Intelligence. 26(2), 147–159.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3177
Zabih R, Kolmogorov V. 2004. Spatially coherent clustering using graph cuts. CVPR: Computer Vision and Pattern Recognition vol. 2, 437–444.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3178
Boykov Y, Kolmogorov V. 2004. An experimental comparison of min-cut/max-flow algorithms for energy minimization in vision. IEEE Transactions on Pattern Analysis and Machine Intelligence. 26(9), 1124–1137.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3179
Rother C, Kolmogorov V, Blake A. 2004. "GrabCut" - Interactive foreground extraction using iterated graph cuts . SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 23, 309–314.
View | DOI | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 3208
Maurer U, Pietrzak KZ. 2004. Composition of random systems: When two weak make one strong. TCC: Theory of Cryptography Conference, LNCS, vol. 2951, 410–427.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3419
Janovjak HL, Struckmeier J, Hubain M, Kessler M, Kedrov A, Mueller D. 2004. Probing the energy landscape of the membrane protein bacteriorhodopsin. Structure. 12(5), 871–879.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3420
Kedrov A, Ziegler C, Janovjak HL, Kühlbrandt W, Mueller D. 2004. Controlled unfolding and refolding of a single sodium/proton antiporter using atomic force microscopy. Journal of Molecular Biology. 340(5), 1143–1152.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3574
Edelsbrunner H. 2004.Biological applications of computational topology. In: Handbook of Discrete and Computational Geometry. , 1395–1412.
View | Download (ext.)
 

2004 | Book Chapter | IST-REx-ID: 3575
Edelsbrunner H, Harer J. 2004.Jacobi sets of multiple Morse functions. In: Foundations of Computational Mathematics. London Mathematical Society Lecture Note, vol. 312, 37–57.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 3587
Ulrich F, Heisenberg C-PJ. 2004.Gastrulation in zebrafish. In: Fish development and genetics : the zebrafish and medaka models. Molecular Aspects of Fish and Marine Biology, vol. 2, 39–86.
View
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee K, De Alfaro L, Henzinger TA. 2004. Trading memory for randomness. QEST: Quantitative Evaluation of Systems, 206–217.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. 2004. Stack size analysis for interrupt-driven programs. Information and Computation. 194(2), 144–174.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee K, Jurdziński M, Henzinger TA. 2004. Quantitative stochastic parity games. SODA: Symposium on Discrete Algorithms, 121–130.
View
 

2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2004. Model checking discounted temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 2988, 77–92.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4577
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2004. An eclipse plug-in for model checking. IWPC: Program Comprehension, 251–255.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4578
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. The BLAST query language for software verification. SAS: Static Analysis Symposium, LNCS, vol. 3148, 2–18.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4581
Beyer D, Chlipala A, Henzinger TA, Jhala R, Majumdar R. 2004. Generating tests from counterexamples. ICSE: Software Engineering, 326–335.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3805
Jonas PM, Bischofberger J, Fricker D, Miles R. 2004. Interneuron Diversity series: Fast in, fast out--temporal and spatial signal processing in hippocampal interneurons. Trends in Neurosciences. 27(1), 30–40.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3807 | OA
Kampa B, Clements J, Jonas PM, Stuart G. 2004. Kinetics of Mg(2+) unblock of NMDA receptors: implications for spike-timing dependent synaptic plasticity. Journal of Physiology. 556(Pt 2), 337–45.
View | DOI | Download (ext.)
 

2004 | Book Review | IST-REx-ID: 3595
Charlesworth B, Barton NH. 2004. Genome size: Does bigger mean worse? Current Biology. 14(6), R233–R235.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3614
Barton NH, Turelli M. 2004. Effects of allele frequency changes on variance components under a general model of epistasis. Evolution; International Journal of Organic Evolution. 58(10), 2111–2132.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3615
Turelli M, Barton NH. 2004. Polygenic variation maintained by balancing selection: pleiotropy, sex-dependent allelic effects and GxE interactions. Genetics. 166(2), 1053–1079.
View | DOI
 

2004 | Book Review | IST-REx-ID: 3616
Barton NH. 2004. Speciation: Why, how, where and when? Current Biology. 14(15), R603–R604.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3617
Barton NH, Etheridge A. 2004. The effect of selection on genealogies. Genetics. 166(2), 1115–1131.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3809
Schmidt Hieber C, Jonas PM, Bischofberger J. 2004. Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus. Nature. 429(6988), 184–7.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3810
Oliver D, Lien C, Soom M, Baukrowitz T, Jonas PM, Fakler B. 2004. Functional conversion between A-type and delayed rectifier K+ channels by membrane lipids. Science. 304(5668), 265–70.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3688
Ulges A, Lampert C, Breuel T. 2004. Document capture using stereo vision. DocEng: ACM Symposium on Document Engineering, 198–200.
View | DOI | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 3894
Chatterjee K, Majumdar R, Jurdziński M. 2004. On Nash equilibria in stochastic games. CSL: Computer Science Logic, LNCS , vol. 3210, 26–40.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3895
Chatterjee K, Henzinger TA, Jurdziński M. 2004. Games with secure equilibria. LICS: Logic in Computer Science, 160–169.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3918
Heinze J, Böttcher A, Cremer S. 2004. Production of winged and wingless males in the ant, Cardiocondyla minutior. Insectes Sociaux. 51(3), 275–278.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3929
Witte V, Laffert B, Rosorius O, Lischka P, Blume K, Galler G, Stilper A, Willbold D, D’Aloja P, Sixt MK, Kolanus J, Ott M, Kolanus W, Schuler G, Baur A. 2004. HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane. Molecular Cell. 13(2), 179–190.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3931
Zhang H, Baader S, Sixt MK, Kappler J, Rauch U. 2004. Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells. Journal of Histochemistry and Cytochemistry. 52(7), 915–922.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3984
Bremer P, Edelsbrunner H, Hamann B, Pascucci V. 2004. A topological hierarchy for functions on triangulated surfaces. IEEE Transactions on Visualization and Computer Graphics. 10(4), 385–396.
View | DOI
 

Search

Filter Publications