Symbolic model checking for real-time systems
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, in:, Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1992, pp. 394–406.
LibreCat: https://research-explorer.ista.ac.at/record/4505
DOI: 10.1109/LICS.1992.185551

What good are digital clocks?
T.A. Henzinger, Z. Manna, A. Pnueli, in:, 19th International Colloquium on Automata, Languages and Programming, Springer, 1992, pp. 545–558.
LibreCat: https://research-explorer.ista.ac.at/record/4504
DOI: 10.1007/3-540-55719-9_103

Timed transition systems
T.A. Henzinger, Z. Manna, A. Pnueli, in:, Real Time: Theory in Practice, Springer, 1992, pp. 226–251.
LibreCat: https://research-explorer.ista.ac.at/record/4507
DOI: 10.1007/BFb0031995

Sooner Is Safer Than Later
T.A. Henzinger, Information Processing Letters 43 (1992) 135–141.
LibreCat: https://research-explorer.ista.ac.at/record/4517
DOI: 10.1016/0020-0190(92)90005-G

Logics and models of real time: A survey
R. Alur, T.A. Henzinger, in:, REX Workshop on Real Time: Theory in Practice, Springer, 1992, pp. 74–106.
LibreCat: https://research-explorer.ista.ac.at/record/4593
DOI: 10.1007/BFb0031984

Back to the future: Towards a theory of timed regular languages
R. Alur, T.A. Henzinger, in:, Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, IEEE, 1992, pp. 177–186.
LibreCat: https://research-explorer.ista.ac.at/record/4594
DOI: 10.1109/SFCS.1992.267774

Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Al] methionine enkephalinamide
S. Za0tsev, L.A. Sazanov, A. Koshkin, G. Sud’Ina, S. Varfolomeev, FEBS Letters 291 (1991) 84–86.
LibreCat: https://research-explorer.ista.ac.at/record/1946
DOI: 10.1016/0014-5793(91)81109-L
PMID: 1936255 

Molecular cloning and characterization of the rat NMDA receptor
K. Moriyoshi, M. Masu, T. Ishii, R. Shigemoto, N. Mizuno, S. Nakanishi, Nature 353 (1991) 31–37.
LibreCat: https://research-explorer.ista.ac.at/record/2483
DOI: 10.1038/354031a0
PMID: 1834949

Sequence and expression of a metabotropic glutamate receptor
M. Masu, Y. Tanabe, K. Tsuchida, R. Shigemoto, S. Nakanishi, Nature 349 (1991) 760–765.
LibreCat: https://research-explorer.ista.ac.at/record/2482
DOI: 10.1038/349760a0
PMID: 1847995 

Topographical projections from the cerebral cortex to the nucleus of the solitary tract in the cat
Y. Yasui, K. Itoh, T. Kaneko, R. Shigemoto, N. Mizuno, Experimental Brain Research 85 (1991) 75–84.
LibreCat: https://research-explorer.ista.ac.at/record/2529
DOI: 10.1007/BF00229988
PMID: 1715827

Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel
S. Nakanishi, H. Ohkubo, A. Kakizuka, Y. Yokota, R. Shigemoto, Y. Sasai, T. Takumi, in:, Recent Progress in Hormone Research, The Endocrine Society, 1991, pp. 59–83.
LibreCat: https://research-explorer.ista.ac.at/record/2530
DOI: 10.1016/b978-0-12-571146-3.50007-9
PMID: 2177908 

A hyperplane incidence problem with applications to counting distances
H. Edelsbrunner, M. Sharir, in:, Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift, American Mathematical Society, 1991, pp. 253–263.
LibreCat: https://research-explorer.ista.ac.at/record/3566

Lines in space – A collection of results
H. Edelsbrunner, in:, Discrete &; Computational Geometry: Papers from the Dimacs Special Year, Springer, 1991, pp. 77–93.
LibreCat: https://research-explorer.ista.ac.at/record/3567

A singly exponential stratification scheme for real semi-algebraic varieties and its applications
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Theoretical Computer Science 84 (1991) 77–105.
LibreCat: https://research-explorer.ista.ac.at/record/4052
DOI: 10.1016/0304-3975(91)90261-Y

A lower bound on the number of unit distances between the vertices of a convex polygon
H. Edelsbrunner, P. Hajnal, Journal of Combinatorial Theory Series A 56 (1991) 312–316.
LibreCat: https://research-explorer.ista.ac.at/record/4056
DOI: 10.1016/0097-3165(91)90042-F

On the zone theorem for hyperplane arrangements
H. Edelsbrunner, R. Seidel, M. Sharir, in:, Springer, 1991, pp. 108–123.
LibreCat: https://research-explorer.ista.ac.at/record/4054
DOI: 10.1007/BFb0038185

Computing a face in an arrangement of line segments
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Snoeyink, in:, Proceedings of the 2nd Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 1991, pp. 441–448.
LibreCat: https://research-explorer.ista.ac.at/record/4058

A quadratic time algorithm for the minmax length triangulation
H. Edelsbrunner, T. Tan, in:, 32nd Annual Symposium of Foundations of Computer Science, IEEE, 1991, pp. 414–423.
LibreCat: https://research-explorer.ista.ac.at/record/4055
DOI: 10.1109/SFCS.1991.185400

An O(n log^2 h) time algorithm for the three-dimensional convex hull problem
H. Edelsbrunner, W. Shi, SIAM Journal on Computing 20 (1991) 259–269.
LibreCat: https://research-explorer.ista.ac.at/record/4051
DOI: 10.1137/0220016 

Corrigendum
H. Edelsbrunner, Journal of Computer and System Sciences 42 (1991) 249–251.
LibreCat: https://research-explorer.ista.ac.at/record/4057
DOI: 10.1016/0022-0000(91)90013-U