@article{4060,
  abstract     = {This paper offers combinatorial results on extremum problems concerning the number of tetrahedra in a tetrahedrization of n points in general position in three dimensions, i.e. such that no four points are co-planar, It also presents an algorithm that in O(n log n) time constructs a tetrahedrization of a set of n points consisting of at most 3n-11 tetrahedra.},
  author       = {Edelsbrunner, Herbert and Preparata, Franco and West, Douglas},
  issn         = {1095-855X},
  journal      = {Journal of Symbolic Computation},
  number       = {3-4},
  pages        = {335 -- 347},
  publisher    = {Elsevier},
  title        = {{Tetrahedrizing point sets in three dimensions}},
  doi          = {10.1016/S0747-7171(08)80068-5},
  volume       = {10},
  year         = {1990},
}

@article{4063,
  abstract     = {This paper describes a general-purpose programming technique, called Simulation of Simplicity, that can be used to cope with degenerate input data for geometric algorithms. It relieves the programmer from the task of providing a consistent treatment for every single special case that can occur. The programs that use the technique tend to be considerably smaller and more robust than those that do not use it. We believe that this technique will become a standard tool in writing geometric software.},
  author       = {Edelsbrunner, Herbert and Mücke, Ernst},
  issn         = {1557-7368},
  journal      = {ACM Transactions on Graphics},
  number       = {1},
  pages        = {66 -- 104},
  publisher    = {ACM},
  title        = {{Simulation of simplicity: A technique to cope with degenerate cases in geometric algorithms}},
  doi          = {10.1145/77635.77639},
  volume       = {9},
  year         = {1990},
}

@article{4064,
  abstract     = {Given a set of data points pi = (xi, yi ) for 1 ≤ i ≤ n, the least median of squares regression line is a line y = ax + b for which the median of the squared residuals is a minimum over all choices of a and b. An algorithm is described that computes such a line in O(n 2) time and O(n) memory space, thus improving previous upper bounds on the problem. This algorithm is an application of a general method built on top of the topological sweep of line arrangements.},
  author       = {Edelsbrunner, Herbert and Souvaine, Diane},
  issn         = {1537-274X},
  journal      = {Journal of the American Statistical Association},
  number       = {409},
  pages        = {115 -- 119},
  publisher    = {American Statistical Association},
  title        = {{Computing least median of squares regression lines and guided topological sweep}},
  doi          = {10.1080/01621459.1990.10475313},
  volume       = {85},
  year         = {1990},
}

@article{4065,
  abstract     = {We prove that given n⩾3 convex, compact, and pairwise disjoint sets in the plane, they may be covered with n non-overlapping convex polygons with a total of not more than 6n−9 sides, and with not more than 3n−6 distinct slopes. Furthermore, we construct sets that require 6n−9 sides and 3n−6 slopes for n⩾3. The upper bound on the number of slopes implies a new bound on a recently studied transversal problem.},
  author       = {Edelsbrunner, Herbert and Robison, Arch and Shen, Xiao},
  issn         = {1872-681X},
  journal      = {Discrete Mathematics},
  number       = {2},
  pages        = {153 -- 164},
  publisher    = {Elsevier},
  title        = {{Covering convex sets with non-overlapping polygons}},
  doi          = {10.1016/0012-365X(90)90147-A},
  volume       = {81},
  year         = {1990},
}

@article{4066,
  abstract     = {We consider several problems involving points and planes in three dimensions. Our main results are: (i) The maximum number of faces boundingm distinct cells in an arrangement ofn planes isO(m 2/3 n logn +n 2); we can calculatem such cells specified by a point in each, in worst-case timeO(m 2/3 n log3 n+n 2 logn). (ii) The maximum number of incidences betweenn planes andm vertices of their arrangement isO(m 2/3 n logn+n 2), but this number is onlyO(m 3/5– n 4/5+2 +m+n logm), for any&gt;0, for any collection of points no three of which are collinear. (iii) For an arbitrary collection ofm points, we can calculate the number of incidences between them andn planes by a randomized algorithm whose expected time complexity isO((m 3/4– n 3/4+3 +m) log2 n+n logn logm) for any&gt;0. (iv) Givenm points andn planes, we can find the plane lying immediately below each point in randomized expected timeO([m 3/4– n 3/4+3 +m] log2 n+n logn logm) for any&gt;0. (v) The maximum number of facets (i.e., (d–1)-dimensional faces) boundingm distinct cells in an arrangement ofn hyperplanes ind dimensions,d&gt;3, isO(m 2/3 n d/3 logn+n d–1). This is also an upper bound for the number of incidences betweenn hyperplanes ind dimensions andm vertices of their arrangement. The combinatorial bounds in (i) and (v) and the general bound in (ii) are almost tight.},
  author       = {Edelsbrunner, Herbert and Guibas, Leonidas and Sharir, Micha},
  issn         = {1432-0444},
  journal      = {Discrete & Computational Geometry},
  number       = {1},
  pages        = {197 -- 216},
  publisher    = {Springer},
  title        = {{The complexity of many cells in arrangements of planes and related problems}},
  doi          = {10.1007/BF02187785},
  volume       = {5},
  year         = {1990},
}

@inproceedings{4067,
  abstract     = {This paper proves an O(m 2/3 n 2/3+m+n) upper bound on the number of incidences between m points and n hyperplanes in four dimensions, assuming all points lie on one side of each hyperplane and the points and hyperplanes satisfy certain natural general position conditions. This result has application to various three-dimensional combinatorial distance problems. For example, it implies the same upper bound for the number of bichromatic minimum distance pairs in a set of m blue and n red points in three-dimensional space. This improves the best previous bound for this problem.},
  author       = {Edelsbrunner, Herbert and Sharir, Micha},
  booktitle    = {Proceedings of the International Symposium on Algorithms},
  isbn         = {978-3-540-52921-7},
  location     = {Tokyo, Japan},
  pages        = {419 -- 428},
  publisher    = {Springer},
  title        = {{A hyperplane Incidence problem with applications to counting distances}},
  doi          = {10.1007/3-540-52921-7_91},
  volume       = {450},
  year         = {1990},
}

@article{4068,
  abstract     = {LetS be a collection ofn convex, closed, and pairwise nonintersecting sets in the Euclidean plane labeled from 1 ton. A pair of permutations
(i1i2in−1in)(inin−1i2i1) 
is called ageometric permutation of S if there is a line that intersects all sets ofS in this order. We prove thatS can realize at most 2n–2 geometric permutations. This upper bound is tight.},
  author       = {Edelsbrunner, Herbert and Sharir, Micha},
  issn         = {1432-0444},
  journal      = {Discrete & Computational Geometry},
  number       = {1},
  pages        = {35 -- 42},
  publisher    = {Springer},
  title        = {{The maximum number of ways to stabn convex nonintersecting sets in the plane is 2n−2}},
  doi          = {10.1007/BF02187778},
  volume       = {5},
  year         = {1990},
}

@article{4069,
  abstract     = {Let C be a cell complex in d-dimensional Euclidean space whose faces are obtained by orthogonal projection of the faces of a convex polytope in d + 1 dimensions. For example, the Delaunay triangulation of a finite point set is such a cell complex. This paper shows that the in front/behind relation defined for the faces of C with respect to any fixed viewpoint x is acyclic. This result has applications to hidden line/surface removal and other problems in computational geometry.},
  author       = {Edelsbrunner, Herbert},
  issn         = {1439-6912},
  journal      = {Combinatorica},
  number       = {3},
  pages        = {251 -- 260},
  publisher    = {Springer},
  title        = {{An acyclicity theorem for cell complexes in d dimension}},
  doi          = {10.1007/BF02122779},
  volume       = {10},
  year         = {1990},
}

@article{4070,
  abstract     = {Let S be a set of n closed intervals on the x-axis. A ranking assigns to each interval, s, a distinct rank, p(s)∊ [1, 2,…,n]. We say that s can see t if p(s)<p(t) and there is a point p∊s∩t so that p∉u for all u with p(s)<p(u)<p(t). It is shown that a ranking can be found in time O(n log n) such that each interval sees at most three other intervals. It is also shown that a ranking that minimizes the average number of endpoints visible from an interval can be computed in time O(n 5/2). The results have applications to intersection problems for intervals, as well as to channel routing problems which arise in layouts of VLSI circuits.},
  author       = {Edelsbrunner, Herbert and Overmars, Mark and Welzl, Emo and Hartman, Irith and Feldman, Jack},
  issn         = {1029-0265},
  journal      = {International Journal of Computer Mathematics},
  number       = {3-4},
  pages        = {129 -- 144},
  publisher    = {Taylor & Francis},
  title        = {{Ranking intervals under visibility constraints}},
  doi          = {10.1080/00207169008803871},
  volume       = {34},
  year         = {1990},
}

@inproceedings{4071,
  abstract     = {We show that a triangulation of a set of n points in the plane that minimizes the maximum angle can be computed in time O(n2 log n) and space O(n). In the same amount of time and space we can also handle the constrained case where edges are prescribed. The algorithm iteratively improves an arbitrary initial triangulation and is fairly easy to implement.},
  author       = {Edelsbrunner, Herbert and Tan, Tiow and Waupotitsch, Roman},
  booktitle    = {Proceedings of the 6th annual symposium on Computational geometry},
  isbn         = {978-0-89791-362-1},
  location     = {Berkley, CA, United States},
  pages        = {44 -- 52},
  publisher    = {ACM},
  title        = {{An O(n^2log n) time algorithm for the MinMax angle triangulation}},
  doi          = {10.1145/98524.98535},
  year         = {1990},
}

