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.

81 Publications


2001 | Journal Article | IST-REx-ID: 2609
Tamaru Y, Nomura S, Mizuno N, Shigemoto R. 2001. Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites. Neuroscience. 106(3), 481–503.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2611
Ruocco I, Cuello A, Shigemoto R, Ribeiro Da Silva A. 2001. Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin. Neuroscience. 108(1), 157–166.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2736   OA
Erdös L, Yau H. 2001. Derivation of the nonlinear Schrödinger equation from a many body Coulomb system. Advances in Theoretical and Mathematical Physics. 5(6), 1169–1205.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2983
Geldner N, Friml J, Stierhof Y, Jürgens G, Palme K. 2001. Auxin transport inhibitors block PIN1 cycling and vesicle trafficking. Nature. 413(6854), 425–428.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3169
Kolmogorov V, Zabih R. 2001. Computing visual correspondence with occlusions using graph cuts. ICCV: International Conference on Computer Vision vol. 2. 508–515.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3493   OA
Jones M., Jonas PM, Sahara Y, Westbrook G. 2001. Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists. Biophysical Journal. 81(5), 2660–2670.
View | DOI | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger TA, Minea M, Prabhu V. 2001. Assume-guarantee reasoning for hierarchical hybrid systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2034. 275–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4636
De Alfaro L, Henzinger TA, Majumdar R. 2001. From verification to control: dynamic programs for omega-regular objectives. LICS: Logic in Computer Science 279–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
Alur R, De Alfaro L, Grosu R, Henzinger TA, Kang M, Kirsch C, Majumdar R, Mang F, Wang B. 2001. jMocha: A model-checking tool that exploits design structure. ICSE: Software Engineering 835–836.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 2340   OA
Seiringer R. 2001. Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. PDE: Partial Differential Equations and Spectral Theory, Operator Theory: Advances and Applications, vol. 126. 307–314.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2345   OA
Seiringer R. 2001. On the maximal ionization of atoms in strong magnetic fields. Journal of Physics A: Mathematical and General. 34(9), 1943–1948.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2605
Geurts F, Timmermans J, Shigemoto R, De Schutter E. 2001. Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum. Neuroscience. 104(2), 499–512.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2612
Li J, Shigemoto R, Kulik Á, Chen P, Nomura S, Kaneko T, Mizuno N. 2001. Immunocytochemical localization of GABAB receptors in mesencephalic trigeminal nucleus neurons in the rat. Neuroscience Letters. 315(1–2), 93–97.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
Swarup R, Friml J, Marchant A, Ljung K, Sandberg G, Palme K, Bennett M. 2001. Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex. Genes and Development. 15(20), 2648–2653.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3622
Gardner M, Fowler K, Patridge L, Barton NH. 2001. Genetic variation for preadult viability in Drosophila melanogaster. Evolution. 55(8), 1609–1620.
View | Download (ext.)
 

2001 | Patent | IST-REx-ID: 3507
Liang J, Edelsbrunner H. 2001. Molecular classification for property prediction.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3540
Hirase H, Leinekugel X, Czurkó A, Csicsvari JL, Buzsáki G. 2001. Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience. PNAS. 98(16), 9386–9390.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3494
Bartos M, Vida I, Frotscher M, Geiger J, Jonas PM. 2001. Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network. Journal of Neuroscience. 21(8), 2687–2698.
View
 

2001 | Conference Paper | IST-REx-ID: 4005
Cheng H, Dey T, Edelsbrunner H, Sullivan J. 2001. Dynamic skin triangulation. SODA: Symposium on Discrete Algorithms 47–56.
View
 

2001 | Journal Article | IST-REx-ID: 4264
Turelli M, Barton NH, Coyne J. 2001. Theory and speciation. Trends in Ecology and Evolution. 16(7), 330–343.
View | DOI
 

Filters and Search Terms

year=2001

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed