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.

1608 Publications


1997 | Journal Article | IST-REx-ID: 4022
Edelsbrunner H, Valtr P, Welzl E. 1997. Cutting dense point sets in half. Discrete & Computational Geometry. 17(3), 243–255.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3485 | OA
Martina M, Jonas PM. 1997. Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus. Journal of Physiology. 505(3), 593–603.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 3486 | OA
Bischofberger J, Jonas PM. 1997. Action potential propagation into the presynaptic dendrites of rat mitral cells. Journal of Physiology. 504(Pt 2), 359–365.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 4174 | OA
Masai I, Heisenberg C-PJ, Barth KA, Macdonald R, Adamek S, Wilson S. 1997. Floating head and masterblind regulate neuronal patterning in the roof of the forebrain. Neuron. 18(1), 43–57.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 4285 | OA
Otto S, Barton NH. 1997. The evolution of recombination: Removing the limits to natural selection. Genetics. 147(2), 879–906.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1997 | Conference Paper | IST-REx-ID: 4441
Henzinger TA, Kopke P. 1997. Discrete-time control for rectangular hybrid automata. Proceedings of the 24th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 1256, 582–593.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4496
Henzinger TA, Kupferman O, Rajamani S. 1997. Fair simulation. Proceedings of the 8th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1243, 273–287.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4494
Henzinger TA, Ho P, Wong Toi H. 1997. HyTech: A model checker for hybrid systems. CAV: Computer Aided Verification, LNCS, vol. 1254, 460–463.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
Alur R, Henzinger TA. 1997. Modularity for timed and hybrid systems. 8th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1243, 74–88.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4608
Alur R, Brayton R, Henzinger TA, Qadeer S, Rajamani S. 1997. Partial-order reduction in symbolic state-space exploration. 9th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 1254, 340–351.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 11804
Henzinger MH, Telle JA. 1996. Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. 5th Scandinavian Workshop on Algorithm Theory. SWAT: Scandinavian Workshop on Algorithm Theory, LNCS, vol. 1097, 16–27.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 11910
Henzinger MH, Thorup M. 1996. Improved sampling with applications to dynamic graph algorithms. 23rd International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 1099, 290–299.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 11927 | OA
Henzinger MH, King V, Warnow T. 1996. Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. 7th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 333–340.
[Published Version] View | Files available | Download Published Version (ext.)
 

1996 | Journal Article | IST-REx-ID: 4164
Odenthal J, Rossnagel K, Haffter P, Kelsh R, Vogelsang E, Brand M, Van Eeden F, Furutani Seiki M, Granato M, Hammerschmidt M, Heisenberg C-PJ, Jiang Y, Kane D, Mullins M, Nüsslein Volhard C. 1996. Mutations affecting xanthophore pigmentation in the zebrafish, Danio rerio. Development. 123(1), 391–398.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4212
Haffter P, Granato M, Brand M, Mullins M, Hammerschmidt M, Kane D, Odenthal J, Van Eeden F, Jiang Y, Heisenberg C-PJ, Kelsh R, Furutani Seiki M, Vogelsang E, Beuchle D, Schach U, Fabian C, Nüsslein Volhard C. 1996. The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio. Development. 123(1), 1–36.
View | DOI | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4027
Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Stolfi J. 1996. Lines in space: Combinatorics and algorithms. Algorithmica. 15(5), 428–447.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4443
Henzinger TA, Kopke P. 1996. State equivalences for rectangular hybrid automata. 7th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1119, 530–545.
View | DOI | Download None (ext.)
 

1996 | Conference Paper | IST-REx-ID: 4495
Henzinger TA, Kupferman O, Vardi M. 1996. A space-efficient on-the-fly algorithm for real-time model checking. 7th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1119, 514–529.
View | DOI | Download None (ext.)
 

1996 | Conference (Editor) | IST-REx-ID: 4585
Henzinger TA, Alur R eds. 1996. 8th International Conference on Computer Aided Verification, Springer,p.
View | DOI | Download None (ext.)
 