@article{4072,
  abstract     = {We show that the total number of edges ofm faces of an arrangement ofn lines in the plane isO(m 2/3– n 2/3+2 +n) for any&gt;0. The proof takes an algorithmic approach, that is, we describe an algorithm for the calculation of thesem faces and derive the upper bound from the analysis of the algorithm. The algorithm uses randomization and its expected time complexity isO(m 2/3– n 2/3+2 logn+n logn logm). If instead of lines we have an arrangement ofn line segments, then the maximum number of edges ofm faces isO(m 2/3– n 2/3+2 +n (n) logm) for any&gt;0, where(n) is the functional inverse of Ackermann's function. We give a (randomized) algorithm that produces these faces and takes expected timeO(m 2/3– n 2/3+2 log+n(n) log2 n logm).},
  author       = {Edelsbrunner, Herbert and Guibas, Leonidas and Sharir, Micha},
  issn         = {1432-0444},
  journal      = {Discrete & Computational Geometry},
  number       = {1},
  pages        = {161 -- 196},
  publisher    = {Springer},
  title        = {{The complexity and construction of many faces in arrangements of lines and of segments}},
  doi          = {10.1007/BF02187784},
  volume       = {5},
  year         = {1990},
}

@inproceedings{4073,
  abstract     = {A number of rendering algorithms in computer graphics sort three-dimensional objects by depth and assume that there is no cycle that makes the sorting impossible. One way to resolve the problem caused by cycles is to cut the objects into smaller pieces. The problem of estimating how many such cuts are always sufficient is addressed. A few related algorithmic and combinatorial geometry problems are considered.},
  author       = {Chazelle, Bernard and Edelsbrunner, Herbert and Guibas, Leonidas and Pollack, Richard and Seidel, Raimund and Sharir, Micha and Snoeyink, Jack},
  booktitle    = {31st Annual Symposium on Foundations of Computer Science},
  isbn         = {0-8186-2082-X},
  location     = {St. Louis, MO, United States of America},
  pages        = {242 -- 251},
  publisher    = {IEEE},
  title        = {{Counting and cutting cycles of lines and rods in space}},
  doi          = {10.1109/FSCS.1990.89543},
  year         = {1990},
}

@article{4074,
  abstract     = {We present upper and lower bounds for extremal problems defined for arrangements of lines, circles, spheres, and alike. For example, we prove that the maximum number of edges boundingm cells in an arrangement ofn lines is Θ(m 2/3 n 2/3 +n), and that it isO(m 2/3 n 2/3 β(n) +n) forn unit-circles, whereβ(n) (and laterβ(m, n)) is a function that depends on the inverse of Ackermann's function and grows extremely slowly. If we replace unit-circles by circles of arbitrary radii the upper bound goes up toO(m 3/5 n 4/5 β(n) +n). The same bounds (without theβ(n)-terms) hold for the maximum sum of degrees ofm vertices. In the case of vertex degrees in arrangements of lines and of unit-circles our bounds match previous results, but our proofs are considerably simpler than the previous ones. The maximum sum of degrees ofm vertices in an arrangement ofn spheres in three dimensions isO(m 4/7 n 9/7 β(m, n) +n 2), in general, andO(m 3/4 n 3/4 β(m, n) +n) if no three spheres intersect in a common circle. The latter bound implies that the maximum number of unit-distances amongm points in three dimensions isO(m 3/2 β(m)) which improves the best previous upper bound on this problem. Applications of our results to other distance problems are also given.},
  author       = {Clarkson, Kenneth and Edelsbrunner, Herbert and Guibas, Leonidas and Sharir, Micha and Welzl, Emo},
  issn         = {1432-0444},
  journal      = {Discrete & Computational Geometry},
  number       = {1},
  pages        = {99 -- 160},
  publisher    = {Springer},
  title        = {{Combinatorial complexity bounds for arrangements of curves and spheres}},
  doi          = {10.1007/BF02187783},
  volume       = {5},
  year         = {1990},
}

@article{4075,
  abstract     = {A key problem in computational geometry is the identification of subsets of a point set having particular properties. We study this problem for the properties of convexity and emptiness. We show that finding empty triangles is related to the problem of determining pairs of vertices that see each other in a star-shaped polygon. A linear-time algorithm for this problem which is of independent interest yields an optimal algorithm for finding all empty triangles. This result is then extended to an algorithm for finding empty convex r-gons (r&gt; 3) and for determining a largest empty convex subset. Finally, extensions to higher dimensions are mentioned.},
  author       = {Dobkin, David and Edelsbrunner, Herbert and Overmars, Mark},
  issn         = {1432-0541},
  journal      = {Algorithmica},
  number       = {4},
  pages        = {561 -- 571},
  publisher    = {Springer},
  title        = {{Searching for empty convex polygons}},
  doi          = {10.1007/BF01840404},
  volume       = {5},
  year         = {1990},
}

@inproceedings{4076,
  abstract     = {We present an algorithm to compute a Euclidean minimum spanning tree of a given set S of n points in Ed in time O(Td(N, N) logd N), where Td(n, m) is the time required to compute a bichromatic closest pair among n red and m blue points in Ed. If Td(N, N) = Ω(N1+ε), for some fixed ε &gt; 0, then the running time improves to O(Td(N, N)). Furthermore, we describe a randomized algorithm to compute a bichromatic closets pair in expected time O((nm log n log m)2/3+m log2 n + n log2 m) in E3, which yields an O(N4/3log4/3 N) expected time algorithm for computing a Euclidean minimum spanning tree of N points in E3.},
  author       = {Agarwal, Pankaj and Edelsbrunner, Herbert and Schwarzkopf, Otfried and Welzl, Emo},
  booktitle    = {Proceedings of the 6th annual symposium on Computational geometry},
  isbn         = {978-0-89791-362-1},
  location     = {Berkeley, CA, United States},
  pages        = {203 -- 210},
  publisher    = {ACM},
  title        = {{ Euclidean minimum spanning trees and bichromatic closest pairs}},
  doi          = {10.1145/98524.98567},
  year         = {1990},
}

@inproceedings{4077,
  abstract     = {We prove that for any set S of n points in the plane and n3-α triangles spanned by the points of S there exists a point (not necessarily of S) contained in at least n3-3α/(512 log25 n) of the triangles. This implies that any set of n points in three - dimensional space defines at most 6.4n8/3 log5/3 n halving planes.},
  author       = {Aronov, Boris and Chazelle, Bernard and Edelsbrunner, Herbert and Guibas, Leonidas and Sharir, Micha and Wenger, Rephael},
  booktitle    = {Proceedings of the 6th annual symposium on Computational geometry},
  isbn         = {978-0-89791-362-1},
  location     = {Berkley, CA, United States},
  pages        = {112 -- 115},
  publisher    = {ACM},
  title        = {{Points and triangles in the plane and halving planes in space}},
  doi          = {10.1145/98524.98548},
  year         = {1990},
}

@inproceedings{4078,
  abstract     = {In this paper we derived combinatorial point selection results for geometric objects defined by pairs of points. In a nutshell, the results say that if many pairs of a set of n points in some fixed dimension each define a geometric object of some type, then there is a point covered by many of these objects. Based on such a result for three-dimensional spheres we show that the combinatorial size of the Delaunay triangulation of a point set in space can be reduced by adding new points. We believe that from a practical point of view this is the most important result of this paper.},
  author       = {Chazelle, Bernard and Edelsbrunner, Herbert and Guibas, Leonidas and Hershberger, John and Seidel, Raimund and Sharir, Micha},
  booktitle    = {Proceedings of the 6th annual symposium on computational geometry},
  isbn         = {978-0-89791-362-1},
  location     = {Berkley, CA, United States},
  pages        = {116 -- 127},
  publisher    = {ACM},
  title        = {{Slimming down by adding; selecting heavily covered points}},
  doi          = {10.1145/98524.98551},
  year         = {1990},
}

@article{4310,
  author       = {Barton, Nicholas H and Jones, Steve},
  issn         = {1476-4687},
  journal      = {Nature},
  pages        = {415 -- 416},
  publisher    = {Nature Publishing Group},
  title        = {{The language of the genes}},
  doi          = {10.1038/346415a0},
  volume       = {346},
  year         = {1990},
}

@inbook{4311,
  author       = {Barton, Nicholas H and Clark, A.},
  booktitle    = {Population biology: Ecological and evolutionary viewpoints},
  editor       = {Wöhrmann, Klaus and Jain, Subodh},
  isbn         = { 978-3642744761},
  pages        = {115 -- 174},
  publisher    = {Springer},
  title        = {{Population structure and processes in evolution}},
  doi          = {10.1007/978-3-642-74474-7_5},
  year         = {1990},
}

@inproceedings{4510,
  abstract     = {The interleaving model is both adequate and sufficiently abstract to allow for the practical specification and verification of many properties of concurrent systems. We incorporate real time into this model by defining the abstract notion of a real-time transition system as a conservative extension of traditional transition systems: qualitative fairness requirements are replaced (and superseded) by quantitative lower-bound and upper-bound real-time requirements for transitions.
We present proof rules to establish lower and upper real-time bounds for response properties of real-time transition systems. This proof system can be used to verify bounded-invariance and bounded-response properties, such as timely termination of shared-variables multi-process systems, whose semantics is defined in terms of real-time transition systems.},
  author       = {Henzinger, Thomas A and Manna, Zohar and Pnueli, Amir},
  booktitle    = { Proceedings of the 5th Jerusalem Conference on Information Technology},
  isbn         = {0-8186-2078-1},
  location     = {Jerusalem, Israel},
  pages        = {717 -- 730},
  publisher    = {IEEE},
  title        = {{An interleaving model for real time}},
  doi          = {10.1109/JCIT.1990.128356},
  year         = {1990},
}

