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.

6694 Publications


1992 | Journal Article | IST-REx-ID: 4517
Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing Letters. Elsevier, 1992. https://doi.org/10.1016/0020-0190(92)90005-G.
View | DOI | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4593
Alur, Rajeev, and Thomas A Henzinger. “Logics and Models of Real Time: A Survey.” In Real Time: Theory in Practice, 600:74–106. Springer, 1992. https://doi.org/10.1007/BFb0031984.
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4594
Alur, Rajeev, and Thomas A Henzinger. “Back to the Future: Towards a Theory of Timed Regular Languages,” 177–86. IEEE, 1992. https://doi.org/10.1109/SFCS.1992.267774.
View | DOI | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 3469
Burnashev, Nail, Alla Khodorova, Peter M Jonas, P. Helm, William Wisden, Hannah Monyer, Peter Seeburg, and Bert Sakmann. “Calcium-Permeable AMPA-Kainate Receptors in Fusiform Cerebellar Glial Cells.” Science. American Association for the Advancement of Science, 1992. https://doi.org/10.1126/science.1317970.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3470
Jonas, Peter M, and Bert Sakmann. “Glutamate Receptor Channels in Isolated Patches from CA1 and CA3 Pyramidal Cells of Rat Hippocampal Slices.” Journal of Physiology. Wiley-Blackwell, 1992.
View | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 3471 | OA
Colquhoun, D., Peter M Jonas, and Bert Sakmann. “Action of Brief Pulses of Glutamate on AMPA/Kainate Receptors in Patches from Different Neurones of Rat Hippocampal Slices.” Journal of Physiology. Wiley-Blackwell, 1992. https://doi.org/10.1113/jphysiol.1992.sp019417.
View | DOI | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 3472
Koh, Duk, Peter M Jonas, Michael Bräu, and Werner Vogel. “A TEA-Insensitive Flickering Potassium Channel Active around the Resting Potential in Myelinated Nerve.” Journal of Membrane Biology. Springer, 1992. https://doi.org/10.1007/BF00231893.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3581
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.” Computational Geometry: Theory and Applications. Elsevier, 1992. https://doi.org/10.1016/0925-7721(92)90009-H.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3645
Sanderson, Neil, Jacek Szymura, and Nicholas H Barton. “Variation in Mating Call across the Hybrid Zone between the Fire-Bellied Toads Bombina Bombina and B. Variegata.” Evolution. Wiley-Blackwell, 1992.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 2482
Masu, Masayuki, Yasuto Tanabe, Kunihiro Tsuchida, Ryuichi Shigemoto, and Shigetada Nakanishi. “Sequence and Expression of a Metabotropic Glutamate Receptor.” Nature. Nature Publishing Group, 1991. https://doi.org/10.1038/349760a0.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2483
Moriyoshi, Koki, Masayuki Masu, Takahiro Ishii, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Cloning and Characterization of the Rat NMDA Receptor.” Nature. Nature Publishing Group, 1991. https://doi.org/10.1038/354031a0.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2529
Yasui, Yukihiko, Kazuo Itoh, Takeshi Kaneko, Ryuichi Shigemoto, and Noboru Mizuno. “Topographical Projections from the Cerebral Cortex to the Nucleus of the Solitary Tract in the Cat.” Experimental Brain Research. Springer, 1991. https://doi.org/10.1007/BF00229988.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2530
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.” Recent Progress in Hormone Research. The Endocrine Society, 1991.
View
 

1991 | Journal Article | IST-REx-ID: 1946
Zaǐtsev, Sergei, Leonid A Sazanov, Aleksei Koshkin, Galina Sud’Ina, and Sergei Varfolomeev. “Respiratory Burst Inhibition in Human Neutrophils by Ultra-Low Doses of [D-Ala2] Methionine Enkephalinamide.” FEBS Letters. Elsevier, 1991. https://doi.org/10.1016/0014-5793(91)81109-L.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4621
Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing Punctuality,” 139–52. ACM, 1991.
View
 