1996 | Book (Editor) | IST-REx-ID: 4612
Alur R, Henzinger TA, Sontag ED eds. 1996. Hybrid Systems III: Verification and Control, Berlin ; Heidelberg: Springer, IX, 619p.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 11677
Henzinger MH. 1995. Fully dynamic biconnectivity in graphs. Algorithmica. 13(6), 503–538.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 11806
Henzinger MH. 1995. Approximating minimum cuts under insertions. 22nd International Colloquium on Automata, Languages and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 944, 280–291.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 11805
Henzinger MH, Poutré H. 1995. Certificates and fast algorithms for biconnectivity in fully-dynamic graphs. 3rd Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LNCS, vol. 979, 171–184.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 2465
Morris D, Friml J, Zažímalová E. 1995.Auxin transport. In: Plant Hormones: Biosynthesis, Signal Transduction, Action! , 451–484.
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 2712
Erdös L. 1995. Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals. International Conference on Partial Differential Operators and Mathematical Physics, Operator Theory: Advances and Applications, vol. 78, 127–132.
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 3478 | OA
Spruston N, Jonas PM, Sakmann B. 1995. Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons. Journal of Physiology. 482(Pt 2), 325–352.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Conference Paper | IST-REx-ID: 3551
Edelsbrunner H, Facello M, Fu P, Liang J. 1995. Measuring proteins and voids in proteins. Proceedings of the 28th Annual Hawaii International Conference on System Sciences. HICSS: Hawaii International Conference on System Sciences, 256–264.
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 3552
Akkiraju N, Edelsbrunner H, Facello M, Fu P, Mücke E, Varela C. 1995. Alpha shapes: definition and software. GCG: International Computational Geometry Software Workshop, 63–66.
View | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 3639
Barton NH. 1995. A general model for the evolution of recombination. Genetical Research. 65(2), 123–144.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 3479 | OA
Koh D, Geiger J, Jonas PM, Sakmann B. 1995. Ca(2+)-permeable AMPA and NMDA receptor channels in basket cells of rat hippocampal dentate gyrus. Journal of Physiology. 485(Pt 2), 383–402.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 3481 | OA
Koh D, Burnashev N, Jonas PM. 1995. Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. 486(Pt 2), 305–312.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 4028 | OA
Edelsbrunner H. 1995. The union of balls and its dual shape. Discrete & Computational Geometry. 13(1), 415–440.
[Published Version] View | DOI | Download Published Version (ext.)
 

1995 | Journal Article | IST-REx-ID: 4029
Delfinado C, Edelsbrunner H. 1995. An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric Design. 12(7), 771–784.
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 4297 | OA
Sites J, Barton NH, Reed K. 1995. The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico. Evolution. 49(1), 9–36.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1995 | Conference Paper | IST-REx-ID: 4450
Henzinger TA, Ho P. 1995. Algorithmic analysis of nonlinear hybrid systems. 7th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 939, 225–238.
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4448
Henzinger TA, Ho P. 1995. A note on abstract-interpretation strategies for hybrid automata. 3rd International Hybrid Systems Workshop. Hybrid Systems II, LNCS, vol. 999, 252–264.
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4447
Henzinger TA, Ho P. 1995. HyTech: The Cornell Hybrid Technology Tool. 4th International Hybrid Systems Workshop. Hybrid Systems IIILNCS, LNCS, vol. 999, 265–293.
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4497
Henzinger TA, Ho P, Wong Toi H. 1995. A user guide to HyTech. 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1019, 41–71.
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger TA, Kopke P, Wong Toi H. 1995. The expressive power of clocks. 22nd International Colloquium on Automata, Languages and Programming . ICALP: Automata, Languages and Programming, LNCS, vol. 944, 417–428.
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4518
Henzinger TA. 1995. Hybrid automata with finite bisimulations. 22nd International Colloquium on Automata, Languages and Programming . ICALP: Automata, Languages and Programming, LNCS, vol. 944, 324–335.
View | DOI | Download None (ext.)
 

