[{"title":"Counting and cutting cycles of lines and rods in space","article_processing_charge":"No","author":[{"first_name":"Bernard","full_name":"Chazelle, Bernard","last_name":"Chazelle"},{"full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert"},{"last_name":"Guibas","full_name":"Guibas, Leonidas","first_name":"Leonidas"},{"first_name":"Richard","full_name":"Pollack, Richard","last_name":"Pollack"},{"full_name":"Seidel, Raimund","last_name":"Seidel","first_name":"Raimund"},{"first_name":"Micha","full_name":"Sharir, Micha","last_name":"Sharir"},{"last_name":"Snoeyink","full_name":"Snoeyink, Jack","first_name":"Jack"}],"publist_id":"2047","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","date_updated":"2022-02-17T11:07:07Z","citation":{"ama":"Chazelle B, Edelsbrunner H, Guibas L, et al. Counting and cutting cycles of lines and rods in space. In: 31st Annual Symposium on Foundations of Computer Science. IEEE; 1990:242-251. doi:10.1109/FSCS.1990.89543","apa":"Chazelle, B., Edelsbrunner, H., Guibas, L., Pollack, R., Seidel, R., Sharir, M., & Snoeyink, J. (1990). Counting and cutting cycles of lines and rods in space. In 31st Annual Symposium on Foundations of Computer Science (pp. 242–251). St. Louis, MO, United States of America: IEEE. https://doi.org/10.1109/FSCS.1990.89543","ieee":"B. Chazelle et al., “Counting and cutting cycles of lines and rods in space,” in 31st Annual Symposium on Foundations of Computer Science, St. Louis, MO, United States of America, 1990, pp. 242–251.","short":"B. Chazelle, H. Edelsbrunner, L. Guibas, R. Pollack, R. Seidel, M. Sharir, J. Snoeyink, in:, 31st Annual Symposium on Foundations of Computer Science, IEEE, 1990, pp. 242–251.","mla":"Chazelle, Bernard, et al. “Counting and Cutting Cycles of Lines and Rods in Space.” 31st Annual Symposium on Foundations of Computer Science, IEEE, 1990, pp. 242–51, doi:10.1109/FSCS.1990.89543.","ista":"Chazelle B, Edelsbrunner H, Guibas L, Pollack R, Seidel R, Sharir M, Snoeyink J. 1990. Counting and cutting cycles of lines and rods in space. 31st Annual Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science, 242–251.","chicago":"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.” In 31st Annual Symposium on Foundations of Computer Science, 242–51. IEEE, 1990. https://doi.org/10.1109/FSCS.1990.89543."},"status":"public","conference":{"name":"FOCS: Foundations of Computer Science","start_date":"1990-10-22","location":"St. Louis, MO, United States of America","end_date":"1990-10-24"},"type":"conference","_id":"4073","date_created":"2018-12-11T12:06:47Z","doi":"10.1109/FSCS.1990.89543","date_published":"1990-01-01T00:00:00Z","page":"242 - 251","language":[{"iso":"eng"}],"publication":"31st Annual Symposium on Foundations of Computer Science","day":"01","year":"1990","publication_status":"published","publication_identifier":{"isbn":["0-8186-2082-X"]},"month":"01","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/89543"}],"publisher":"IEEE","quality_controlled":"1","scopus_import":"1","oa_version":"None","abstract":[{"lang":"eng","text":"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."}]},{"extern":"1","date_updated":"2022-02-21T13:19:52Z","_id":"4070","status":"public","type":"journal_article","language":[{"iso":"eng"}],"publication_identifier":{"eissn":["1029-0265"],"issn":["0020-7160"]},"publication_status":"published","volume":34,"issue":"3-4","oa_version":"None","abstract":[{"text":"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)
International Journal of Computer Mathematics. Taylor & Francis, 1990. https://doi.org/10.1080/00207169008803871.","ista":"Edelsbrunner H, Overmars M, Welzl E, Hartman I, Feldman J. 1990. Ranking intervals under visibility constraints. International Journal of Computer Mathematics. 34(3–4), 129–144.","mla":"Edelsbrunner, Herbert, et al. “Ranking Intervals under Visibility Constraints.” International Journal of Computer Mathematics, vol. 34, no. 3–4, Taylor & Francis, 1990, pp. 129–44, doi:10.1080/00207169008803871.","short":"H. Edelsbrunner, M. Overmars, E. Welzl, I. Hartman, J. Feldman, International Journal of Computer Mathematics 34 (1990) 129–144.","ieee":"H. Edelsbrunner, M. Overmars, E. Welzl, I. Hartman, and J. Feldman, “Ranking intervals under visibility constraints,” International Journal of Computer Mathematics, vol. 34, no. 3–4. Taylor & Francis, pp. 129–144, 1990.","apa":"Edelsbrunner, H., Overmars, M., Welzl, E., Hartman, I., & Feldman, J. (1990). Ranking intervals under visibility constraints. International Journal of Computer Mathematics. Taylor & Francis. https://doi.org/10.1080/00207169008803871","ama":"Edelsbrunner H, Overmars M, Welzl E, Hartman I, Feldman J. Ranking intervals under visibility constraints. International Journal of Computer Mathematics. 1990;34(3-4):129-144. doi:10.1080/00207169008803871"},"title":"Ranking intervals under visibility constraints","publist_id":"2051","author":[{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","last_name":"Edelsbrunner","full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833"},{"last_name":"Overmars","full_name":"Overmars, Mark","first_name":"Mark"},{"first_name":"Emo","full_name":"Welzl, Emo","last_name":"Welzl"},{"last_name":"Hartman","full_name":"Hartman, Irith","first_name":"Irith"},{"first_name":"Jack","last_name":"Feldman","full_name":"Feldman, Jack"}],"article_processing_charge":"No","day":"01","publication":"International Journal of Computer Mathematics","year":"1990","doi":"10.1080/00207169008803871","date_published":"1990-01-01T00:00:00Z","date_created":"2018-12-11T12:06:46Z","page":"129 - 144","quality_controlled":"1","publisher":"Taylor & Francis"},{"page":"44 - 52","date_created":"2018-12-11T12:06:46Z","doi":"10.1145/98524.98535","date_published":"1990-01-01T00:00:00Z","year":"1990","publication_status":"published","publication_identifier":{"isbn":["978-0-89791-362-1"]},"publication":"Proceedings of the 6th annual symposium on Computational geometry","language":[{"iso":"eng"}],"day":"01","main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/98524.98535"}],"publisher":"ACM","quality_controlled":"1","month":"01","abstract":[{"lang":"eng","text":"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."}],"oa_version":"None","article_processing_charge":"No","publist_id":"2052","author":[{"last_name":"Edelsbrunner","full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert"},{"full_name":"Tan, Tiow","last_name":"Tan","first_name":"Tiow"},{"last_name":"Waupotitsch","full_name":"Waupotitsch, Roman","first_name":"Roman"}],"title":"An O(n^2log n) time algorithm for the MinMax angle triangulation","date_updated":"2022-02-22T08:56:42Z","citation":{"ieee":"H. Edelsbrunner, T. Tan, and R. Waupotitsch, “An O(n^2log n) time algorithm for the MinMax angle triangulation,” in Proceedings of the 6th annual symposium on Computational geometry, Berkley, CA, United States, 1990, pp. 44–52.","short":"H. Edelsbrunner, T. Tan, R. Waupotitsch, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 44–52.","ama":"Edelsbrunner H, Tan T, Waupotitsch R. An O(n^2log n) time algorithm for the MinMax angle triangulation. In: Proceedings of the 6th Annual Symposium on Computational Geometry. ACM; 1990:44-52. doi:10.1145/98524.98535","apa":"Edelsbrunner, H., Tan, T., & Waupotitsch, R. (1990). An O(n^2log n) time algorithm for the MinMax angle triangulation. In Proceedings of the 6th annual symposium on Computational geometry (pp. 44–52). Berkley, CA, United States: ACM. https://doi.org/10.1145/98524.98535","mla":"Edelsbrunner, Herbert, et al. “An O(N^2log n) Time Algorithm for the MinMax Angle Triangulation.” Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 44–52, doi:10.1145/98524.98535.","ista":"Edelsbrunner H, Tan T, Waupotitsch R. 1990. An O(n^2log n) time algorithm for the MinMax angle triangulation. Proceedings of the 6th annual symposium on Computational geometry. SCG: Symposium on Computational Geometry, 44–52.","chicago":"Edelsbrunner, Herbert, Tiow Tan, and Roman Waupotitsch. “An O(N^2log n) Time Algorithm for the MinMax Angle Triangulation.” In Proceedings of the 6th Annual Symposium on Computational Geometry, 44–52. ACM, 1990. https://doi.org/10.1145/98524.98535."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","conference":{"name":"SCG: Symposium on Computational Geometry","start_date":"1990-06-07","end_date":"1990-06-09","location":"Berkley, CA, United States"},"type":"conference","status":"public","_id":"4071"},{"page":"35 - 42","doi":"10.1007/BF02187778","date_published":"1990-01-01T00:00:00Z","date_created":"2018-12-11T12:06:45Z","year":"1990","day":"01","publication":"Discrete & Computational Geometry","quality_controlled":"1","publisher":"Springer","acknowledgement":"Research of the first author was supported by Amoco Foundation for Faculty Development in Computer Science Grant No. 1-6-44862. Work on this paper by the second author was supported by Office of Naval Research Grant No. N00014-82-K-0381, National Science Foundation Grant No. NSF-DCR-83-20085, and by grants from the Digital Equipment Corporation and the IBM Corporation.","publist_id":"2057","author":[{"full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert"},{"last_name":"Sharir","full_name":"Sharir, Micha","first_name":"Micha"}],"article_processing_charge":"No","title":"The maximum number of ways to stabn convex nonintersecting sets in the plane is 2n−2","citation":{"chicago":"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.","ista":"Edelsbrunner H, Sharir M. 1990. The maximum number of ways to stabn convex nonintersecting sets in the plane is 2n−2. Discrete & Computational Geometry. 5(1), 35–42.","mla":"Edelsbrunner, Herbert, and Micha Sharir. “The Maximum Number of Ways to Stabn Convex Nonintersecting Sets in the Plane Is 2n−2.” Discrete & Computational Geometry, vol. 5, no. 1, Springer, 1990, pp. 35–42, doi:10.1007/BF02187778.","apa":"Edelsbrunner, H., & Sharir, M. (1990). The maximum number of ways to stabn convex nonintersecting sets in the plane is 2n−2. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02187778","ama":"Edelsbrunner H, Sharir M. The maximum number of ways to stabn convex nonintersecting sets in the plane is 2n−2. Discrete & Computational Geometry. 1990;5(1):35-42. doi:10.1007/BF02187778","short":"H. Edelsbrunner, M. Sharir, Discrete & Computational Geometry 5 (1990) 35–42.","ieee":"H. Edelsbrunner and M. Sharir, “The maximum number of ways to stabn convex nonintersecting sets in the plane is 2n−2,” Discrete & Computational Geometry, vol. 5, no. 1. Springer, pp. 35–42, 1990."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","volume":5,"issue":"1","publication_identifier":{"eissn":["1432-0444"],"issn":["0179-5376"]},"publication_status":"published","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://link.springer.com/article/10.1007/BF02187778"}],"month":"01","intvolume":" 5","abstract":[{"lang":"eng","text":"LetS be a collection ofn convex, closed, and pairwise nonintersecting sets in the Euclidean plane labeled from 1 ton. A pair of permutations\r\n(i1i2in−1in)(inin−1i2i1) \r\nis 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."}],"oa_version":"None","date_updated":"2022-02-22T14:50:34Z","extern":"1","article_type":"original","type":"journal_article","status":"public","_id":"4068"},{"oa_version":"None","abstract":[{"text":"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.","lang":"eng"}],"month":"09","intvolume":" 10","scopus_import":"1","main_file_link":[{"url":"https://link.springer.com/article/10.1007/BF02122779"}],"language":[{"iso":"eng"}],"publication_identifier":{"eissn":["1439-6912"],"issn":["0209-9683"]},"publication_status":"published","issue":"3","volume":10,"_id":"4069","status":"public","type":"journal_article","article_type":"original","extern":"1","date_updated":"2022-02-21T11:08:30Z","acknowledgement":"Research reported in this paper was supported by the National Science Foundation under grant CCR-8714565.","publisher":"Springer","quality_controlled":"1","day":"01","publication":"Combinatorica","year":"1990","date_published":"1990-09-01T00:00:00Z","doi":"10.1007/BF02122779","date_created":"2018-12-11T12:06:45Z","page":"251 - 260","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"short":"H. Edelsbrunner, Combinatorica 10 (1990) 251–260.","ieee":"H. Edelsbrunner, “An acyclicity theorem for cell complexes in d dimension,” Combinatorica, vol. 10, no. 3. Springer, pp. 251–260, 1990.","apa":"Edelsbrunner, H. (1990). An acyclicity theorem for cell complexes in d dimension. Combinatorica. Springer. https://doi.org/10.1007/BF02122779","ama":"Edelsbrunner H. An acyclicity theorem for cell complexes in d dimension. Combinatorica. 1990;10(3):251-260. doi:10.1007/BF02122779","mla":"Edelsbrunner, Herbert. “An Acyclicity Theorem for Cell Complexes in d Dimension.” Combinatorica, vol. 10, no. 3, Springer, 1990, pp. 251–60, doi:10.1007/BF02122779.","ista":"Edelsbrunner H. 1990. An acyclicity theorem for cell complexes in d dimension. Combinatorica. 10(3), 251–260.","chicago":"Edelsbrunner, Herbert. “An Acyclicity Theorem for Cell Complexes in d Dimension.” Combinatorica. Springer, 1990. https://doi.org/10.1007/BF02122779."},"title":"An acyclicity theorem for cell complexes in d dimension","author":[{"first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert","last_name":"Edelsbrunner"}],"publist_id":"2050","article_processing_charge":"No"},{"type":"journal_article","article_type":"original","status":"public","_id":"3467","date_updated":"2022-02-23T16:10:03Z","extern":"1","scopus_import":"1","main_file_link":[{"open_access":"1","url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1190055/"}],"month":"01","intvolume":" 420","abstract":[{"text":"The effects of mast cell degranulating peptide (MCDP), a toxin from the honey bee, and of dendrotoxin (DTX), a toxin from the green mamba snake, were studied in voltage-clamped experiments with myelinated nerve fibres of Xenopus. MCDP and DTX blocked part of the K+ current. About 20% of the K+ current, however, was resistant to the toxins even in high concentrations. In Ringer solution half-maximal block was reached with concentrations of 33 nM MCDP and 11 nM DTX. In high-K+ solution the potency of both toxins was lower. β-Bungarotoxin (β-BuTX), another snake toxin, also blocked part of the K+ current, but was less potent than MCDP and DTX. Tail currents in high-K+ solution were analysed and three K+ current components were separated according to Dubois (1981b). Both MCDP and DTX selectively blocked a fast deactivating, slowly inactivating K+ current component which steeply activates between E = -60 mV and E = -40 mV (component f1). In concentrations around 100 nM, MCDP and DTX blocked neither the slow K+ current (component s) nor the fast deactivating, rapidly inactivating K+ current which activates between E = -40 mV and E = 20 mV (component f2). Similar results could be derived from K+ outward currents in Ringer solution. In high-K+, IC50 of MCDP for component f1 was 99 nM, whereas it was 7.6 μM for f2. Corresponding values for DTX are 68 nM and 1.8 μM. Binding studies with nerve fibre membranes of Xenopus reveal high-affinity binding sites for 125I-labelled DTX )K(D) = 22 pM in Ringer solution and 81 pM in high-K+ solution). 125I-labelled DTX can be displaced from its sites completely by unlabelled DTX, toxin I (black mamba toxin), MCDP, and partially by β-BuTX. Immunocytochemical staining demonstrates that binding sites for DTX are present in nodal and paranodal regions of the axonal membrane. The axonal membrane of motor and sensory nerve fibres is equipped with three types of well-characterized K+ channels and constitutes so far the best preparation to study MCDP- and DTX-sensitive K+ channels with electrophysiological and biochemical methods.","lang":"eng"}],"oa_version":"None","pmid":1,"volume":420,"publication_identifier":{"eissn":["1469-7793"],"issn":["0022-3751"]},"publication_status":"published","language":[{"iso":"eng"}],"author":[{"first_name":"Michael","last_name":"Bräu","full_name":"Bräu, Michael"},{"first_name":"Florian","last_name":"Dreyer","full_name":"Dreyer, Florian"},{"first_name":"Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","last_name":"Jonas","orcid":"0000-0001-5001-4804","full_name":"Jonas, Peter M"},{"first_name":"Holger","last_name":"Repp","full_name":"Repp, Holger"},{"first_name":"Werner","last_name":"Vogel","full_name":"Vogel, Werner"}],"publist_id":"2920","article_processing_charge":"No","external_id":{"pmid":["2324990"]},"title":"A K+ channel in Xenopus nerve fibres selectively blocked by bee and snake toxins: binding and voltage-clamp experiments","citation":{"ista":"Bräu M, Dreyer F, Jonas PM, Repp H, Vogel W. 1990. A K+ channel in Xenopus nerve fibres selectively blocked by bee and snake toxins: binding and voltage-clamp experiments. Journal of Physiology. 420, 365–385.","chicago":"Bräu, Michael, Florian Dreyer, Peter M Jonas, Holger Repp, and Werner Vogel. “A K+ Channel in Xenopus Nerve Fibres Selectively Blocked by Bee and Snake Toxins: Binding and Voltage-Clamp Experiments.” Journal of Physiology. Wiley-Blackwell, 1990. https://doi.org/10.1113/jphysiol.1990.sp017918.","ama":"Bräu M, Dreyer F, Jonas PM, Repp H, Vogel W. A K+ channel in Xenopus nerve fibres selectively blocked by bee and snake toxins: binding and voltage-clamp experiments. Journal of Physiology. 1990;420:365-385. doi:10.1113/jphysiol.1990.sp017918","apa":"Bräu, M., Dreyer, F., Jonas, P. M., Repp, H., & Vogel, W. (1990). A K+ channel in Xenopus nerve fibres selectively blocked by bee and snake toxins: binding and voltage-clamp experiments. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1990.sp017918","ieee":"M. Bräu, F. Dreyer, P. M. Jonas, H. Repp, and W. Vogel, “A K+ channel in Xenopus nerve fibres selectively blocked by bee and snake toxins: binding and voltage-clamp experiments,” Journal of Physiology, vol. 420. Wiley-Blackwell, pp. 365–385, 1990.","short":"M. Bräu, F. Dreyer, P.M. Jonas, H. Repp, W. Vogel, Journal of Physiology 420 (1990) 365–385.","mla":"Bräu, Michael, et al. “A K+ Channel in Xenopus Nerve Fibres Selectively Blocked by Bee and Snake Toxins: Binding and Voltage-Clamp Experiments.” Journal of Physiology, vol. 420, Wiley-Blackwell, 1990, pp. 365–85, doi:10.1113/jphysiol.1990.sp017918."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","publisher":"Wiley-Blackwell","quality_controlled":"1","oa":1,"acknowledgement":"We thank Professor E. Habermann for critical reading of the manuscript and E. Schmidt and J. Schafer for technical assistance. Financial support by the Deutsche Forschungsgemeinschaft (Vo 188/13-1 and SFB 249) is gratefully acknowledged.\r\n","page":"365 - 385","date_published":"1990-01-01T00:00:00Z","doi":"10.1113/jphysiol.1990.sp017918","date_created":"2018-12-11T12:03:29Z","year":"1990","day":"01","publication":"Journal of Physiology"},{"language":[{"iso":"eng"}],"publication":"Autonomous Robot Vehicles","day":"01","year":"1990","publication_status":"published","publication_identifier":{"isbn":["978-1-4613-8997-2"]},"date_created":"2018-12-11T12:03:59Z","date_published":"1990-01-01T00:00:00Z","doi":"10.1007/978-1-4613-8997-2_25","page":"328 - 341","acknowledgement":"NSF Grant MCS-83-03926 and DCR-85-05517\r\nAmoco Foundation Faculty Development in Computer Science\r\nNSF Grant DCR-84-01633 and DCR-84-01898","oa_version":"None","abstract":[{"lang":"eng","text":"We investigate the complexity of determining the shape and presentation (i.e. position with orientation) of convex polytopes in multi-dimensional Euclidean space using a variety of probe models."}],"month":"01","main_file_link":[{"url":"https://link.springer.com/chapter/10.1007/978-1-4613-8997-2_25"}],"quality_controlled":"1","publisher":"Springer","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","date_updated":"2022-02-23T15:41:07Z","citation":{"mla":"Dobkin, David, et al. “Probing Convex Polytopes.” Autonomous Robot Vehicles, edited by Ingemar Cox and Gordon Wilfong, Springer, 1990, pp. 328–41, doi:10.1007/978-1-4613-8997-2_25.","short":"D. Dobkin, H. Edelsbrunner, C. Yap, in:, I. Cox, G. Wilfong (Eds.), Autonomous Robot Vehicles, Springer, 1990, pp. 328–341.","ieee":"D. Dobkin, H. Edelsbrunner, and C. Yap, “Probing convex polytopes,” in Autonomous Robot Vehicles, I. Cox and G. Wilfong, Eds. Springer, 1990, pp. 328–341.","apa":"Dobkin, D., Edelsbrunner, H., & Yap, C. (1990). Probing convex polytopes. In I. Cox & G. Wilfong (Eds.), Autonomous Robot Vehicles (pp. 328–341). Springer. https://doi.org/10.1007/978-1-4613-8997-2_25","ama":"Dobkin D, Edelsbrunner H, Yap C. Probing convex polytopes. In: Cox I, Wilfong G, eds. Autonomous Robot Vehicles. Springer; 1990:328-341. doi:10.1007/978-1-4613-8997-2_25","chicago":"Dobkin, David, Herbert Edelsbrunner, and Chee Yap. “Probing Convex Polytopes.” In Autonomous Robot Vehicles, edited by Ingemar Cox and Gordon Wilfong, 328–41. Springer, 1990. https://doi.org/10.1007/978-1-4613-8997-2_25.","ista":"Dobkin D, Edelsbrunner H, Yap C. 1990.Probing convex polytopes. In: Autonomous Robot Vehicles. , 328–341."},"title":"Probing convex polytopes","editor":[{"last_name":"Cox","full_name":"Cox, Ingemar","first_name":"Ingemar"},{"first_name":"Gordon","full_name":"Wilfong, Gordon","last_name":"Wilfong"}],"article_processing_charge":"No","author":[{"first_name":"David","last_name":"Dobkin","full_name":"Dobkin, David"},{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","last_name":"Edelsbrunner","full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833"},{"full_name":"Yap, Chee","last_name":"Yap","first_name":"Chee"}],"publist_id":"2820","_id":"3565","status":"public","type":"book_chapter"},{"title":"Computing least median of squares regression lines and guided topological sweep","author":[{"first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert"},{"first_name":"Diane","full_name":"Souvaine, Diane","last_name":"Souvaine"}],"publist_id":"2059","article_processing_charge":"No","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"chicago":"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.","ista":"Edelsbrunner H, Souvaine D. 1990. Computing least median of squares regression lines and guided topological sweep. Journal of the American Statistical Association. 85(409), 115–119.","mla":"Edelsbrunner, Herbert, and Diane Souvaine. “Computing Least Median of Squares Regression Lines and Guided Topological Sweep.” Journal of the American Statistical Association, vol. 85, no. 409, American Statistical Association, 1990, pp. 115–19, doi:10.1080/01621459.1990.10475313.","ieee":"H. Edelsbrunner and D. Souvaine, “Computing least median of squares regression lines and guided topological sweep,” Journal of the American Statistical Association, vol. 85, no. 409. American Statistical Association, pp. 115–119, 1990.","short":"H. Edelsbrunner, D. Souvaine, Journal of the American Statistical Association 85 (1990) 115–119.","ama":"Edelsbrunner H, Souvaine D. Computing least median of squares regression lines and guided topological sweep. Journal of the American Statistical Association. 1990;85(409):115-119. doi:10.1080/01621459.1990.10475313","apa":"Edelsbrunner, H., & Souvaine, D. (1990). Computing least median of squares regression lines and guided topological sweep. Journal of the American Statistical Association. American Statistical Association. https://doi.org/10.1080/01621459.1990.10475313"},"quality_controlled":"1","publisher":"American Statistical Association","date_published":"1990-01-01T00:00:00Z","doi":"10.1080/01621459.1990.10475313","date_created":"2018-12-11T12:06:43Z","page":"115 - 119","day":"01","publication":"Journal of the American Statistical Association","year":"1990","status":"public","type":"journal_article","article_type":"original","_id":"4064","extern":"1","date_updated":"2022-02-22T15:10:54Z","month":"01","intvolume":" 85","scopus_import":"1","main_file_link":[{"url":"https://www.tandfonline.com/doi/abs/10.1080/01621459.1990.10475313"}],"oa_version":"None","abstract":[{"text":"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.","lang":"eng"}],"issue":"409","volume":85,"language":[{"iso":"eng"}],"publication_identifier":{"eissn":["1537-274X"],"issn":["0003-1291"]},"publication_status":"published"},{"issue":"1","volume":9,"publication_status":"published","publication_identifier":{"issn":["0730-0301"],"eissn":["1557-7368"]},"language":[{"iso":"eng"}],"main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/77635.77639"}],"scopus_import":"1","intvolume":" 9","month":"01","abstract":[{"text":"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.","lang":"eng"}],"oa_version":"None","date_updated":"2022-02-22T14:58:39Z","extern":"1","type":"journal_article","article_type":"original","status":"public","_id":"4063","page":"66 - 104","date_created":"2018-12-11T12:06:43Z","date_published":"1990-01-01T00:00:00Z","doi":"10.1145/77635.77639","year":"1990","publication":"ACM Transactions on Graphics","day":"01","publisher":"ACM","quality_controlled":"1","acknowledgement":"Research of both authors was supported by Amoco Foundation Faculty Development grant CS 1-6-44862. It was partially carried out while both authors were with the Institutes for Information Processing at the Technical University of Graz, Austria. The first author also acknowledges support by the National Science Foundation under grant CCR-8714565. ","article_processing_charge":"No","publist_id":"2058","author":[{"first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert"},{"last_name":"Mücke","full_name":"Mücke, Ernst","first_name":"Ernst"}],"title":"Simulation of simplicity: A technique to cope with degenerate cases in geometric algorithms","citation":{"ista":"Edelsbrunner H, Mücke E. 1990. Simulation of simplicity: A technique to cope with degenerate cases in geometric algorithms. ACM Transactions on Graphics. 9(1), 66–104.","chicago":"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.","apa":"Edelsbrunner, H., & Mücke, E. (1990). Simulation of simplicity: A technique to cope with degenerate cases in geometric algorithms. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/77635.77639","ama":"Edelsbrunner H, Mücke E. Simulation of simplicity: A technique to cope with degenerate cases in geometric algorithms. ACM Transactions on Graphics. 1990;9(1):66-104. doi:10.1145/77635.77639","short":"H. Edelsbrunner, E. Mücke, ACM Transactions on Graphics 9 (1990) 66–104.","ieee":"H. Edelsbrunner and E. Mücke, “Simulation of simplicity: A technique to cope with degenerate cases in geometric algorithms,” ACM Transactions on Graphics, vol. 9, no. 1. ACM, pp. 66–104, 1990.","mla":"Edelsbrunner, Herbert, and Ernst Mücke. “Simulation of Simplicity: A Technique to Cope with Degenerate Cases in Geometric Algorithms.” ACM Transactions on Graphics, vol. 9, no. 1, ACM, 1990, pp. 66–104, doi:10.1145/77635.77639."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},{"page":"335 - 347","date_published":"1990-01-01T00:00:00Z","doi":"10.1016/S0747-7171(08)80068-5","date_created":"2018-12-11T12:06:42Z","year":"1990","day":"01","publication":"Journal of Symbolic Computation","publisher":"Elsevier","quality_controlled":"1","oa":1,"acknowledgement":"Research of the first author is supported by Amoco Fnd. Fac. Dec. Comput. Sci. 1-6-44862, the second author is supported by NSF Grant ECS 84-10902, and research of the third author is supported in part by ONR Grant N00014-85K0570 and by NSF Grant DMS 8504322.","publist_id":"2061","author":[{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert"},{"full_name":"Preparata, Franco","last_name":"Preparata","first_name":"Franco"},{"first_name":"Douglas","full_name":"West, Douglas","last_name":"West"}],"article_processing_charge":"No","title":"Tetrahedrizing point sets in three dimensions","citation":{"mla":"Edelsbrunner, Herbert, et al. “Tetrahedrizing Point Sets in Three Dimensions.” Journal of Symbolic Computation, vol. 10, no. 3–4, Elsevier, 1990, pp. 335–47, doi:10.1016/S0747-7171(08)80068-5.","ama":"Edelsbrunner H, Preparata F, West D. Tetrahedrizing point sets in three dimensions. Journal of Symbolic Computation. 1990;10(3-4):335-347. doi:10.1016/S0747-7171(08)80068-5","apa":"Edelsbrunner, H., Preparata, F., & West, D. (1990). Tetrahedrizing point sets in three dimensions. Journal of Symbolic Computation. Elsevier. https://doi.org/10.1016/S0747-7171(08)80068-5","ieee":"H. Edelsbrunner, F. Preparata, and D. West, “Tetrahedrizing point sets in three dimensions,” Journal of Symbolic Computation, vol. 10, no. 3–4. Elsevier, pp. 335–347, 1990.","short":"H. Edelsbrunner, F. Preparata, D. West, Journal of Symbolic Computation 10 (1990) 335–347.","chicago":"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.","ista":"Edelsbrunner H, Preparata F, West D. 1990. Tetrahedrizing point sets in three dimensions. Journal of Symbolic Computation. 10(3–4), 335–347."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","volume":10,"issue":"3-4","publication_identifier":{"eissn":["1095-855X"],"issn":["0747-7171"]},"publication_status":"published","language":[{"iso":"eng"}],"scopus_import":"1","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/S0747717108800685?via%3Dihub","open_access":"1"}],"month":"01","intvolume":" 10","abstract":[{"text":"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.","lang":"eng"}],"oa_version":"Published Version","date_updated":"2022-02-23T10:10:35Z","extern":"1","article_type":"original","type":"journal_article","status":"public","_id":"4060"},{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"mla":"Edelsbrunner, Herbert, et al. “Covering Convex Sets with Non-Overlapping Polygons.” Discrete Mathematics, vol. 81, no. 2, Elsevier, 1990, pp. 153–64, doi:10.1016/0012-365X(90)90147-A.","ama":"Edelsbrunner H, Robison A, Shen X. Covering convex sets with non-overlapping polygons. Discrete Mathematics. 1990;81(2):153-164. doi:10.1016/0012-365X(90)90147-A","apa":"Edelsbrunner, H., Robison, A., & Shen, X. (1990). Covering convex sets with non-overlapping polygons. Discrete Mathematics. Elsevier. https://doi.org/10.1016/0012-365X(90)90147-A","short":"H. Edelsbrunner, A. Robison, X. Shen, Discrete Mathematics 81 (1990) 153–164.","ieee":"H. Edelsbrunner, A. Robison, and X. Shen, “Covering convex sets with non-overlapping polygons,” Discrete Mathematics, vol. 81, no. 2. Elsevier, pp. 153–164, 1990.","chicago":"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.","ista":"Edelsbrunner H, Robison A, Shen X. 1990. Covering convex sets with non-overlapping polygons. Discrete Mathematics. 81(2), 153–164."},"title":"Covering convex sets with non-overlapping polygons","author":[{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert"},{"full_name":"Robison, Arch","last_name":"Robison","first_name":"Arch"},{"full_name":"Shen, Xiao","last_name":"Shen","first_name":"Xiao"}],"publist_id":"2060","article_processing_charge":"No","day":"15","publication":"Discrete Mathematics","year":"1990","doi":"10.1016/0012-365X(90)90147-A","date_published":"1990-04-15T00:00:00Z","date_created":"2018-12-11T12:06:44Z","page":"153 - 164","acknowledgement":"The first author acknowledges the support by Amoco Fnd. Fat. Dev. Comput. Sci. l-6-44862. Work on this paper by the second author was supported by a Shell Fellowship in Computer Science. The third author as supported by the office of Naval Research under grant NOOO14-86K-0416. ","publisher":"Elsevier","quality_controlled":"1","extern":"1","date_updated":"2022-02-22T15:45:55Z","_id":"4065","status":"public","article_type":"original","type":"journal_article","language":[{"iso":"eng"}],"publication_identifier":{"eissn":["1872-681X"],"issn":["0012-365X"]},"publication_status":"published","issue":"2","volume":81,"oa_version":"None","abstract":[{"lang":"eng","text":"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."}],"month":"04","intvolume":" 81","scopus_import":"1","main_file_link":[{"url":"https://www.sciencedirect.com/science/article/pii/0012365X9090147A?via%3Dihub"}]},{"volume":5,"issue":"1","language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"issn":["0179-5376"],"eissn":["1432-0444"]},"intvolume":" 5","month":"03","main_file_link":[{"url":"https://link.springer.com/article/10.1007/BF02187783"}],"oa_version":"None","abstract":[{"lang":"eng","text":"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."}],"extern":"1","date_updated":"2022-02-17T15:41:04Z","status":"public","article_type":"original","type":"journal_article","_id":"4074","date_created":"2018-12-11T12:06:47Z","doi":"10.1007/BF02187783","date_published":"1990-03-01T00:00:00Z","page":"99 - 160","publication":"Discrete & Computational Geometry","day":"01","year":"1990","publisher":"Springer","quality_controlled":"1","acknowledgement":"The research of the second author was supported by the National Science Foundation under Grant CCR-8714565. Work by the fourth author has been supported by Office of Naval Research Grant N00014-87-K-0129, by National Science Foundation Grant No. NSF-DCR-83-20085, by grants from the Digital Equipment Corporation and the IBM Corporation, and by a research grant from the NCRD, the Israeli National Council for Research and Development. A preliminary version of this paper has appeared in theProceedings of the 29th IEEE Symposium on Foundations of Computer Science, 1988.","title":"Combinatorial complexity bounds for arrangements of curves and spheres","article_processing_charge":"No","publist_id":"2048","author":[{"last_name":"Clarkson","full_name":"Clarkson, Kenneth","first_name":"Kenneth"},{"last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert","first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Leonidas","full_name":"Guibas, Leonidas","last_name":"Guibas"},{"full_name":"Sharir, Micha","last_name":"Sharir","first_name":"Micha"},{"first_name":"Emo","full_name":"Welzl, Emo","last_name":"Welzl"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"mla":"Clarkson, Kenneth, et al. “Combinatorial Complexity Bounds for Arrangements of Curves and Spheres.” Discrete & Computational Geometry, vol. 5, no. 1, Springer, 1990, pp. 99–160, doi:10.1007/BF02187783.","short":"K. Clarkson, H. Edelsbrunner, L. Guibas, M. Sharir, E. Welzl, Discrete & Computational Geometry 5 (1990) 99–160.","ieee":"K. Clarkson, H. Edelsbrunner, L. Guibas, M. Sharir, and E. Welzl, “Combinatorial complexity bounds for arrangements of curves and spheres,” Discrete & Computational Geometry, vol. 5, no. 1. Springer, pp. 99–160, 1990.","ama":"Clarkson K, Edelsbrunner H, Guibas L, Sharir M, Welzl E. Combinatorial complexity bounds for arrangements of curves and spheres. Discrete & Computational Geometry. 1990;5(1):99-160. doi:10.1007/BF02187783","apa":"Clarkson, K., Edelsbrunner, H., Guibas, L., Sharir, M., & Welzl, E. (1990). Combinatorial complexity bounds for arrangements of curves and spheres. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02187783","chicago":"Clarkson, Kenneth, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Emo Welzl. “Combinatorial Complexity Bounds for Arrangements of Curves and Spheres.” Discrete & Computational Geometry. Springer, 1990. https://doi.org/10.1007/BF02187783.","ista":"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."}},{"date_created":"2018-12-11T12:06:48Z","doi":"10.1145/98524.98551","date_published":"1990-01-01T00:00:00Z","page":"116 - 127","publication":"Proceedings of the 6th annual symposium on computational geometry","language":[{"iso":"eng"}],"day":"01","publication_status":"published","year":"1990","publication_identifier":{"isbn":["978-0-89791-362-1"]},"month":"01","main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/98524.98551"}],"scopus_import":"1","quality_controlled":"1","publisher":"ACM","oa_version":"None","abstract":[{"text":"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.","lang":"eng"}],"title":"Slimming down by adding; selecting heavily covered points","article_processing_charge":"No","author":[{"last_name":"Chazelle","full_name":"Chazelle, Bernard","first_name":"Bernard"},{"full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Guibas","full_name":"Guibas, Leonidas","first_name":"Leonidas"},{"full_name":"Hershberger, John","last_name":"Hershberger","first_name":"John"},{"first_name":"Raimund","full_name":"Seidel, Raimund","last_name":"Seidel"},{"first_name":"Micha","last_name":"Sharir","full_name":"Sharir, Micha"}],"publist_id":"2046","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","citation":{"chicago":"Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, John Hershberger, Raimund Seidel, and Micha Sharir. “Slimming down by Adding; Selecting Heavily Covered Points.” In Proceedings of the 6th Annual Symposium on Computational Geometry, 116–27. ACM, 1990. https://doi.org/10.1145/98524.98551.","ista":"Chazelle B, Edelsbrunner H, Guibas L, Hershberger J, Seidel R, Sharir M. 1990. Slimming down by adding; selecting heavily covered points. Proceedings of the 6th annual symposium on computational geometry. SCG: Symposium on Computational Geometry, 116–127.","mla":"Chazelle, Bernard, et al. “Slimming down by Adding; Selecting Heavily Covered Points.” Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 116–27, doi:10.1145/98524.98551.","ieee":"B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, and M. Sharir, “Slimming down by adding; selecting heavily covered points,” in Proceedings of the 6th annual symposium on computational geometry, Berkley, CA, United States, 1990, pp. 116–127.","short":"B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 116–127.","apa":"Chazelle, B., Edelsbrunner, H., Guibas, L., Hershberger, J., Seidel, R., & Sharir, M. (1990). Slimming down by adding; selecting heavily covered points. In Proceedings of the 6th annual symposium on computational geometry (pp. 116–127). Berkley, CA, United States: ACM. https://doi.org/10.1145/98524.98551","ama":"Chazelle B, Edelsbrunner H, Guibas L, Hershberger J, Seidel R, Sharir M. Slimming down by adding; selecting heavily covered points. In: Proceedings of the 6th Annual Symposium on Computational Geometry. ACM; 1990:116-127. doi:10.1145/98524.98551"},"date_updated":"2022-02-17T10:09:54Z","status":"public","conference":{"name":"SCG: Symposium on Computational Geometry","end_date":"1990-06-09","location":"Berkley, CA, United States","start_date":"1990-06-07"},"type":"conference","_id":"4078"},{"extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_updated":"2022-02-16T15:30:22Z","citation":{"chicago":"Agarwal, Pankaj, Herbert Edelsbrunner, Otfried Schwarzkopf, and Emo Welzl. “ Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.” In Proceedings of the 6th Annual Symposium on Computational Geometry, 203–10. ACM, 1990. https://doi.org/10.1145/98524.98567.","ista":"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.","mla":"Agarwal, Pankaj, et al. “ Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.” Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 203–10, doi:10.1145/98524.98567.","ama":"Agarwal P, Edelsbrunner H, Schwarzkopf O, Welzl E. Euclidean minimum spanning trees and bichromatic closest pairs. In: Proceedings of the 6th Annual Symposium on Computational Geometry. ACM; 1990:203-210. doi:10.1145/98524.98567","apa":"Agarwal, P., Edelsbrunner, H., Schwarzkopf, O., & Welzl, E. (1990). Euclidean minimum spanning trees and bichromatic closest pairs. In Proceedings of the 6th annual symposium on Computational geometry (pp. 203–210). Berkeley, CA, United States: ACM. https://doi.org/10.1145/98524.98567","short":"P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, E. Welzl, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 203–210.","ieee":"P. Agarwal, H. Edelsbrunner, O. Schwarzkopf, and E. Welzl, “ Euclidean minimum spanning trees and bichromatic closest pairs,” in Proceedings of the 6th annual symposium on Computational geometry, Berkeley, CA, United States, 1990, pp. 203–210."},"title":" Euclidean minimum spanning trees and bichromatic closest pairs","author":[{"full_name":"Agarwal, Pankaj","last_name":"Agarwal","first_name":"Pankaj"},{"first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","last_name":"Edelsbrunner","full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833"},{"first_name":"Otfried","full_name":"Schwarzkopf, Otfried","last_name":"Schwarzkopf"},{"last_name":"Welzl","full_name":"Welzl, Emo","first_name":"Emo"}],"publist_id":"2044","article_processing_charge":"No","_id":"4076","status":"public","type":"conference","conference":{"name":"SCG: Symposium on Computational Geometry","end_date":"1990-06-09","location":"Berkeley, CA, United States","start_date":"1990-06-07"},"day":"01","publication":"Proceedings of the 6th annual symposium on Computational geometry","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-0-89791-362-1"]},"publication_status":"published","year":"1990","date_published":"1990-01-01T00:00:00Z","doi":"10.1145/98524.98567","date_created":"2018-12-11T12:06:48Z","page":"203 - 210","oa_version":"None","abstract":[{"lang":"eng","text":"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 ε > 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."}],"month":"01","scopus_import":"1","quality_controlled":"1","publisher":"ACM","main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/98524.98567"}]},{"scopus_import":"1","quality_controlled":"1","publisher":"ACM","main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/98524.98548"}],"month":"01","abstract":[{"text":"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.","lang":"eng"}],"oa_version":"None","page":"112 - 115","doi":"10.1145/98524.98548","date_published":"1990-01-01T00:00:00Z","date_created":"2018-12-11T12:06:48Z","publication_identifier":{"isbn":["978-0-89791-362-1"]},"publication_status":"published","year":"1990","day":"01","language":[{"iso":"eng"}],"publication":"Proceedings of the 6th annual symposium on Computational geometry","type":"conference","conference":{"name":"SCG: Symposium on Computational Geometry","start_date":"1990-06-07","location":"Berkley, CA, United States","end_date":"1990-06-09"},"status":"public","_id":"4077","author":[{"full_name":"Aronov, Boris","last_name":"Aronov","first_name":"Boris"},{"full_name":"Chazelle, Bernard","last_name":"Chazelle","first_name":"Bernard"},{"first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert"},{"first_name":"Leonidas","full_name":"Guibas, Leonidas","last_name":"Guibas"},{"last_name":"Sharir","full_name":"Sharir, Micha","first_name":"Micha"},{"last_name":"Wenger","full_name":"Wenger, Rephael","first_name":"Rephael"}],"publist_id":"2045","article_processing_charge":"No","title":"Points and triangles in the plane and halving planes in space","date_updated":"2022-02-17T09:42:27Z","citation":{"ista":"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.","chicago":"Aronov, Boris, Bernard Chazelle, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Rephael Wenger. “Points and Triangles in the Plane and Halving Planes in Space.” In Proceedings of the 6th Annual Symposium on Computational Geometry, 112–15. ACM, 1990. https://doi.org/10.1145/98524.98548.","ama":"Aronov B, Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Wenger R. Points and triangles in the plane and halving planes in space. In: Proceedings of the 6th Annual Symposium on Computational Geometry. ACM; 1990:112-115. doi:10.1145/98524.98548","apa":"Aronov, B., Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., & Wenger, R. (1990). Points and triangles in the plane and halving planes in space. In Proceedings of the 6th annual symposium on Computational geometry (pp. 112–115). Berkley, CA, United States: ACM. https://doi.org/10.1145/98524.98548","short":"B. Aronov, B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, R. Wenger, in:, Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 112–115.","ieee":"B. Aronov, B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, and R. Wenger, “Points and triangles in the plane and halving planes in space,” in Proceedings of the 6th annual symposium on Computational geometry, Berkley, CA, United States, 1990, pp. 112–115.","mla":"Aronov, Boris, et al. “Points and Triangles in the Plane and Halving Planes in Space.” Proceedings of the 6th Annual Symposium on Computational Geometry, ACM, 1990, pp. 112–15, doi:10.1145/98524.98548."},"extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17"},{"article_type":"original","type":"journal_article","status":"public","_id":"4075","date_updated":"2022-02-21T10:55:13Z","extern":"1","main_file_link":[{"url":"https://link.springer.com/article/10.1007/BF01840404"}],"scopus_import":"1","intvolume":" 5","month":"06","abstract":[{"text":"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> 3) and for determining a largest empty convex subset. Finally, extensions to higher dimensions are mentioned.","lang":"eng"}],"oa_version":"None","volume":5,"issue":"4","publication_status":"published","publication_identifier":{"issn":["0178-4617"],"eissn":["1432-0541"]},"language":[{"iso":"eng"}],"article_processing_charge":"No","publist_id":"2049","author":[{"last_name":"Dobkin","full_name":"Dobkin, David","first_name":"David"},{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert","last_name":"Edelsbrunner"},{"first_name":"Mark","last_name":"Overmars","full_name":"Overmars, Mark"}],"title":"Searching for empty convex polygons","citation":{"apa":"Dobkin, D., Edelsbrunner, H., & Overmars, M. (1990). Searching for empty convex polygons. Algorithmica. Springer. https://doi.org/10.1007/BF01840404","ama":"Dobkin D, Edelsbrunner H, Overmars M. Searching for empty convex polygons. Algorithmica. 1990;5(4):561-571. doi:10.1007/BF01840404","ieee":"D. Dobkin, H. Edelsbrunner, and M. Overmars, “Searching for empty convex polygons,” Algorithmica, vol. 5, no. 4. Springer, pp. 561–571, 1990.","short":"D. Dobkin, H. Edelsbrunner, M. Overmars, Algorithmica 5 (1990) 561–571.","mla":"Dobkin, David, et al. “Searching for Empty Convex Polygons.” Algorithmica, vol. 5, no. 4, Springer, 1990, pp. 561–71, doi:10.1007/BF01840404.","ista":"Dobkin D, Edelsbrunner H, Overmars M. 1990. Searching for empty convex polygons. Algorithmica. 5(4), 561–571.","chicago":"Dobkin, David, Herbert Edelsbrunner, and Mark Overmars. “Searching for Empty Convex Polygons.” Algorithmica. Springer, 1990. https://doi.org/10.1007/BF01840404."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","quality_controlled":"1","publisher":"Springer","acknowledgement":"The first author is pleased to acknowledge support by the National Science Foundation under Grant CCR-8700917. The research of the second author was supported by Amoco Foundation Faculty Development Grant CS 1-6-44862 and by the National Science Foundatio","page":"561 - 571","date_created":"2018-12-11T12:06:47Z","date_published":"1990-06-01T00:00:00Z","doi":"10.1007/BF01840404","year":"1990","publication":"Algorithmica","day":"01"},{"month":"01","quality_controlled":"1","publisher":"Springer","main_file_link":[{"url":"https://link.springer.com/book/10.1007/978-3-642-74474-7"}],"oa_version":"None","date_published":"1990-01-01T00:00:00Z","doi":"10.1007/978-3-642-74474-7_5","date_created":"2018-12-11T12:08:11Z","page":"115 - 174","day":"01","language":[{"iso":"eng"}],"publication":"Population biology: Ecological and evolutionary viewpoints","publication_identifier":{"isbn":[" 978-3642744761"]},"year":"1990","publication_status":"published","status":"public","type":"book_chapter","_id":"4311","editor":[{"full_name":"Wöhrmann, Klaus","last_name":"Wöhrmann","first_name":"Klaus"},{"last_name":"Jain","full_name":"Jain, Subodh","first_name":"Subodh"}],"title":"Population structure and processes in evolution","publist_id":"1748","author":[{"first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H","last_name":"Barton"},{"first_name":"A.","full_name":"Clark, A.","last_name":"Clark"}],"article_processing_charge":"No","extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"ista":"Barton NH, Clark A. 1990.Population structure and processes in evolution. In: Population biology: Ecological and evolutionary viewpoints. , 115–174.","chicago":"Barton, Nicholas H, and A. Clark. “Population Structure and Processes in Evolution.” In Population Biology: Ecological and Evolutionary Viewpoints, edited by Klaus Wöhrmann and Subodh Jain, 115–74. Springer, 1990. https://doi.org/10.1007/978-3-642-74474-7_5.","ama":"Barton NH, Clark A. Population structure and processes in evolution. In: Wöhrmann K, Jain S, eds. Population Biology: Ecological and Evolutionary Viewpoints. Springer; 1990:115-174. doi:10.1007/978-3-642-74474-7_5","apa":"Barton, N. H., & Clark, A. (1990). Population structure and processes in evolution. In K. Wöhrmann & S. Jain (Eds.), Population biology: Ecological and evolutionary viewpoints (pp. 115–174). Springer. https://doi.org/10.1007/978-3-642-74474-7_5","ieee":"N. H. Barton and A. Clark, “Population structure and processes in evolution,” in Population biology: Ecological and evolutionary viewpoints, K. Wöhrmann and S. Jain, Eds. Springer, 1990, pp. 115–174.","short":"N.H. Barton, A. Clark, in:, K. Wöhrmann, S. Jain (Eds.), Population Biology: Ecological and Evolutionary Viewpoints, Springer, 1990, pp. 115–174.","mla":"Barton, Nicholas H., and A. Clark. “Population Structure and Processes in Evolution.” Population Biology: Ecological and Evolutionary Viewpoints, edited by Klaus Wöhrmann and Subodh Jain, Springer, 1990, pp. 115–74, doi:10.1007/978-3-642-74474-7_5."},"date_updated":"2022-02-16T10:49:05Z"},{"page":"415 - 416","volume":346,"doi":"10.1038/346415a0","date_published":"1990-08-02T00:00:00Z","date_created":"2018-12-11T12:08:11Z","publication_identifier":{"eissn":["1476-4687"],"issn":["0028-0836"]},"year":"1990","publication_status":"published","day":"02","language":[{"iso":"eng"}],"publication":"Nature","quality_controlled":"1","scopus_import":"1","publisher":"Nature Publishing Group","main_file_link":[{"url":"https://www.nature.com/articles/346415a0"}],"month":"08","intvolume":" 346","oa_version":"None","author":[{"first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","last_name":"Barton","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240"},{"first_name":"Steve","last_name":"Jones","full_name":"Jones, Steve"}],"publist_id":"1749","article_processing_charge":"No","title":"The language of the genes","citation":{"chicago":"Barton, Nicholas H, and Steve Jones. “The Language of the Genes.” Nature. Nature Publishing Group, 1990. https://doi.org/10.1038/346415a0.","ista":"Barton NH, Jones S. 1990. The language of the genes. Nature. 346, 415–416.","mla":"Barton, Nicholas H., and Steve Jones. “The Language of the Genes.” Nature, vol. 346, Nature Publishing Group, 1990, pp. 415–16, doi:10.1038/346415a0.","short":"N.H. Barton, S. Jones, Nature 346 (1990) 415–416.","ieee":"N. H. Barton and S. Jones, “The language of the genes,” Nature, vol. 346. Nature Publishing Group, pp. 415–416, 1990.","apa":"Barton, N. H., & Jones, S. (1990). The language of the genes. Nature. Nature Publishing Group. https://doi.org/10.1038/346415a0","ama":"Barton NH, Jones S. The language of the genes. Nature. 1990;346:415-416. doi:10.1038/346415a0"},"date_updated":"2022-02-16T10:51:50Z","extern":"1","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","type":"journal_article","article_type":"original","status":"public","_id":"4310"},{"language":[{"iso":"eng"}],"publication":" Proceedings of the 5th Jerusalem Conference on Information Technology","day":"01","year":"1990","publication_status":"published","publication_identifier":{"isbn":["0-8186-2078-1"]},"date_created":"2018-12-11T12:09:14Z","doi":"10.1109/JCIT.1990.128356","date_published":"1990-01-01T00:00:00Z","page":"717 - 730","acknowledgement":"Sponsors: IBM graduate fellowship, National Science Foundation grant CCR-89-11512, National Science Foundation CCR-89-13641, Defense Advanced Research Projects Agency under contract N00039-84-C-0211, United States Air Force Office of Scientific Research under contract AFOSR-90-0057, European Community ESPRIT Basic Research Action project 3096 (SPEC).","oa_version":"None","abstract":[{"text":"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.\r\nWe 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.","lang":"eng"}],"month":"01","main_file_link":[{"url":"https://ieeexplore.ieee.org/abstract/document/128356"}],"scopus_import":"1","quality_controlled":"1","publisher":"IEEE","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","citation":{"short":"T.A. Henzinger, Z. Manna, A. Pnueli, in:, Proceedings of the 5th Jerusalem Conference on Information Technology, IEEE, 1990, pp. 717–730.","ieee":"T. A. Henzinger, Z. Manna, and A. Pnueli, “An interleaving model for real time,” in Proceedings of the 5th Jerusalem Conference on Information Technology, Jerusalem, Israel, 1990, pp. 717–730.","ama":"Henzinger TA, Manna Z, Pnueli A. An interleaving model for real time. In: Proceedings of the 5th Jerusalem Conference on Information Technology. IEEE; 1990:717-730. doi:10.1109/JCIT.1990.128356","apa":"Henzinger, T. A., Manna, Z., & Pnueli, A. (1990). An interleaving model for real time. In Proceedings of the 5th Jerusalem Conference on Information Technology (pp. 717–730). Jerusalem, Israel: IEEE. https://doi.org/10.1109/JCIT.1990.128356","mla":"Henzinger, Thomas A., et al. “An Interleaving Model for Real Time.” Proceedings of the 5th Jerusalem Conference on Information Technology, IEEE, 1990, pp. 717–30, doi:10.1109/JCIT.1990.128356.","ista":"Henzinger TA, Manna Z, Pnueli A. 1990. An interleaving model for real time. Proceedings of the 5th Jerusalem Conference on Information Technology. JCIT: Jerusalem Conference on Information Technology, 717–730.","chicago":"Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “An Interleaving Model for Real Time.” In Proceedings of the 5th Jerusalem Conference on Information Technology, 717–30. IEEE, 1990. https://doi.org/10.1109/JCIT.1990.128356."},"date_updated":"2022-02-15T15:51:25Z","title":"An interleaving model for real time","article_processing_charge":"No","publist_id":"220","author":[{"last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Manna, Zohar","last_name":"Manna","first_name":"Zohar"},{"last_name":"Pnueli","full_name":"Pnueli, Amir","first_name":"Amir"}],"_id":"4510","status":"public","conference":{"start_date":"1990-10-22","location":"Jerusalem, Israel","end_date":"1990-10-25","name":"JCIT: Jerusalem Conference on Information Technology"},"type":"conference"},{"article_processing_charge":"No","author":[{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"publist_id":"209","title":"Half-order modal logic: How to prove real-time properties","date_updated":"2022-02-15T15:11:03Z","citation":{"chicago":"Henzinger, Thomas A. “Half-Order Modal Logic: How to Prove Real-Time Properties.” In Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, 281–96. ACM, 1990. https://doi.org/10.1145/93385.93429.","ista":"Henzinger TA. 1990. Half-order modal logic: How to prove real-time properties. Proceedings of the 9th annual ACM symposium on Principles of distributed computing. PODC: Principles of Distributed Computing, 281–296.","mla":"Henzinger, Thomas A. “Half-Order Modal Logic: How to Prove Real-Time Properties.” Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1990, pp. 281–96, doi:10.1145/93385.93429.","ama":"Henzinger TA. Half-order modal logic: How to prove real-time properties. In: Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing. ACM; 1990:281-296. doi:10.1145/93385.93429","apa":"Henzinger, T. A. (1990). Half-order modal logic: How to prove real-time properties. In Proceedings of the 9th annual ACM symposium on Principles of distributed computing (pp. 281–296). Quebec City, Canada: ACM. https://doi.org/10.1145/93385.93429","ieee":"T. A. Henzinger, “Half-order modal logic: How to prove real-time properties,” in Proceedings of the 9th annual ACM symposium on Principles of distributed computing, Quebec City, Canada, 1990, pp. 281–296.","short":"T.A. Henzinger, in:, Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, ACM, 1990, pp. 281–296."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","conference":{"location":"Quebec City, Canada","end_date":"1990-08-24","start_date":"1990-08-22","name":"PODC: Principles of Distributed Computing"},"type":"conference","status":"public","_id":"4522","page":"281 - 296","date_created":"2018-12-11T12:09:17Z","date_published":"1990-01-01T00:00:00Z","doi":"10.1145/93385.93429","publication_status":"published","year":"1990","publication_identifier":{"isbn":["978-0-89791-404-8"]},"publication":"Proceedings of the 9th annual ACM symposium on Principles of distributed computing","language":[{"iso":"eng"}],"day":"01","main_file_link":[{"url":"https://dl.acm.org/doi/10.1145/93385.93429"}],"quality_controlled":"1","scopus_import":"1","publisher":"ACM","month":"01","abstract":[{"text":"We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These values are. however, not treated as full first-order objects: they can be accessed only by a very restricted form of quantification: the \"freeze\" quantifier binds a variable to the value of the current world. We present a complete proof system for this (\"half-order\") modal logic. As a special case, we obtain the real-time temporal logic TPTL of [AH891: the models are restricted to infinite sequences of states, whose values are monotonically increasing natural numbers. The ordering relation between states is interpreted as temporal precedence. while the value associated with a state is interpreted as its \"rear time. We extend our proof system to be complete for TPTL. and demonstrate how it can be used to derive real-time properties. ","lang":"eng"}],"acknowledgement":"Many thanks to Rajeev Alur, Adam Grove, Zohar Manna, and Amir Pnueli for their continuous discussions and support.","oa_version":"None"},{"_id":"4597","status":"public","conference":{"name":"LICS: Logic in Computer Science","location":"Philadelphia, PA, USA","end_date":"1990-06-07","start_date":"1990-06-04"},"type":"conference","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","citation":{"mla":"Alur, Rajeev, and Thomas A. Henzinger. “Real-Time Logics: Complexity and Expressiveness.” 5th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1990, pp. 390–401, doi:10.1109/LICS.1990.113764.","ieee":"R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,” in 5th Annual IEEE Symposium on Logic in Computer Science, Philadelphia, PA, USA, 1990, pp. 390–401.","short":"R. Alur, T.A. Henzinger, in:, 5th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1990, pp. 390–401.","ama":"Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. In: 5th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1990:390-401. doi:10.1109/LICS.1990.113764","apa":"Alur, R., & Henzinger, T. A. (1990). Real-time logics: Complexity and expressiveness. In 5th Annual IEEE Symposium on Logic in Computer Science (pp. 390–401). Philadelphia, PA, USA: IEEE. https://doi.org/10.1109/LICS.1990.113764","chicago":"Alur, Rajeev, and Thomas A Henzinger. “Real-Time Logics: Complexity and Expressiveness.” In 5th Annual IEEE Symposium on Logic in Computer Science, 390–401. IEEE, 1990. https://doi.org/10.1109/LICS.1990.113764.","ista":"Alur R, Henzinger TA. 1990. Real-time logics: Complexity and expressiveness. 5th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 390–401."},"date_updated":"2022-02-15T14:35:30Z","title":"Real-time logics: Complexity and expressiveness","article_processing_charge":"No","author":[{"full_name":"Alur, Rajeev","last_name":"Alur","first_name":"Rajeev"},{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"publist_id":"112","oa_version":"None","abstract":[{"text":"A unifying framework for the study of real-time logics is developed. In analogy to the untimed case, the underlying classical theory of timed state sequences is identified, it is shown to be nonelementarily decidable, and its complexity and expressiveness are used as a point of reference. Two orthogonal extensions of PTL (timed propositional temporal logic and metric temporal logic) that inherit its appeal are defined: they capture elementary, yet expressively complete, fragments of the theory of timed state sequences, and thus are excellent candidates for practical real-time specification languages","lang":"eng"}],"month":"08","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/113764"}],"scopus_import":"1","quality_controlled":"1","publisher":"IEEE","language":[{"iso":"eng"}],"publication":" 5th Annual IEEE Symposium on Logic in Computer Science","day":"06","year":"1990","publication_status":"published","publication_identifier":{"isbn":["0-8186-2073-0"]},"date_created":"2018-12-11T12:09:40Z","doi":"10.1109/LICS.1990.113764","date_published":"1990-08-06T00:00:00Z","page":"390 - 401"}]