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.
506 Publications
2002 | Journal Article | IST-REx-ID: 204
Equal Sums of Two kth Powers
T.D. Browning, Journal of Number Theory 96 (2002) 293–318.
[Published Version]
View
| DOI
T.D. Browning, Journal of Number Theory 96 (2002) 293–318.
2001 | 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 | 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.
2001 | Journal Article | IST-REx-ID: 3494 |
Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network.
M. Bartos, I. Vida, M. Frotscher, J. Geiger, P.M. Jonas, Journal of Neuroscience 21 (2001) 2687–2698.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Bartos, I. Vida, M. Frotscher, J. Geiger, P.M. Jonas, Journal of Neuroscience 21 (2001) 2687–2698.
2001 | Journal Article | IST-REx-ID: 2609
Distribution of metabotropic glutamate receptor mGluR3 in the mouse CNS: Differential location relative to pre- and postsynaptic sites
Y. Tamaru, S. Nomura, N. Mizuno, R. Shigemoto, Neuroscience 106 (2001) 481–503.
View
| DOI
| PubMed | Europe PMC
Y. Tamaru, S. Nomura, N. Mizuno, R. Shigemoto, Neuroscience 106 (2001) 481–503.
2001 | Journal Article | IST-REx-ID: 2607
Bidirectional regulation of neurite elaboration by alternatively spliced metabotropic glutamate receptor 5 (mGluR5) isoforms
S. Mion, C. Corti, A. Neki, R. Shigemoto, M. Corsi, G. Fumagalli, F. Ferraguti, Molecular and Cellular Neuroscience 17 (2001) 957–972.
View
| DOI
| PubMed | Europe PMC
S. Mion, C. Corti, A. Neki, R. Shigemoto, M. Corsi, G. Fumagalli, F. Ferraguti, Molecular and Cellular Neuroscience 17 (2001) 957–972.
2001 | Journal Article | IST-REx-ID: 2345 |
On the maximal ionization of atoms in strong magnetic fields
R. Seiringer, Journal of Physics A: Mathematical and General 34 (2001) 1943–1948.
View
| DOI
| Download None (ext.)
| arXiv
R. Seiringer, Journal of Physics A: Mathematical and General 34 (2001) 1943–1948.
2001 | Journal Article | IST-REx-ID: 855
Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a 'weak'context of the start codon
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, L. Milanesi, Bioinformatics 17 (2001) 890–900.
View
| DOI
| PubMed | Europe PMC
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, L. Milanesi, Bioinformatics 17 (2001) 890–900.
2000 | Book Chapter | IST-REx-ID: 4513
The theory of hybrid automata
T.A. Henzinger, in:, M. Inan, R. Kurshan (Eds.), Verification of Digital and Hybrid Systems, Springer, 2000, pp. 265–292.
View
| DOI
T.A. Henzinger, in:, M. Inan, R. Kurshan (Eds.), Verification of Digital and Hybrid Systems, Springer, 2000, pp. 265–292.
2000 | Conference Paper | IST-REx-ID: 4439
A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34.
View
| DOI
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34.
2000 | Book Chapter | IST-REx-ID: 4275
Differentiation
N.H. Barton, in:, Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94.
View
| DOI
N.H. Barton, in:, Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94.
2000 | Journal Article | IST-REx-ID: 3542
Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events
J.L. Csicsvari, H. Hirase, A. Mamiya, G. Buzsáki, Neuron 28 (2000) 585–594.
View
| DOI
J.L. Csicsvari, H. Hirase, A. Mamiya, G. Buzsáki, Neuron 28 (2000) 585–594.
2000 | Journal Article | IST-REx-ID: 3489 |
Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse
U. Kraushaar, P.M. Jonas, Journal of Neuroscience 20 (2000) 5594–5607.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
U. Kraushaar, P.M. Jonas, Journal of Neuroscience 20 (2000) 5594–5607.
2000 | Journal Article | IST-REx-ID: 3490 |
Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels
C. Normann, D. Peckys, C. Schulze, J. Walden, P.M. Jonas, J. Bischofberger, Journal of Neuroscience 20 (2000) 8290–8297.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
C. Normann, D. Peckys, C. Schulze, J. Walden, P.M. Jonas, J. Bischofberger, Journal of Neuroscience 20 (2000) 8290–8297.
2000 | 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.
2000 | Book Chapter | IST-REx-ID: 2494
Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses
R. Shigemoto, N. Mizuno, in:, Glutamate, Elsevier, 2000, pp. 63–98.
View
| DOI
R. Shigemoto, N. Mizuno, in:, Glutamate, Elsevier, 2000, pp. 63–98.
1999 | Journal Article | IST-REx-ID: 11687
Finding related pages in the world wide Web
J. Dean, M.H. Henzinger, Computer Networks 31 (1999) 1467–1479.
View
| DOI
J. Dean, M.H. Henzinger, Computer Networks 31 (1999) 1467–1479.
1999 | Journal Article | IST-REx-ID: 2864
Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry
E. Witters, K. Vanhoutte, W. Dewitte, I. Macháčková, E. Benková, W. Van Dongen, E. Esmans, H. Van Onckelen, Phytochemical Analysis 10 (1999) 143–151.
View
| DOI
E. Witters, K. Vanhoutte, W. Dewitte, I. Macháčková, E. Benková, W. Van Dongen, E. Esmans, H. Van Onckelen, Phytochemical Analysis 10 (1999) 143–151.
1999 | Journal Article | IST-REx-ID: 2865 |
Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment
E. Benková, E. Witters, W. Van Dongen, J. Kolář, V. Motyka, B. Brzobohatý, H. Van Onckelen, I. Macháčková, Plant Physiology 121 (1999) 245–251.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E. Benková, E. Witters, W. Van Dongen, J. Kolář, V. Motyka, B. Brzobohatý, H. Van Onckelen, I. Macháčková, Plant Physiology 121 (1999) 245–251.
1999 | Book Chapter | IST-REx-ID: 3456
Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS
H. Monyer, P.M. Jonas, J. Rossier, in:, P.M. Jonas, H. Monyer (Eds.), Ionotropic Glutamate Receptors in the CNS, Springer, 1999, pp. 309–339.
View
| DOI
H. Monyer, P.M. Jonas, J. Rossier, in:, P.M. Jonas, H. Monyer (Eds.), Ionotropic Glutamate Receptors in the CNS, Springer, 1999, pp. 309–339.