1995 | Conference Paper | IST-REx-ID: 4587
Alur R, Henzinger TA. 1995. Local liveness for compositional modeling of fair reactive systems. 7th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 939, 166–179.
View | DOI | Download None (ext.)
 

1995 | Journal Article | IST-REx-ID: 6162
de Bono M, Zarkower D, Hodgkin J. 1995. Dominant feminizing mutations implicate protein-protein interactions as the main mode of regulation of the nematode sex-determining gene tra-1. Genes and Development. 9(2), 155–167.
View | DOI | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2489
Akazawa C, Shigemoto R, Bessho Y, Nakanishi S, Mizuno N. 1994. Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats. Journal of Comparative Neurology. 347(1), 150–160.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Book Chapter | IST-REx-ID: 2545
Nakanishi S, Masu M, Bessho Y, Nakajima Y, Hayashi Y, Shigemoto R. 1994.Molecular diversity of glutamate receptors and their physiological functions. In: Experientia Supplementum. vol. 71, 71–80.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2552
Ogawa Meguro R, Shigemoto R, Itoh K, Konishi A, Mizuno N. 1994. Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat. Neuroscience Letters. 166(2), 135–138.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2555
Shigemoto R, Abe T, Nomura S, Nakanishi S, Hirano T. 1994. Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells. Neuron. 12(6), 1245–1255.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2557
Ohishi H, Ogawa Meguro R, Shigemoto R, Kaneko T, Nakanishi S, Mizuno N. 1994. Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex. Neuron. 13(1), 55–66.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 3475 | OA
Koh D, Jonas PM, Vogel W. 1994. Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. Journal of Physiology. 479, 183–197.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 3477
Jonas PM, Racca C, Sakmann B, Seeburg P, Monyer H. 1994. Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression. Neuron. 12(6), 1281–1289.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 4032
Dey T, Edelsbrunner H. 1994. Counting triangle crossings and halving planes. Discrete & Computational Geometry. 12(1), 281–289.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4179 | OA
Leingärtner A, Heisenberg C-PJ, Kolbeck R, Thoenen H, Lindholm D. 1994. Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. Journal of Biological Chemistry. 269(2), 828–830.
View | DOI | Download None (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4420
Kapur A, Henzinger TA, Manna Z, Pnueli A. 1994. Proving safety properties of hybrid systems. 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol. 863, 431–454.
View | DOI | Download None (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4440
Henzinger TA, Kopke P. 1994. Verification methods for the divergent runs of clock systems. 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol. 863, 351–372.
View | DOI | Download None (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4615
Alur R, Fix L, Henzinger TA. 1994. A determinizable class of timed automata. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 818, 1–13.
View | DOI | Download None (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4617
Alur R, Courcoubetis C, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. 1994. The algorithmic analysis of hybrid systems. 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems, LNCIS, vol. 199, 331–351.
View | DOI | Download None (ext.)
 

1993 | Journal Article | IST-REx-ID: 2541
Shigemoto R, Nakaya Y, Nomura S, Ogawa Meguro R, Ohishi H, Kaneko T, Nakanishi S, Mizuno N. 1993. Immunocytochemical localization of rat substance P receptor in the striatum. Neuroscience Letters. 153(2), 157–160.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 3474 | OA
Jonas PM, Major G, Sakmann B. 1993. Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal of Physiology. 472, 615–663.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner H, Seidel R, Sharir M. 1993. On the zone theorem for hyperplane arrangements. SIAM Journal on Computing. 22(2), 418–429.
View | DOI | Download None (ext.)
 

1993 | Book Chapter | IST-REx-ID: 3452
Jonas PM. 1993.AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In: Nonselective cation channels: Pharmacology, Physiology and Biophysics. EXS, vol. 66, 61–76.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 4045
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. 1993. Diameter, width, closest line pair, and parametric searching. Discrete & Computational Geometry. 10(1), 183–196.
View | DOI | Download None (ext.)
 

1993 | Journal Article | IST-REx-ID: 4177 | OA
Lindholm D, Castrén E, Tsoulfas P, Kolbeck R, Berzaghi M, Leingärtner A, Heisenberg C-PJ, Tesarollo L, Parada L, Thoenen H. 1993. Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology. 122(2), 443–450.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 4175
Lindholm D, Dechant G, Heisenberg C-PJ, Thoenen H. 1993. Brain-derived neurotrophic factor is a survival factor for cultured rat cerebellar granule neurons and protects them against glutamate-induced neurotoxicity. European Journal of Neuroscience. 5(11), 1455–1464.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1993 | Conference Paper | IST-REx-ID: 4506
Henzinger TA, Manna Z, Pnueli A. 1993. Towards refining temporal specifications into hybrid systems. International Hybrid Systems Workshop. International Hybrid Systems Workshop, LNCS, vol. 736, 60–76.
View | DOI | Download None (ext.)
 

1993 | Conference Paper | IST-REx-ID: 4618
Alur R, Courcoubetis C, Henzinger TA, Ho P. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems. , LNCS, vol. 736, 209–229.
View | DOI | Download None (ext.)
 

1993 | Conference Paper | IST-REx-ID: 4620
Alur R, Courcoubetis C, Henzinger TA. 1993. Computing accumulated delays in real-time systems. 5th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 697, 181–193.
View | DOI | Download None (ext.)
 

1992 | Journal Article | IST-REx-ID: 2533 | OA
Abe T, Sugihara H, Nawa H, Shigemoto R, Mizuno N, Nakanishi S. 1992. Molecular characterization of a novel metabotropic glutamate receptor mGluR5 coupled to inositol phosphate/Ca2+ signal transduction. Journal of Biological Chemistry. 267(19), 13361–13368.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1992 | Journal Article | IST-REx-ID: 2535 | OA
Sasai Y, Kageyama R, Tagawa Y, Shigemoto R, Nakanishi S. 1992. Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split. Genes and Development. 6(12 B), 2620–2634.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1992 | Journal Article | IST-REx-ID: 2532
Nishioka T, Oda Y, Seino Y, Yamamoto T, Inagaki N, Yano H, Imura H, Shigemoto R, Kikuchi H. 1992. Distribution of the glucose transporters in human brain tumors. Cancer Research. 52(14), 3972–3979.
View | Download None (ext.) | PubMed | Europe PMC
 

1992 | Journal Article | IST-REx-ID: 3470 | OA
Jonas PM, Sakmann B. 1992. Glutamate receptor channels in isolated patches from CA1 and CA3 pyramidal cells of rat hippocampal slices. Journal of Physiology. 455, 143–171.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1992 | Journal Article | IST-REx-ID: 3471 | OA
Colquhoun D, Jonas PM, Sakmann B. 1992. Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices. Journal of Physiology. 458, 261–287.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1992 | Journal Article | IST-REx-ID: 4053
Aronov B, Edelsbrunner H, Guibas L, Sharir M. 1992. The number of edges of many faces in a line segment arrangement. Combinatorica. 12(3), 261–274.
View | DOI | Download None (ext.)
 

1992 | Journal Article | IST-REx-ID: 3469
Burnashev N, Khodorova A, Jonas PM, Helm P, Wisden W, Monyer H, Seeburg P, Sakmann B. 1992. Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells. Science. 256(5063), 1566–1570.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1992 | Conference Paper | IST-REx-ID: 4049
Bern M, Edelsbrunner H, Eppstein D, Mitchell S, Tan T. 1992. Edge insertion for optimal triangulations. 1st Latin American Symposium on Theoretical Informatics. LATIN: Latin American Symposium on Theoretical Informatics , LNCS, vol. 583, 46–60.
View | DOI | Download None (ext.)
 

1992 | Conference Paper | IST-REx-ID: 4504
Henzinger TA, Manna Z, Pnueli A. 1992. What good are digital clocks? 19th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 623, 545–558.
View | DOI | Download None (ext.)
 

1991 | Journal Article | IST-REx-ID: 2482
Masu M, Tanabe Y, Tsuchida K, Shigemoto R, Nakanishi S. 1991. Sequence and expression of a metabotropic glutamate receptor. Nature. 349(6312), 760–765.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1991 | Book Chapter | IST-REx-ID: 3566
Edelsbrunner H, Sharir M. 1991.A hyperplane incidence problem with applications to counting distances. In: Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 4, 253–263.
View | Download None (ext.)
 

1991 | Journal Article | IST-REx-ID: 4056 | OA
Edelsbrunner H, Hajnal P. 1991. A lower bound on the number of unit distances between the vertices of a convex polygon. Journal of Combinatorial Theory Series A. 56(2), 312–316.
[Published Version] View | DOI | Download Published Version (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4054
Edelsbrunner H, Seidel R, Sharir M. 1991. On the zone theorem for hyperplane arrangements. New Results and New Trends in Computer Science , LNCS, vol. 555, 108–123.
View | DOI | Download None (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4059
Chazelle B, Edelsbrunner H, Grigni M, Guibas L, Hershberger J, Sharir M, Snoeyink J. 1991. Ray shooting in polygons using geodesic triangulations. 18th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 510, 661–673.
View | DOI | Download None (ext.)
 

1991 | Journal Article | IST-REx-ID: 4061 | OA
Agarwal P, Edelsbrunner H, Schwarzkopf O, Welzl E. 1991. Euclidean minimum spanning trees and bichromatic closest pairs. Discrete & Computational Geometry. 6(1), 407–422.
[Published Version] View | DOI | Download Published Version (ext.)
 

1990 | Journal Article | IST-REx-ID: 3651 | OA
Barton NH. 1990. Pleiotropic models of quantitative variation. Genetics. 124(3), 773–782.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1990 | Conference Paper | IST-REx-ID: 4067
Edelsbrunner H, Sharir M. 1990. A hyperplane Incidence problem with applications to counting distances. Proceedings of the International Symposium on Algorithms. SIGAL:  Special Interest Group on Algorithms, International Symposium on Algorithms  , LNCS, vol. 450, 419–428.
View | DOI | Download None (ext.)
 

1990 | Journal Article | IST-REx-ID: 4066
Edelsbrunner H, Guibas L, Sharir M. 1990. The complexity of many cells in arrangements of planes and related problems. Discrete & Computational Geometry. 5(1), 197–216.
View | DOI | Download None (ext.)
 

1990 | Journal Article | IST-REx-ID: 4072
Edelsbrunner H, Guibas L, Sharir M. 1990. The complexity and construction of many faces in arrangements of lines and of segments. Discrete & Computational Geometry. 5(1), 161–196.
View | DOI | Download None (ext.)
 

1990 | Journal Article | IST-REx-ID: 4065
Edelsbrunner H, Robison A, Shen X. 1990. Covering convex sets with non-overlapping polygons. Discrete Mathematics. 81(2), 153–164.
View | DOI | Download None (ext.)
 

1990 | Journal Article | IST-REx-ID: 4074
Clarkson K, Edelsbrunner H, Guibas L, Sharir M, Welzl E. 1990. Combinatorial complexity bounds for arrangements of curves and spheres. Discrete & Computational Geometry. 5(1), 99–160.
View | DOI | Download None (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4076
Agarwal P, Edelsbrunner H, Schwarzkopf O, Welzl E. 1990. Euclidean minimum spanning trees and bichromatic closest pairs. Proceedings of the 6th annual symposium on Computational geometry. SCG: Symposium on Computational Geometry, 203–210.
View | DOI | Download None (ext.)
 

1990 | Conference Paper | IST-REx-ID: 4077
Aronov B, Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Wenger R. 1990. Points and triangles in the plane and halving planes in space. Proceedings of the 6th annual symposium on Computational geometry. SCG: Symposium on Computational Geometry, 112–115.
View | DOI | Download None (ext.)
 

1990 | Journal Article | IST-REx-ID: 4075
Dobkin D, Edelsbrunner H, Overmars M. 1990. Searching for empty convex polygons. Algorithmica. 5(4), 561–571.
View | DOI | Download None (ext.)
 

1990 | Book Chapter | IST-REx-ID: 4311
Barton NH, Clark A. 1990.Population structure and processes in evolution. In: Population biology: Ecological and evolutionary viewpoints. , 115–174.
View | DOI | Download None (ext.)
 

1989 | Journal Article | IST-REx-ID: 4088 | OA
Edelsbrunner H, Guibas L, Hershberger J, Seidel R, Sharir M, Snoeyink J, Welzl E. 1989. Implicitly representing arrangements of lines or segments. Discrete & Computational Geometry. 4(1), 433–466.
[Published Version] View | DOI | Download Published Version (ext.)
 

1989 | Journal Article | IST-REx-ID: 4083 | OA
Yao F, Dobkin D, Edelsbrunner H, Paterson M. 1989. Partitioning space for range queries. SIAM Journal on Computing. 18(2), 371–384.
[Published Version] View | DOI | Download Published Version (ext.)
 

1989 | Journal Article | IST-REx-ID: 4084 | OA
Edelsbrunner H, Rote G, Welzl E. 1989. Testing the necklace condition for shortest tours and optimal factors in the plane. Theoretical Computer Science. 66(2), 157–180.
[Published Version] View | DOI | Download Published Version (ext.)
 

1989 | Conference Paper | IST-REx-ID: 4087
Edelsbrunner H, Preparata F, West D. 1989. Tetrahedrizing point sets in three dimensions. International Symposium on Symbolic and Algebraic Computation. ISSAC: International Symposium on Symbolic and Algebraic Computation, LNCS, vol. 358, 315–331.
View | DOI | Download None (ext.)
 

1988 | Conference Paper | IST-REx-ID: 4097
Edelsbrunner H, Guibas L, Pach J, Pollack R, Seidel R, Sharir M. 1988. Arrangements of curves in the plane - topology, combinatorics, and algorithms. 15th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 317, 214–229.
View | DOI | Download None (ext.)
 

1988 | Conference Paper | IST-REx-ID: 4096
Edelsbrunner H. 1988. Geometric structures in computational geometry. 15th International Colloquium on Automata, Languages and Programming. ALP: Automata, Languages and Programming, LNCS, vol. 317, 201–213.
View | DOI | Download None (ext.)
 

1987 | Journal Article | IST-REx-ID: 4100
Chazelle B, Edelsbrunner H. 1987. Linear space data structures for two types of range search. Discrete & Computational Geometry. 2(1), 113–126.
View | DOI
 

1987 | Book | IST-REx-ID: 3900
Edelsbrunner H. 1987. Algorithms in Combinatorial Geometry, Berlin ; Heidelberg: Springer, XV, 423p.
View | Files available | DOI
 

1986 | Journal Article | IST-REx-ID: 3580
Edelsbrunner H. 1986. Edge-skeletons in arrangements with applications. Algorithmica. 1(1–4), 93–109.
View | DOI
 

1986 | Journal Article | IST-REx-ID: 4098 | OA
Edelsbrunner H, Stöckl G. 1986. The number of extreme pairs of finite point-sets in Euclidean spaces. Journal of Combinatorial Theory Series A. 43(2), 344–349.
View | DOI | Download None (ext.)
 

Filters and Search Terms

isbn%3D978-3-95977-087-3

Search

Filter Publications