( en | de | ru )

 

Disambiguation of "Doh, Kyung-Goo"

Author of the publication

copydeleteadd this publication to your clipboard
Data Flow Analysis of Secure Information-Flow.

, , and . APLAS, page 352-365. (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fritz Doh

Susanne Doh

Choy Kyungcheol

Suk-Hun Kyung

Michael Doh

 

Other publications of authors with the same name

A Practical String Analyzer by the Widening Approach., , , and . APLAS, volume 4279 of Lecture Notes in Computer Science, page 374-388. Springer, (2006)An Action Semantics Based on Two Combinators., and . Semantics and Algebraic Specification, volume 5700 of Lecture Notes in Computer Science, page 274-296. Springer, (2009)Action Transformation by Partial Evaluation.. PEPM, page 230-240. ACM Press, (1995)An Approach to Modeling Context-Adaptable Services., and . KES (3), volume 4694 of Lecture Notes in Computer Science, page 626-633. Springer, (2007)A Policy Description Language for Context-Based Access Control and Adaptation in Ubiquitous Environment., , and . EUC Workshops, volume 4097 of Lecture Notes in Computer Science, page 650-659. Springer, (2006)A Knowledge-Based Information Extraction System for Semi-structured Labeled Documents., , , and . IDEAL, volume 2412 of Lecture Notes in Computer Science, page 105-110. Springer, (2002)Abstract LR-Parsing., , and . Formal Modeling: Actors, Open Systems, Biological Systems, volume 7000 of Lecture Notes in Computer Science, page 90-109. Springer, (2011)Analysis of Secure Information Flow by Model-Checking., and . APLAS, page 225-236. (2001)Extraction of Strong Typing Laws from Action Semantics Definitions., and . ESOP, volume 582 of Lecture Notes in Computer Science, page 151-166. Springer, (1992)Wrapper Generation by Using XML-Based Domain Knowledge for Intelligent Information Extraction., , , and . PRICAI, volume 2417 of Lecture Notes in Computer Science, page 472-481. Springer, (2002)