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.

5703 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.)
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed