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.
2201 Publications
1995 | Published | Conference Paper | IST-REx-ID: 3551
Measuring proteins and voids in proteins
H. Edelsbrunner, M. Facello, P. Fu, J. Liang, in:, Proceedings of the 28th Annual Hawaii International Conference on System Sciences, IEEE, 1995, pp. 256–264.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, M. Facello, P. Fu, J. Liang, in:, Proceedings of the 28th Annual Hawaii International Conference on System Sciences, IEEE, 1995, pp. 256–264.
1995 | Published | Conference Paper | IST-REx-ID: 3552
Alpha shapes: definition and software
N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. Mücke, C. Varela, in:, Elsevier, 1995, pp. 63–66.
View
| Download None (ext.)
N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. Mücke, C. Varela, in:, Elsevier, 1995, pp. 63–66.
1995 | Published | Journal Article | IST-REx-ID: 3639
A general model for the evolution of recombination
N.H. Barton, Genetical Research 65 (1995) 123–144.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
N.H. Barton, Genetical Research 65 (1995) 123–144.
1995 | Published | Journal Article | IST-REx-ID: 4028 | 
The union of balls and its dual shape
H. Edelsbrunner, Discrete & Computational Geometry 13 (1995) 415–440.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Edelsbrunner, Discrete & Computational Geometry 13 (1995) 415–440.
1995 | Published | Journal Article | IST-REx-ID: 4029
An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere
C. Delfinado, H. Edelsbrunner, Computer Aided Geometric Design 12 (1995) 771–784.
View
| DOI
| Download None (ext.)
C. Delfinado, H. Edelsbrunner, Computer Aided Geometric Design 12 (1995) 771–784.
1995 | Published | Conference Paper | IST-REx-ID: 4518
Hybrid automata with finite bisimulations
T.A. Henzinger, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 324–335.
View
| DOI
T.A. Henzinger, in:, 22nd International Colloquium on Automata, Languages and Programming , Springer, 1995, pp. 324–335.
1994 | Published | Journal Article | IST-REx-ID: 2489
Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 150–160.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
C. Akazawa, R. Shigemoto, Y. Bessho, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 347 (1994) 150–160.
1994 | Published | Journal Article | IST-REx-ID: 2490
Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system
Y. Sugimoto, R. Shigemoto, T. Namba, M. Negishi, N. Mizuno, S. Narumiya, A. Ichikawa, Neuroscience 62 (1994) 919–928.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
Y. Sugimoto, R. Shigemoto, T. Namba, M. Negishi, N. Mizuno, S. Narumiya, A. Ichikawa, Neuroscience 62 (1994) 919–928.
1994 | Published | Book Chapter | IST-REx-ID: 2545
Molecular diversity of glutamate receptors and their physiological functions
S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, R. Shigemoto, in:, Experientia Supplementum, Birkhäuser, 1994, pp. 71–80.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, R. Shigemoto, in:, Experientia Supplementum, Birkhäuser, 1994, pp. 71–80.
1994 | Published | Journal Article | IST-REx-ID: 2552
Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat
R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, N. Mizuno, Neuroscience Letters 166 (1994) 135–138.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, N. Mizuno, Neuroscience Letters 166 (1994) 135–138.
1994 | Published | Journal Article | IST-REx-ID: 2555
Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells
R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, T. Hirano, Neuron 12 (1994) 1245–1255.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, T. Hirano, Neuron 12 (1994) 1245–1255.
1994 | Published | Journal Article | IST-REx-ID: 2557
Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex
H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, N. Mizuno, Neuron 13 (1994) 55–66.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, N. Mizuno, Neuron 13 (1994) 55–66.
1994 | Published | Journal Article | IST-REx-ID: 2713
Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator
L. Erdös, Duke Mathematical Journal 76 (1994) 541–566.
View
| DOI
| Download None (ext.)
L. Erdös, Duke Mathematical Journal 76 (1994) 541–566.
1994 | Published | Conference Paper | IST-REx-ID: 4420
Proving safety properties of hybrid systems
A. Kapur, T.A. Henzinger, Z. Manna, A. Pnueli, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 431–454.
View
| DOI
| Download None (ext.)
A. Kapur, T.A. Henzinger, Z. Manna, A. Pnueli, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 431–454.
1994 | Published | Conference Paper | IST-REx-ID: 4440
Verification methods for the divergent runs of clock systems
T.A. Henzinger, P. Kopke, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 351–372.
View
| DOI
| Download None (ext.)
T.A. Henzinger, P. Kopke, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 351–372.
1994 | Published | Conference Paper | IST-REx-ID: 4615
A determinizable class of timed automata
R. Alur, L. Fix, T.A. Henzinger, in:, International Conference on Computer Aided Verification, Springer, 1994, pp. 1–13.
View
| DOI
| Download None (ext.)
R. Alur, L. Fix, T.A. Henzinger, in:, International Conference on Computer Aided Verification, Springer, 1994, pp. 1–13.
1994 | Published | Conference Paper | IST-REx-ID: 4617
The algorithmic analysis of hybrid systems
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, in:, 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, Springer, 1994, pp. 331–351.
View
| DOI
| Download None (ext.)
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, in:, 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, Springer, 1994, pp. 331–351.
1994 | Published | Journal Article | IST-REx-ID: 3475 |
Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus
D. Koh, P.M. Jonas, W. Vogel, Journal of Physiology 479 (1994) 183–197.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Koh, P.M. Jonas, W. Vogel, Journal of Physiology 479 (1994) 183–197.
1994 | Published | Journal Article | IST-REx-ID: 3477
Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression
P.M. Jonas, C. Racca, B. Sakmann, P. Seeburg, H. Monyer, Neuron 12 (1994) 1281–1289.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
P.M. Jonas, C. Racca, B. Sakmann, P. Seeburg, H. Monyer, Neuron 12 (1994) 1281–1289.
1994 | Published | Journal Article | IST-REx-ID: 4032
Counting triangle crossings and halving planes
T. Dey, H. Edelsbrunner, Discrete & Computational Geometry 12 (1994) 281–289.
View
| DOI
| Download None (ext.)
T. Dey, H. Edelsbrunner, Discrete & Computational Geometry 12 (1994) 281–289.