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.
6016 Publications
1994 | Journal Article | IST-REx-ID: 2554
Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells
A. Nomura, R. Shigemoto, Y. Nakamura, N. Okamoto, N. Mizuno, S. Nakanishi, Cell 77 (1994) 361–369.
View
| DOI
A. Nomura, R. Shigemoto, Y. Nakamura, N. Okamoto, N. Mizuno, S. Nakanishi, Cell 77 (1994) 361–369.
1994 | 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
R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, T. Hirano, Neuron 12 (1994) 1245–1255.
1994 | 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
H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, N. Mizuno, Neuron 13 (1994) 55–66.
1994 | 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
T. Dey, H. Edelsbrunner, Discrete & Computational Geometry 12 (1994) 281–289.
1994 | Journal Article | IST-REx-ID: 4033
Selecting heavily covered points
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, SIAM Journal on Computing 23 (1994) 1138–1151.
View
| DOI
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, SIAM Journal on Computing 23 (1994) 1138–1151.
1994 | Journal Article | IST-REx-ID: 4037
Three-dimensional alpha shapes
H. Edelsbrunner, E. Mücke, ACM Transactions on Graphics 13 (1994) 43–72.
View
| DOI
H. Edelsbrunner, E. Mücke, ACM Transactions on Graphics 13 (1994) 43–72.
1994 | Journal Article | IST-REx-ID: 4038
Algorithms for bichromatic line-segment problems and polyhedral terrains
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Algorithmica 11 (1994) 116–132.
View
| DOI
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Algorithmica 11 (1994) 116–132.
1994 | Journal Article | IST-REx-ID: 4039
Ray shooting in polygons using geodesic triangulations
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, J. Hershberger, M. Sharir, J. Snoeyink, Algorithmica 12 (1994) 54–68.
View
| DOI
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, J. Hershberger, M. Sharir, J. Snoeyink, Algorithmica 12 (1994) 54–68.
1994 | Journal Article | IST-REx-ID: 4299
Evolution of aging: Testing the theory using Drosophila
L. Partridge, N.H. Barton, Genetica 91 (1994) 89–98.
View
| DOI
L. Partridge, N.H. Barton, Genetica 91 (1994) 89–98.
1994 | Conference Paper | IST-REx-ID: 4420
Proving safety properties of hybrid systems
A. Kapur, T.A. Henzinger, Z. Manna, A. Pnueli, in:, Springer, 1994, pp. 431–454.
View
| DOI
A. Kapur, T.A. Henzinger, Z. Manna, A. Pnueli, in:, Springer, 1994, pp. 431–454.
1994 | Conference Paper | IST-REx-ID: 4440
Verification methods for the divergent runs of clock systems
T.A. Henzinger, P. Kopke, in:, Springer, 1994, pp. 351–372.
View
| DOI
T.A. Henzinger, P. Kopke, in:, Springer, 1994, pp. 351–372.
1994 | Journal Article | IST-REx-ID: 4501
Temporal proof methodologies for timed transition systems
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.
View
| DOI
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.
1994 | Journal Article | IST-REx-ID: 4503
Symbolic model checking for real-time systems
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Information and Computation 111 (1994) 193–244.
View
| DOI
| Download (ext.)
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Information and Computation 111 (1994) 193–244.
1994 | Conference Paper | IST-REx-ID: 4586
Finitary fairness
R. Alur, T.A. Henzinger, in:, IEEE, 1994, pp. 52–61.
View
| DOI
R. Alur, T.A. Henzinger, in:, IEEE, 1994, pp. 52–61.
1994 | Book Chapter | IST-REx-ID: 4590
Real-time system = discrete system + clock variables
R. Alur, T.A. Henzinger, in:, T. Rus, C. Rattray (Eds.), Theories and Experiences for Real-Time System Development, World Scientific Publishing, 1994, pp. 1–29.
View
| Download (ext.)
R. Alur, T.A. Henzinger, in:, T. Rus, C. Rattray (Eds.), Theories and Experiences for Real-Time System Development, World Scientific Publishing, 1994, pp. 1–29.
1994 | Journal Article | IST-REx-ID: 4591
A really temporal logic
R. Alur, T.A. Henzinger, Journal of the ACM 41 (1994) 181–204.
View
| DOI
| Download (ext.)
R. Alur, T.A. Henzinger, Journal of the ACM 41 (1994) 181–204.
1994 | Conference Paper | IST-REx-ID: 4614
The observational power of clocks
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–177.
View
| DOI
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–177.
1994 | Conference Paper | IST-REx-ID: 4615
A determinizable class of timed automata
R. Alur, L. Fix, T.A. Henzinger, in:, Springer, 1994, pp. 1–13.
View
| DOI
R. Alur, L. Fix, T.A. Henzinger, in:, Springer, 1994, pp. 1–13.
1994 | 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:, Springer, 1994, pp. 331–351.
View
| DOI
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, in:, Springer, 1994, pp. 331–351.
1994 | Journal Article | IST-REx-ID: 6167
Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1
D. Zarkower, M. de Bono, R. Aronoff, J. Hodgkin, Developmental Genetics 15 (1994) 240–250.
View
| DOI
| PubMed | Europe PMC
D. Zarkower, M. de Bono, R. Aronoff, J. Hodgkin, Developmental Genetics 15 (1994) 240–250.