Please note that ISTA 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.
435 Publications
2001 | Published | Conference Paper | IST-REx-ID: 2340 | 
Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula
R. Seiringer, in:, M. Demuth, B. Schultze (Eds.), Birkhäuser, 2001, pp. 307–314.
View
| DOI
| Download None (ext.)
| arXiv
R. Seiringer, in:, M. Demuth, B. Schultze (Eds.), Birkhäuser, 2001, pp. 307–314.
2001 | Published | Journal Article | IST-REx-ID: 2605
Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum
F. Geurts, J. Timmermans, R. Shigemoto, E. De Schutter, Neuroscience 104 (2001) 499–512.
View
| DOI
| PubMed | Europe PMC
F. Geurts, J. Timmermans, R. Shigemoto, E. De Schutter, Neuroscience 104 (2001) 499–512.
2001 | Published | Journal Article | IST-REx-ID: 2611
Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin
I. Ruocco, A. Cuello, R. Shigemoto, A. Ribeiro Da Silva, Neuroscience 108 (2001) 157–166.
View
| DOI
| PubMed | Europe PMC
I. Ruocco, A. Cuello, R. Shigemoto, A. Ribeiro Da Silva, Neuroscience 108 (2001) 157–166.
2001 | Published | Conference Paper | IST-REx-ID: 4600
jMocha: A model-checking tool that exploits design structure
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, Proceedings of the 23rd International Conference on Software Engineering, IEEE, 2001, pp. 835–836.
View
| DOI
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, Proceedings of the 23rd International Conference on Software Engineering, IEEE, 2001, pp. 835–836.
2001 | Published | Journal Article | IST-REx-ID: 3928 |
Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation
M.K. Sixt, R. Hallmann, O. Wendler, K. Scharffetter Kochanek, L. Sorokin, Journal of Biological Chemistry 276 (2001) 18878–18887.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M.K. Sixt, R. Hallmann, O. Wendler, K. Scharffetter Kochanek, L. Sorokin, Journal of Biological Chemistry 276 (2001) 18878–18887.
2000 | Published | Journal Article | IST-REx-ID: 2603
Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site
H. Boudin, A. Doan, J. Xia, R. Shigemoto, R. Huganir, P. Worley, A. Craig, Neuron 28 (2000) 485–497.
View
| DOI
| PubMed | Europe PMC
H. Boudin, A. Doan, J. Xia, R. Shigemoto, R. Huganir, P. Worley, A. Craig, Neuron 28 (2000) 485–497.
2000 | Published | Journal Article | IST-REx-ID: 2731
Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation
L. Erdös, H. Yau, Communications on Pure and Applied Mathematics 53 (2000) 667–735.
[Preprint]
View
| DOI
| arXiv
L. Erdös, H. Yau, Communications on Pure and Applied Mathematics 53 (2000) 667–735.
1999 | Published | Journal Article | IST-REx-ID: 2593 |
NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord
X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, Y. De Koninck, Journal of Neuroscience 19 (1999) 3545–3555.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, Y. De Koninck, Journal of Neuroscience 19 (1999) 3545–3555.
1999 | Published | Conference Paper | IST-REx-ID: 4487
Assume-guarantee refinement between different time scales
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 11th International Conference on Computer Aided Verification, Springer, 1999, pp. 208–221.
View
| DOI
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 11th International Conference on Computer Aided Verification, Springer, 1999, pp. 208–221.
1998 | Published | Journal Article | IST-REx-ID: 2583
Substance P receptor (NK1)-immunoreactive neurons projecting to the periaqueductal gray: Distribution in the spinal trigeminal nucleus and the spinal cord of the rat
J. Li, Y. Ding, K. Xiong, J. Li, R. Shigemoto, N. Mizuno, Neuroscience Research 30 (1998) 219–225.
View
| DOI
| PubMed | Europe PMC
J. Li, Y. Ding, K. Xiong, J. Li, R. Shigemoto, N. Mizuno, Neuroscience Research 30 (1998) 219–225.
1998 | Published | Conference (Editor) | IST-REx-ID: 4430
HSCC: Hybrid Systems—Computation and Control
T.A. Henzinger, ed., HSCC: Hybrid Systems—Computation and Control, Springer, 1998.
View
| DOI
T.A. Henzinger, ed., HSCC: Hybrid Systems—Computation and Control, Springer, 1998.
1997 | Published | Journal Article | IST-REx-ID: 2576
Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat
J. Li, T. Kaneko, R. Shigemoto, N. Mizuno, Journal of Comparative Neurology 378 (1997) 508–521.
View
| DOI
| PubMed | Europe PMC
J. Li, T. Kaneko, R. Shigemoto, N. Mizuno, Journal of Comparative Neurology 378 (1997) 508–521.
1997 | Published | Journal Article | IST-REx-ID: 2578
Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord
V. Seybold, I. Grković, A. Portbury, Y. Ding, R. Shigemoto, N. Mizuno, J. Furness, B. Southwell, Journal of Comparative Neurology 381 (1997) 439–448.
View
| DOI
| PubMed | Europe PMC
V. Seybold, I. Grković, A. Portbury, Y. Ding, R. Shigemoto, N. Mizuno, J. Furness, B. Southwell, Journal of Comparative Neurology 381 (1997) 439–448.
1997 | Published | Journal Article | IST-REx-ID: 2581
Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat
T. Lee, T. Kaneko, R. Shigemoto, S. Nomura, N. Mizuno, Journal of Comparative Neurology 388 (1997) 250–264.
View
| DOI
| PubMed | Europe PMC
T. Lee, T. Kaneko, R. Shigemoto, S. Nomura, N. Mizuno, Journal of Comparative Neurology 388 (1997) 250–264.
1997 | Published | Journal Article | IST-REx-ID: 4289 |
Population genetics: A new apportionment of human diversity
N.H. Barton, Current Biology 7 (1997) 757–758.
[Published Version]
View
| DOI
| Download Published Version (ext.)
N.H. Barton, Current Biology 7 (1997) 757–758.
1997 | Published | Journal Article | IST-REx-ID: 8528
Prevalence in the space of finitely smooth maps
V. Kaloshin, Functional Analysis and Its Applications 31 (1997) 95–99.
View
| DOI
V. Kaloshin, Functional Analysis and Its Applications 31 (1997) 95–99.
1997 | Published | Journal Article | IST-REx-ID: 3484 |
Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse
J. Geiger, J. Lubke, A. Roth, M. Frotscher, P.M. Jonas, Neuron 18 (1997) 1009–1023.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
J. Geiger, J. Lubke, A. Roth, M. Frotscher, P.M. Jonas, Neuron 18 (1997) 1009–1023.
1997 | Published | Journal Article | IST-REx-ID: 3485 |
Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus
M. Martina, P.M. Jonas, Journal of Physiology 505 (1997) 593–603.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Martina, P.M. Jonas, Journal of Physiology 505 (1997) 593–603.
1997 | Published | Journal Article | IST-REx-ID: 3541
Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies
A. Bragin, J.L. Csicsvari, M. Penttonen, G. Buzsáki, Neuroscience 76 (1997) 1187–1203.
View
| DOI
| PubMed | Europe PMC
A. Bragin, J.L. Csicsvari, M. Penttonen, G. Buzsáki, Neuroscience 76 (1997) 1187–1203.
1996 | Published | Journal Article | IST-REx-ID: 2562
Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody
A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 202 (1996) 197–200.
View
| DOI
| PubMed | Europe PMC
A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 202 (1996) 197–200.