1991 | Journal Article | IST-REx-ID: 4051
Edelsbrunner, Herbert, and Weiping Shi. “An O(n Log^2 h) Time Algorithm for the Three-Dimensional Convex Hull Problem.” SIAM Journal on Computing. SIAM, 1991. https://doi.org/10.1137/0220016 .
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4052
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, and Micha Sharir. “A Singly Exponential Stratification Scheme for Real Semi-Algebraic Varieties and Its Applications.” Theoretical Computer Science. Elsevier, 1991. https://doi.org/10.1016/0304-3975(91)90261-Y.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4054
Edelsbrunner, Herbert, Raimund Seidel, and Micha Sharir. “On the Zone Theorem for Hyperplane Arrangements,” 555:108–23. Springer, 1991. https://doi.org/10.1007/BFb0038185.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4055
Edelsbrunner, Herbert, and Tiow Tan. “A Quadratic Time Algorithm for the Minmax Length Triangulation,” 414–23. IEEE, 1991. https://doi.org/10.1109/SFCS.1991.185400.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4056
Edelsbrunner, Herbert, and Péter Hajnal. “A Lower Bound on the Number of Unit Distances between the Vertices of a Convex Polygon.” Journal of Combinatorial Theory Series A. Elsevier, 1991. https://doi.org/10.1016/0097-3165(91)90042-F.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4057
Edelsbrunner, Herbert. “Corrigendum.” Journal of Computer and System Sciences. Elsevier, 1991. https://doi.org/10.1016/0022-0000(91)90013-U.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4058
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Jack Snoeyink. “Computing a Face in an Arrangement of Line Segments,” 441–48. SIAM, 1991.
View
 

1991 | Conference Paper | IST-REx-ID: 4059
Chazelle, Bernard, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas Guibas, John Hershberger, Micha Sharir, and Jack Snoeyink. “Ray Shooting in Polygons Using Geodesic Triangulations,” 510:661–73. Springer, 1991. https://doi.org/10.1007/3-540-54233-7_172.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4061
Agarwal, Pankaj, Herbert Edelsbrunner, Otfried Schwarzkopf, and Emo Welzl. “Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.” Discrete & Computational Geometry. Springer, 1991. https://doi.org/10.1007/BF02574698.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4062
Aronov, Boris, Bernard Chazelle, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Rephael Wenger. “Points and Triangles in the Plane and Halving Planes in Space.” Discrete & Computational Geometry. Springer, 1991. https://doi.org/10.1007/BF02574700.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4508
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Real-Time Systems,” 353–66. ACM, 1991. https://doi.org/10.1145/99583.99629.
View | DOI | Download (ext.)
 

1991 | Thesis | IST-REx-ID: 4516
Henzinger, Thomas A. “The Temporal Specification and Verification of Real-Time Systems .” Stanford University, 1991.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 4592
Alur, Rajeev, and Thomas A Henzinger. “Time for Logic.” SIGACT News. ACM, 1991.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 3468
Jonas, Peter M, Duk Koh, Knut Kampe, Markus Hermsteiner, and Werner Vogel. “ATP-Sensitive and Ca-Activated K Channels in Vertebrate Axons: Novel Links between Metabolism and Excitability.” Pflugers Archiv : European Journal of Physiology. Springer, 1991. https://doi.org/10.1007/BF00370453.
View | DOI
 

1991 | Book Chapter | IST-REx-ID: 3566
Edelsbrunner, Herbert, and Micha Sharir. “A Hyperplane Incidence Problem with Applications to Counting Distances.” In Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift, 4:253–63. American Mathematical Society, 1991.
View | Download (ext.)
 

1991 | Book Chapter | IST-REx-ID: 3567
Edelsbrunner, Herbert. “Lines in Space – A Collection of Results.” In Discrete & Computational Geometry, 6:77–93. Springer, 1991.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 3646
Szymura, Jacek, and Nicholas H Barton. “The Genetic Structure of the Hybrid Zone between the Fire-Bellied Toads Bombina Bombina and B. Variegata: Comparisons between Transects and between Loci.” Evolution. Wiley-Blackwell, 1991.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 3647
Barton, Nicholas H, and Michael Turelli. “Natural and Sexual Selection on Many Loci.” Genetics. Genetics Society of America, 1991.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 3648
Barton, Nicholas H, and Shahin Rouhani. “The Probability of Fixation of a New Karyotype in a Continuous Population.” Evolution. Wiley-Blackwell, 1991.
View | Download (ext.)
 

1990 | Journal Article | IST-REx-ID: 2480
Shigemoto, Ryuichi, Yoshifumi Yokota, Kunihiro Tsuchida, and Shigetada Nakanishi. “Cloning and Expression of a Rat Neuromedin K Receptor CDNA.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 1990.
View
 

