Edelsbrunner, Herbert, and Tiow Tan. “A Quadratic Time Algorithm for the Minmax Length Triangulation.”https://doi.org/10.1137/0222036 __SIAM Journal on Computing. SIAM, 1993.https://doi.org/10.1137/0222036  .

Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Towards Refining Temporal Specifications into Hybrid Systems.”https://doi.org/10.1007/3-540-57318-6_24__In International Hybrid Systems Workshop, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:60–76. Springer, 1993.https://doi.org/10.1007/3-540-57318-6_24 .

Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.”https://doi.org/10.1109/REAL.1993.393520 __In 1993 Proceedings Real-Time Systems Symposium, 2–11. IEEE, 1993.https://doi.org/10.1109/REAL.1993.393520  .

Jonas, Peter M, and Bert Sakmann. “Glutamate Receptor Channels in Isolated Patches from C and C Pyramidal Cells of Rat Hippocampal Slices.”https://doi.org/10.1113/jphysiol.1992.sp019294 __Journal of Physiology. Wiley-Blackwell, 1992.https://doi.org/10.1113/jphysiol.1992.sp019294  .

Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Richard Pollack, Raimund Seidel, Micha Sharir, and Jack Snoeyink. “Counting and Cutting Cycles of Lines and Rods in Space.”https://doi.org/10.1016/0925-7721(92)90009-H__Computational Geometry: Theory and Applications. Elsevier, 1992.https://doi.org/10.1016/0925-7721(92)90009-H .

Bern, Marshall, Herbert Edelsbrunner, David Eppstein, Stephen Mitchell, and Tiow Tan. “Edge Insertion for Optimal Triangulations.”https://doi.org/10.1007/BFb0023816__In 1st Latin American Symposium on Theoretical Informatics, edited by Imre Simon, 583:46–60. Springer, 1992.https://doi.org/10.1007/BFb0023816 .

Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems.”https://doi.org/10.1109/LICS.1992.185551__In Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science, 394–406. IEEE, 1992.https://doi.org/10.1109/LICS.1992.185551 .

Nakanishi, Shigetada, Hiroaki Ohkubo, Akira Kakizuka, Yoshifumi Yokota, Ryuichi Shigemoto, Yoshiki Sasai, and Toru Takumi. “Molecular Characterization of Mammalian Tachykinin Receptors and a Possible Epithelial Potassium Channel.”https://doi.org/10.1016/b978-0-12-571146-3.50007-9__In Recent Progress in Hormone Research, 46:59–83. The Endocrine Society, 1991.https://doi.org/10.1016/b978-0-12-571146-3.50007-9 .

Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Jack Snoeyink. “Computing a Face in an Arrangement of Line Segments.” In Proceedings of the 2nd Annual ACM-SIAM Symposium on Discrete Algorithms, 441–48. SIAM, 1991.

Agarwal, Pankaj, Herbert Edelsbrunner, Otfried Schwarzkopf, and Emo Welzl. “Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.”https://doi.org/10.1007/BF02574698__Discrete &; Computational Geometry. Springer, 1991.https://doi.org/10.1007/BF02574698 .

Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Real-Time Systems.”https://doi.org/10.1145/99583.99629__In Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 353–66. ACM, 1991.https://doi.org/10.1145/99583.99629 .

Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing Punctuality.”https://doi.org/10.1145/227595.227602__In Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, 139–52. ACM, 1991.https://doi.org/10.1145/227595.227602 .

Edelsbrunner, Herbert, Leonidas Guibas, and Micha Sharir. “The Complexity of Many Cells in Arrangements of Planes and Related Problems.”https://doi.org/10.1007/BF02187785__Discrete &; Computational Geometry. Springer, 1990.https://doi.org/10.1007/BF02187785 .

Edelsbrunner, Herbert, Leonidas Guibas, and Micha Sharir. “The Complexity and Construction of Many Faces in Arrangements of Lines and of Segments.”https://doi.org/10.1007/BF02187784__Discrete &; Computational Geometry. Springer, 1990.https://doi.org/10.1007/BF02187784 .

Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Richard Pollack, Raimund Seidel, Micha Sharir, and Jack Snoeyink. “Counting and Cutting Cycles of Lines and Rods in Space.”https://doi.org/10.1109/FSCS.1990.89543__In 31st Annual Symposium on Foundations of Computer Science, 242–51. IEEE, 1990.https://doi.org/10.1109/FSCS.1990.89543 .

Edelsbrunner, Herbert, Tiow Tan, and Roman Waupotitsch. “An O(N^2log n) Time Algorithm for the MinMax Angle Triangulation.”https://doi.org/10.1145/98524.98535__In Proceedings of the 6th Annual Symposium on Computational Geometry, 44–52. ACM, 1990.https://doi.org/10.1145/98524.98535 .

Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, John Hershberger, Raimund Seidel, and Micha Sharir. “Slimming down by Adding; Selecting Heavily Covered Points.”https://doi.org/10.1145/98524.98551__In Proceedings of the 6th Annual Symposium on Computational Geometry, 116–27. ACM, 1990.https://doi.org/10.1145/98524.98551 .

Agarwal, Pankaj, Herbert Edelsbrunner, Otfried Schwarzkopf, and Emo Welzl. “Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.”https://doi.org/10.1145/98524.98567__In Proceedings of the 6th Annual Symposium on Computational Geometry, 203–10. ACM, 1990.https://doi.org/10.1145/98524.98567 .

Aronov, Boris, Bernard Chazelle, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Rephael Wenger. “Points and Triangles in the Plane and Halving Planes in Space.”https://doi.org/10.1145/98524.98548__In Proceedings of the 6th Annual Symposium on Computational Geometry, 112–15. ACM, 1990.https://doi.org/10.1145/98524.98548 .

Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “An Interleaving Model for Real Time.”https://doi.org/10.1109/JCIT.1990.128356__In https://doi.org/10.1109/JCIT.1990.128356__Proceedings of the 5th Jerusalem Conference on Information Technology, 717–30. IEEE, 1990.https://doi.org/10.1109/JCIT.1990.128356 .