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.
725 Publications
2002 | Conference Paper | IST-REx-ID: 4631
Timed interfaces
L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 108–122.
View
| DOI
L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 108–122.
2002 | Journal Article | IST-REx-ID: 4259 | 
Associations between cytoplasmic and nuclear loci in hybridizing populations
M. Orive, N.H. Barton, Genetics 162 (2002) 1469–1485.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Orive, N.H. Barton, Genetics 162 (2002) 1469–1485.
2002 | Journal Article | IST-REx-ID: 3801 |
Presynaptic short-term depression is maintained during regulation of transmitter release at a GABAergic synapse in rat hippocampus
S. Hefft, U. Kraushaar, J. Geiger, P.M. Jonas, Journal of Physiology 539 (2002) 201–8.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Hefft, U. Kraushaar, J. Geiger, P.M. Jonas, Journal of Physiology 539 (2002) 201–8.
2002 | Journal Article | IST-REx-ID: 3799 |
Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus
C. Lien, M. Martina, J. Schultz, H. Ehmke, P.M. Jonas, Journal of Physiology 538 (2002) 405–419.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
C. Lien, M. Martina, J. Schultz, H. Ehmke, P.M. Jonas, Journal of Physiology 538 (2002) 405–419.
2002 | Journal Article | IST-REx-ID: 2621
Subtype-specific expression of Group III metabotropic glutamate receptors and Ca2+ channels in single nerve terminals
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 47796–47803.
[Published Version]
View
| DOI
| PubMed | Europe PMC
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 47796–47803.
2002 | Journal Article | IST-REx-ID: 2614 |
The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [Ca2+]c and cAMP. Evidence for a strong reduction of Ca2+ entry in single nerve terminals
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 14092–14101.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 14092–14101.
2002 | Journal Article | IST-REx-ID: 2619
Enrichment of mGluR7a in the Presynaptic active zones of GABAergic and Non-GABAergic terminals on interneurons in the rat somatosensory cortex
Y. Dalezios, R. Luján, R. Shigemoto, J. Roberts, P. Somogyi, Cerebral Cortex 12 (2002) 961–974.
View
| DOI
| PubMed | Europe PMC
Y. Dalezios, R. Luján, R. Shigemoto, J. Roberts, P. Somogyi, Cerebral Cortex 12 (2002) 961–974.
2002 | Journal Article | IST-REx-ID: 2618
Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum
M. Nunzi, R. Shigemoto, E. Mugnaini, Journal of Comparative Neurology 451 (2002) 189–199.
View
| DOI
| PubMed | Europe PMC
M. Nunzi, R. Shigemoto, E. Mugnaini, Journal of Comparative Neurology 451 (2002) 189–199.
2001 | Journal Article | IST-REx-ID: 9444
Requirement of CHROMOMETHYLASE3 for maintenance of CpXpG methylation
A.M. Lindroth, X. Cao, J.P. Jackson, D. Zilberman, C.M. McCallum, S. Henikoff, S.E. Jacobsen, Science 292 (2001) 2077–2080.
View
| DOI
| PubMed | Europe PMC
A.M. Lindroth, X. Cao, J.P. Jackson, D. Zilberman, C.M. McCallum, S. Henikoff, S.E. Jacobsen, Science 292 (2001) 2077–2080.
2001 | Conference Paper | IST-REx-ID: 4634
The control of synchronous systems, Part II
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.
View
| DOI
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.
2001 | Conference Paper | IST-REx-ID: 4622
Interface automata
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 8th European Software Engineering Conference, ACM, 2001, pp. 109–120.
View
| DOI
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 8th European Software Engineering Conference, ACM, 2001, pp. 109–120.
2001 | Journal Article | IST-REx-ID: 4200 |
A mutation in the Gsk3-binding domain of zebrafish Masterblind/Axin1 leads to a fate transformation of telencephalon and eyes to diencephalon
C.-P.J. Heisenberg, C. Houart, M. Take Uchi, G. Rauch, N. Young, P. Coutinho, I. Masai, L. Caneparo, M. Concha, R. Geisler, T. Dale, S. Wilson, D. Stemple, Genes and Development 15 (2001) 1427–1434.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
C.-P.J. Heisenberg, C. Houart, M. Take Uchi, G. Rauch, N. Young, P. Coutinho, I. Masai, L. Caneparo, M. Concha, R. Geisler, T. Dale, S. Wilson, D. Stemple, Genes and Development 15 (2001) 1427–1434.
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: 3622
Genetic variation for preadult viability in Drosophila melanogaster
M. Gardner, K. Fowler, L. Patridge, N.H. Barton, Evolution 55 (2001) 1609–1620.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
M. Gardner, K. Fowler, L. Patridge, N.H. Barton, Evolution 55 (2001) 1609–1620.
2001 | Journal Article | IST-REx-ID: 3495
Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression
J. Jerecic, C. Schulze, P.M. Jonas, R. Sprengel, P. Seeburg, J. Bischofberger, Molecular Brain Research 94 (2001) 96–104.
View
| DOI
| PubMed | Europe PMC
J. Jerecic, C. Schulze, P.M. Jonas, R. Sprengel, P. Seeburg, J. Bischofberger, Molecular Brain Research 94 (2001) 96–104.
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: 2347 |
A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 224 (2001) 17–31.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 224 (2001) 17–31.
2001 | Journal Article | IST-REx-ID: 11755
Hyperlink analysis for the Web
M.H. Henzinger, IEEE Internet Computing 5 (2001) 45–50.
View
| DOI
| WoS
M.H. Henzinger, IEEE Internet Computing 5 (2001) 45–50.
2000 | Journal Article | IST-REx-ID: 11770 |
A comparison of techniques to find mirrored hosts on the WWW
K. Bharat, A. Broder, J. Dean, M.H. Henzinger, Journal of the American Society for Information Science 51 (2000) 1114–1122.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Bharat, A. Broder, J. Dean, M.H. Henzinger, Journal of the American Society for Information Science 51 (2000) 1114–1122.
2000 | Conference Paper | IST-REx-ID: 4637
The control of synchronous systems
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 11th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–473.
View
| DOI
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 11th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–473.