1990 | Journal Article | IST-REx-ID: 2481
Tsuchida, Kunihiro, Ryuichi Shigemoto, Yoshifumi Yokota, and Shigetada Nakanishi. “Tissue Distribution and Quantitation of the MRNAs for Three Rat Tachykinin Receptors.” European Journal of Biochemistry. Wiley-Blackwell, 1990. https://doi.org/10.1111/j.1432-1033.1990.tb19396.x.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 2528
Sugimoto, Tetsuo, Yasuto Tanabe, Ryuichi Shigemoto, Masazumi Iwai, Toru Takumi, Hiroaki Ohkubo, and Shigetada Nakanishi. “Immunohistochemical Study of a Rat Membrane Protein Which Induces a Selective Potassium Permeation: Its Localization in the Apical Membrane Portion of Epithelial Cells.” Journal of Membrane Biology. Springer, 1990. https://doi.org/10.1007/BF01869604.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 2721
Erdös, László, and Dao Tuyen. “Ergodic Properties of the Multidimensional Rayleigh Gas with a Semipermeable Barrier.” Journal of Statistical Physics. Springer, 1990. https://doi.org/10.1007/BF01334766.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4060
Edelsbrunner, Herbert, Franco Preparata, and Douglas West. “Tetrahedrizing Point Sets in Three Dimensions.” Journal of Symbolic Computation. Elsevier, 1990. https://doi.org/10.1016/S0747-7171(08)80068-5.
View | DOI | Download (ext.)
 

1990 | Journal Article | IST-REx-ID: 4063
Edelsbrunner, Herbert, and Ernst Mücke. “Simulation of Simplicity: A Technique to Cope with Degenerate Cases in Geometric Algorithms.” ACM Transactions on Graphics. ACM, 1990. https://doi.org/10.1145/77635.77639.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4064
Edelsbrunner, Herbert, and Diane Souvaine. “Computing Least Median of Squares Regression Lines and Guided Topological Sweep.” Journal of the American Statistical Association. American Statistical Association, 1990. https://doi.org/10.1080/01621459.1990.10475313.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4065
Edelsbrunner, Herbert, Arch Robison, and Xiao Shen. “Covering Convex Sets with Non-Overlapping Polygons.” Discrete Mathematics. Elsevier, 1990. https://doi.org/10.1016/0012-365X(90)90147-A.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4066
Edelsbrunner, Herbert, Leonidas Guibas, and Micha Sharir. “The Complexity of Many Cells in Arrangements of Planes and Related Problems.” Discrete & Computational Geometry. Springer, 1990. https://doi.org/10.1007/BF02187785.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4067
Edelsbrunner, Herbert, and Micha Sharir. “A Hyperplane Incidence Problem with Applications to Counting Distances,” 450:419–28. Springer, 1990. https://doi.org/10.1007/3-540-52921-7_91.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4068
Edelsbrunner, Herbert, and Micha Sharir. “The Maximum Number of Ways to Stabn Convex Nonintersecting Sets in the Plane Is 2n−2.” Discrete & Computational Geometry. Springer, 1990. https://doi.org/ 10.1007/BF02187778.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4069
Edelsbrunner, Herbert. “An Acyclicity Theorem for Cell Complexes in d Dimension.” Combinatorica. Springer, 1990. https://doi.org/10.1007/BF02122779.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4070
Edelsbrunner, Herbert, Mark Overmars, Emo Welzl, Irith Hartman, and Jack Feldman. “Ranking Intervals under Visibility Constraints.” International Journal of Computer Mathematics. Taylor & Francis, 1990. https://doi.org/10.1080/00207169008803871.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4071
Edelsbrunner, Herbert, Tiow Tan, and Roman Waupotitsch. “An O(N^2log n) Time Algorithm for the MinMax Angle Triangulation,” 44–52. ACM, 1990. https://doi.org/10.1145/98524.98535.
View | DOI
 

1990 | Journal Article | IST-REx-ID: 4072
Edelsbrunner, Herbert, Leonidas Guibas, and Micha Sharir. “The Complexity and Construction of Many Faces in Arrangements of Lines and of Segments.” Discrete & Computational Geometry. Springer, 1990. https://doi.org/ 10.1007/BF02187784.
View | DOI
 

1990 | Conference Paper | IST-REx-ID: 4073
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,” 242–51. IEEE, 1990. https://doi.org/10.1109/FSCS.1990.89543.
View | DOI
 

Search

Filter Publications