[{"intvolume":" 43","month":"01","publisher":"IEEE","quality_controlled":"1","oa_version":"None","abstract":[{"text":"We present two methods for translating nonlinear hybrid systems into linear hybrid automata. Properties of the nonlinear systems can then be inferred from the automatic analysis of the translated linear hybrid automata. The first method, called clock translation, replaces constraints on nonlinear variables by constraints on clock variables. The second method, called linear phase-portrait approximation, conservatively overapproximates the phase portrait of a hybrid automaton using piecewise-constant polyhedral differential inclusions. Both methods are sound for safety properties. We illustrate both methods by using HYTECH, a symbolic model checker for linear hybrid automata, to automatically check properties of a nonlinear temperature controller and of a predator-prey ecology","lang":"eng"}],"date_created":"2018-12-11T12:09:07Z","volume":43,"doi":"10.1109/9.664156 ","date_published":"1998-01-01T00:00:00Z","issue":"4","page":"540 - 554","language":[{"iso":"eng"}],"publication":"IEEE Transactions on Automatic Control","day":"01","publication_status":"published","year":"1998","publication_identifier":{"issn":["0018-9162"]},"status":"public","article_type":"original","type":"journal_article","_id":"4491","title":"Algorithmic analysis of nonlinear hybrid systems","article_processing_charge":"No","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger"},{"full_name":"Ho, Pei","last_name":"Ho","first_name":"Pei"},{"first_name":"Howard","full_name":"Wong Toi, Howard","last_name":"Wong Toi"}],"publist_id":"238","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","date_updated":"2022-08-23T14:34:35Z","citation":{"chicago":"Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “Algorithmic Analysis of Nonlinear Hybrid Systems.” IEEE Transactions on Automatic Control. IEEE, 1998. https://doi.org/10.1109/9.664156 .","ista":"Henzinger TA, Ho P, Wong Toi H. 1998. Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. 43(4), 540–554.","mla":"Henzinger, Thomas A., et al. “Algorithmic Analysis of Nonlinear Hybrid Systems.” IEEE Transactions on Automatic Control, vol. 43, no. 4, IEEE, 1998, pp. 540–54, doi:10.1109/9.664156 .","ama":"Henzinger TA, Ho P, Wong Toi H. Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. 1998;43(4):540-554. doi:10.1109/9.664156 ","apa":"Henzinger, T. A., Ho, P., & Wong Toi, H. (1998). Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. IEEE. https://doi.org/10.1109/9.664156 ","short":"T.A. Henzinger, P. Ho, H. Wong Toi, IEEE Transactions on Automatic Control 43 (1998) 540–554.","ieee":"T. A. Henzinger, P. Ho, and H. Wong Toi, “Algorithmic analysis of nonlinear hybrid systems,” IEEE Transactions on Automatic Control, vol. 43, no. 4. IEEE, pp. 540–554, 1998."}},{"publisher":"IEEE","quality_controlled":"1","page":"58 - 61","date_created":"2018-12-11T12:06:30Z","date_published":"1996-07-01T00:00:00Z","doi":"10.1109/38.511855","year":"1996","publication":"IEEE Computer Graphics and Applications","day":"01","article_processing_charge":"No","publist_id":"2101","author":[{"first_name":"Nataraj","last_name":"Akkiraju","full_name":"Akkiraju, Nataraj"},{"first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert","last_name":"Edelsbrunner"},{"full_name":"Fu, Ping","last_name":"Fu","first_name":"Ping"},{"first_name":"Jiang","full_name":"Qian, Jiang","last_name":"Qian"}],"title":"Viewing geometric protein structures from inside a CAVE","citation":{"ista":"Akkiraju N, Edelsbrunner H, Fu P, Qian J. 1996. Viewing geometric protein structures from inside a CAVE. IEEE Computer Graphics and Applications. 16(4), 58–61.","chicago":"Akkiraju, Nataraj, Herbert Edelsbrunner, Ping Fu, and Jiang Qian. “Viewing Geometric Protein Structures from inside a CAVE.” IEEE Computer Graphics and Applications. IEEE, 1996. https://doi.org/10.1109/38.511855.","apa":"Akkiraju, N., Edelsbrunner, H., Fu, P., & Qian, J. (1996). Viewing geometric protein structures from inside a CAVE. IEEE Computer Graphics and Applications. IEEE. https://doi.org/10.1109/38.511855","ama":"Akkiraju N, Edelsbrunner H, Fu P, Qian J. Viewing geometric protein structures from inside a CAVE. IEEE Computer Graphics and Applications. 1996;16(4):58-61. doi:10.1109/38.511855","short":"N. Akkiraju, H. Edelsbrunner, P. Fu, J. Qian, IEEE Computer Graphics and Applications 16 (1996) 58–61.","ieee":"N. Akkiraju, H. Edelsbrunner, P. Fu, and J. Qian, “Viewing geometric protein structures from inside a CAVE,” IEEE Computer Graphics and Applications, vol. 16, no. 4. IEEE, pp. 58–61, 1996.","mla":"Akkiraju, Nataraj, et al. “Viewing Geometric Protein Structures from inside a CAVE.” IEEE Computer Graphics and Applications, vol. 16, no. 4, IEEE, 1996, pp. 58–61, doi:10.1109/38.511855."},"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","scopus_import":"1","intvolume":" 16","month":"07","abstract":[{"text":"We have developed general modeling software for a Cave Automatic Virtual Environment (CAVE); one of its applications is modeling 3D protein structures, generating both outside-in and inside-out views of geometric models. An advantage of the CAVE over other virtual environments is that multiple viewers can observe the same scene at the same time and place. Our software is scalable-from high-end virtual environments such as the CAVE, to mid-range immersive desktop systems, down to low-end graphics workstations. In the current configuration, a parallel Silicon Graphics Power Challenge supercomputer architecture performs the computationally intensive construction of surface patches remotely, and sends the results through the I-WAY (Information Wide Area Year) using VBNS (Very-high-Bandwidth Network Systems) to the graphics machines that drive the CAVE and our graphics visualization software, Valvis (Virtual ALpha shapes VISualizer).","lang":"eng"}],"oa_version":"None","issue":"4","volume":16,"publication_status":"published","publication_identifier":{"issn":["0018-9162"]},"language":[{"iso":"eng"}],"article_type":"original","type":"journal_article","status":"public","_id":"4024","date_updated":"2022-08-09T13:32:21Z","extern":"1"},{"main_file_link":[{"url":"https://ieeexplore.ieee.org/document/561320"}],"quality_controlled":"1","publisher":"IEEE","scopus_import":"1","month":"01","abstract":[{"lang":"eng","text":"We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee) and hierarchical (stepwise refinement) reasoning. While synchronous models are based on a notion of atomic computation step, and asynchronous models remove that notion by introducing stuttering, our model is based on a flexible notion of what constitutes a computation step: by applying an abstraction operator to a system, arbitrarily many consecutive steps can be collapsed into a single step. The abstraction operator, which may turn an asynchronous system into a synchronous one, allows us to describe systems at various levels of temporal detail. For describing systems at various levels of spatial detail, we use a hiding operator that may turn a synchronous system into an asynchronous one. We illustrate the model with diverse examples from synchronous circuits, asynchronous shared-memory programs, and synchronous message passing"}],"oa_version":"None","page":"207 - 218","date_created":"2018-12-11T12:09:37Z","doi":"10.1109/LICS.1996.561320","date_published":"1996-01-01T00:00:00Z","year":"1996","publication_status":"published","publication_identifier":{"issn":["0018-9162"]},"language":[{"iso":"eng"}],"publication":"Proceedings 11th Annual IEEE Symposium on Logic in Computer Science","day":"01","conference":{"name":"LICS: Logic in Computer Science","start_date":"1996-07-27","end_date":"1996-07-30","location":"New Brunswick, NJ, USA"},"type":"conference","status":"public","_id":"4588","article_processing_charge":"No","author":[{"full_name":"Alur, Rajeev","last_name":"Alur","first_name":"Rajeev"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A"}],"publist_id":"121","title":"Reactive modules","citation":{"mla":"Alur, Rajeev, and Thomas A. Henzinger. “Reactive Modules.” Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 207–18, doi:10.1109/LICS.1996.561320.","short":"R. Alur, T.A. Henzinger, in:, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 207–218.","ieee":"R. Alur and T. A. Henzinger, “Reactive modules,” in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, NJ, USA, 1996, pp. 207–218.","ama":"Alur R, Henzinger TA. Reactive modules. In: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1996:207-218. doi:10.1109/LICS.1996.561320","apa":"Alur, R., & Henzinger, T. A. (1996). Reactive modules. In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (pp. 207–218). New Brunswick, NJ, USA: IEEE. https://doi.org/10.1109/LICS.1996.561320","chicago":"Alur, Rajeev, and Thomas A Henzinger. “Reactive Modules.” In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 207–18. IEEE, 1996. https://doi.org/10.1109/LICS.1996.561320.","ista":"Alur R, Henzinger TA. 1996. Reactive modules. Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 207–218."},"date_updated":"2022-07-04T14:51:40Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1"},{"publisher":"IEEE","quality_controlled":"1","oa":1,"acknowledgement":"We thank Costas Courcoubetis, Nicolas Halbwachs, Peter Kopke, Joseph Sifakis, and Howard Wong-Toi for helpful\r\ndiscussions and valuable comments. Thomas A. Henzinger's research was supported in part by the U.S. Office of Naval Research Young Investigator award N00014-95-1-0520, by the National Science Foundation CAREER award CCR-9501708, by National Science Foundation grants CCR-9200794 and CCR-9504469, by U.S. Air Force Office of Scientific Research contract F49620-93-1- 0056, and by Advanced Research Projects Agency grant NAG2-892. ","date_published":"1996-03-01T00:00:00Z","doi":"10.1109/32.489079","date_created":"2018-12-11T12:09:45Z","page":"181 - 201","day":"01","publication":"IEEE Transactions on Software Engineering","year":"1996","title":"Automatic symbolic verification of embedded systems","publist_id":"96","author":[{"last_name":"Alur","full_name":"Alur, Rajeev","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"},{"first_name":"Pei","full_name":"Ho, Pei","last_name":"Ho"}],"article_processing_charge":"No","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"mla":"Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.” IEEE Transactions on Software Engineering, vol. 22, no. 3, IEEE, 1996, pp. 181–201, doi:10.1109/32.489079.","ieee":"R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” IEEE Transactions on Software Engineering, vol. 22, no. 3. IEEE, pp. 181–201, 1996.","short":"R. Alur, T.A. Henzinger, P. Ho, IEEE Transactions on Software Engineering 22 (1996) 181–201.","apa":"Alur, R., Henzinger, T. A., & Ho, P. (1996). Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. IEEE. https://doi.org/10.1109/32.489079","ama":"Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 1996;22(3):181-201. doi:10.1109/32.489079","chicago":"Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.” IEEE Transactions on Software Engineering. IEEE, 1996. https://doi.org/10.1109/32.489079.","ista":"Alur R, Henzinger TA, Ho P. 1996. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 22(3), 181–201."},"month":"03","intvolume":" 22","scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://ecommons.cornell.edu/handle/1813/7170"}],"oa_version":"Published Version","abstract":[{"text":"Presents a model-checking procedure and its implementation for the automatic verification of embedded systems. The system components are described as hybrid automata-communicating machines with finite control and real-valued variables that represent continuous environment parameters such as time, pressure and temperature. The system requirements are specified in a temporal logic with stop-watches, and verified by symbolic fixpoint computation. The verification procedure-implemented in the Cornell Hybrid Technology tool, HyTech-applies to hybrid automata whose continuous dynamics is governed by linear constraints on the variables and their derivatives. We illustrate the method and the tool by checking safety, liveness, time-bounded and duration requirements of digital controllers, schedulers and distributed algorithms","lang":"eng"}],"volume":22,"issue":"3","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0018-9162"]},"publication_status":"published","status":"public","type":"journal_article","article_type":"original","_id":"4611","extern":"1","date_updated":"2022-07-04T12:47:05Z"},{"page":"52 - 61","date_created":"2018-12-11T12:09:37Z","date_published":"1994-01-01T00:00:00Z","doi":"10.1109/LICS.1994.316087 ","year":"1994","publication_status":"published","publication_identifier":{"issn":["0018-9162"]},"publication":"Proceedings 9th Annual IEEE Symposium on Logic in Computer Science","language":[{"iso":"eng"}],"day":"01","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/316087"}],"quality_controlled":"1","publisher":"IEEE","scopus_import":"1","month":"01","abstract":[{"text":"Fairness is a mathematical abstraction: in a multiprogramming environment, fairness abstracts the details of admissible (“fair”) schedulers; in a distributed environment, fairness abstracts the speeds of independent processors. We argue that the standard definition of fairness often is unnecessarily weak and can be replaced by the stronger, yet still abstract, notion of finitary fairness. While standard weak fairness requires that no enabled transition is postponed forever, finitary weak fairness requires that for every run of a system there is an unknown bound k such that no enabled transition is postponed more than k consecutive times. In general, the finitary restriction fin(F) of any given fairness assumption F is the union of all w-regular safety properties that are contained in F. The adequacy of the proposed abstraction is demonstrated in two ways. Suppose that we prove a program property under the assumption of finitary fairness. In a multiprogramming environment, the program then satisfies the property for all fair finite-state schedulers. In a distributed environment, the program then satisfies the property for all choices of lower and upper bounds on the speeds (or timings) of processors","lang":"eng"}],"oa_version":"None","article_processing_charge":"No","author":[{"first_name":"Rajeev","full_name":"Alur, Rajeev","last_name":"Alur"},{"last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"}],"publist_id":"119","title":"Finitary fairness","citation":{"mla":"Alur, Rajeev, and Thomas A. Henzinger. “Finitary Fairness.” Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1994, pp. 52–61, doi:10.1109/LICS.1994.316087 .","short":"R. Alur, T.A. Henzinger, in:, Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1994, pp. 52–61.","ieee":"R. Alur and T. A. Henzinger, “Finitary fairness,” in Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, Paris, France, 1994, pp. 52–61.","apa":"Alur, R., & Henzinger, T. A. (1994). Finitary fairness. In Proceedings 9th Annual IEEE Symposium on Logic in Computer Science (pp. 52–61). Paris, France: IEEE. https://doi.org/10.1109/LICS.1994.316087 ","ama":"Alur R, Henzinger TA. Finitary fairness. In: Proceedings 9th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1994:52-61. doi:10.1109/LICS.1994.316087 ","chicago":"Alur, Rajeev, and Thomas A Henzinger. “Finitary Fairness.” In Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, 52–61. IEEE, 1994. https://doi.org/10.1109/LICS.1994.316087 .","ista":"Alur R, Henzinger TA. 1994. Finitary fairness. Proceedings 9th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 52–61."},"date_updated":"2022-06-02T08:45:57Z","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","conference":{"end_date":"\t1994-07-07","location":"Paris, France","start_date":"1994-07-04","name":"LICS: Logic in Computer Science"},"type":"conference","status":"public","_id":"4586"},{"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","extern":"1","date_updated":"2022-02-09T10:40:13Z","citation":{"apa":"Alur, R., & Henzinger, T. A. (1989). A really temporal logic. In 30th Annual Symposium on Foundations of Computer Science (pp. 164–169). Research Triangle Park, NC, USA: IEEE. https://doi.org/10.1109/SFCS.1989.63473","ama":"Alur R, Henzinger TA. A really temporal logic. In: 30th Annual Symposium on Foundations of Computer Science. FCOS. IEEE; 1989:164-169. doi:10.1109/SFCS.1989.63473","short":"R. Alur, T.A. Henzinger, in:, 30th Annual Symposium on Foundations of Computer Science, IEEE, 1989, pp. 164–169.","ieee":"R. Alur and T. A. Henzinger, “A really temporal logic,” in 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, NC, USA, 1989, pp. 164–169.","mla":"Alur, Rajeev, and Thomas A. Henzinger. “A Really Temporal Logic.” 30th Annual Symposium on Foundations of Computer Science, IEEE, 1989, pp. 164–69, doi:10.1109/SFCS.1989.63473.","ista":"Alur R, Henzinger TA. 1989. A really temporal logic. 30th Annual Symposium on Foundations of Computer Science. FOCS: Foundations of Computer ScienceFCOS, 164–169.","chicago":"Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.” In 30th Annual Symposium on Foundations of Computer Science, 164–69. FCOS. IEEE, 1989. https://doi.org/10.1109/SFCS.1989.63473."},"title":"A really temporal logic","article_processing_charge":"No","publist_id":"111","author":[{"full_name":"Alur, Rajeev","last_name":"Alur","first_name":"Rajeev"},{"full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"}],"series_title":"FCOS","_id":"4596","status":"public","conference":{"name":"FOCS: Foundations of Computer Science","start_date":"1989-10-30","end_date":"1989-11-01","location":"Research Triangle Park, NC, USA"},"type":"conference","language":[{"iso":"eng"}],"publication":"30th Annual Symposium on Foundations of Computer Science","day":"01","year":"1989","publication_status":"published","publication_identifier":{"issn":["0018-9162"],"isbn":["0-8186-1982-1"],"eissn":["1558-0814"]},"date_created":"2018-12-11T12:09:40Z","date_published":"1989-01-01T00:00:00Z","doi":"10.1109/SFCS.1989.63473","page":"164 - 169","acknowledgement":"We thank Zohar Manna, Amir Pnueli, and David Dill for their guidance. Moshe Vardi and Joe Halpern gave us very helpful advice for refilling our undecidability results. ","oa_version":"None","abstract":[{"text":"A real-time temporal logic for the specification of reactive systems is introduced. The novel feature of the logic, TPTL, is the adoption of temporal operators as quantifiers over time variables; every modality binds a variable to the time(s) it refers to. TPTL is demonstrated to be both a natural specification language and a suitable formalism for verification and synthesis. A tableau-based decision procedure and model-checking algorithm for TPTL are presented. Several generalizations of TPTL are shown to be highly undecidable.","lang":"eng"}],"month":"01","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/63473"}],"publisher":"IEEE","quality_controlled":"1"},{"status":"public","article_type":"original","type":"journal_article","_id":"4128","extern":"1","date_updated":"2022-01-25T12:55:07Z","intvolume":" 29","month":"06","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/1056714"}],"scopus_import":"1","oa_version":"None","abstract":[{"text":"A generalization of the convex hull of a finite set of points in the plane is introduced and analyzed. This generalization leads to a family of straight-line graphs, \" \\alpha -shapes,\" which seem to capture the intuitive notions of \"fine shape\" and \"crude shape\" of point sets. It is shown that a-shapes are subgraphs of the closest point or furthest point Delaunay triangulation. Relying on this result an optimal O(n \\log n) algorithm that constructs \\alpha -shapes is developed.","lang":"eng"}],"issue":"4","volume":29,"language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"eissn":["1558-0814"],"issn":["0018-9162"]},"title":"On the shape of a set of points in the plane","article_processing_charge":"No","author":[{"last_name":"Edelsbrunner","full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert"},{"first_name":"David","full_name":"Kirkpatrick, David","last_name":"Kirkpatrick"},{"first_name":"Raimund","full_name":"Seidel, Raimund","last_name":"Seidel"}],"publist_id":"1995","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","citation":{"mla":"Edelsbrunner, Herbert, et al. “On the Shape of a Set of Points in the Plane.” IEEE Transactions on Information Theory, vol. 29, no. 4, IEEE, 1983, pp. 551–59, doi:10.1109/TIT.1983.1056714 .","apa":"Edelsbrunner, H., Kirkpatrick, D., & Seidel, R. (1983). On the shape of a set of points in the plane. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/TIT.1983.1056714 ","ama":"Edelsbrunner H, Kirkpatrick D, Seidel R. On the shape of a set of points in the plane. IEEE Transactions on Information Theory. 1983;29(4):551-559. doi:10.1109/TIT.1983.1056714 ","short":"H. Edelsbrunner, D. Kirkpatrick, R. Seidel, IEEE Transactions on Information Theory 29 (1983) 551–559.","ieee":"H. Edelsbrunner, D. Kirkpatrick, and R. Seidel, “On the shape of a set of points in the plane,” IEEE Transactions on Information Theory, vol. 29, no. 4. IEEE, pp. 551–559, 1983.","chicago":"Edelsbrunner, Herbert, David Kirkpatrick, and Raimund Seidel. “On the Shape of a Set of Points in the Plane.” IEEE Transactions on Information Theory. IEEE, 1983. https://doi.org/10.1109/TIT.1983.1056714 .","ista":"Edelsbrunner H, Kirkpatrick D, Seidel R. 1983. On the shape of a set of points in the plane. IEEE Transactions on Information Theory. 29(4), 551–559."},"publisher":"IEEE","quality_controlled":"1","acknowledgement":"The authors express their appreciation for numerous constructive suggestions, which led to improvements on\r\nvarious phases of the manuscript, to Dr. Marvin Simon of JPL and to Professor George L. Turin of University of\r\nCalifornia, Berkeley. The junior author also gratefully acknowledges the role of the latter as her M.S. research\r\nadvisor on the project which formed the nucleus of this work. \r\n","date_created":"2018-12-11T12:07:06Z","doi":"10.1109/TIT.1983.1056714 ","date_published":"1983-06-01T00:00:00Z","page":"551 - 559","publication":"IEEE Transactions on Information Theory","day":"01","year":"1983"}]