default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKyung-Goo Doh
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[j9]Nurul Atiqah Abu Talib, Kyung-Goo Doh:
Assessment of Dynamic Open-source Cross-site Scripting Filters for Web Application. KSII Trans. Internet Inf. Syst. 15(10): 3750-3770 (2021)
2010 – 2019
- 2018
- [j8]Hyo-Sub Lee, Myung-Ryul Choi, Kyung-Goo Doh:
Tree-Pattern-Based Clone Detection with High Precision and Recall. KSII Trans. Internet Inf. Syst. 12(5): 1932-1950 (2018) - 2015
- [j7]Yukyong Kim
, Yongtae Shin, Kyung-Goo Doh:
Quantitative trust management with QoS-aware service selection. Int. J. Web Grid Serv. 11(3): 247-264 (2015) - 2013
- [j6]Yukyong Kim, Kyung-Goo Doh:
Use-case driven service modelling with XML-based tailoring for SOA. Int. J. Web Grid Serv. 9(1): 35-53 (2013) - [c21]Yukyong Kim, Kyung-Goo Doh:
Quantitative Trust Management to Support QoS-Aware Service Selection in Service-Oriented Environments. ICPADS 2013: 504-509 - [c20]Hyunha Kim, Kyung-Goo Doh, David A. Schmidt:
Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing. SAS 2013: 194-214 - [e1]Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff:
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013. EPTCS 129, 2013 [contents] - 2012
- [j5]Yukyong Kim, Kyung-Goo Doh:
Pragmatic granularity decision for right-grained services in service-oriented modelling. Int. J. Web Grid Serv. 8(2): 111-133 (2012) - [c19]Yukyong Kim, Kyung-Goo Doh:
A Trust Management Model for QoS-Based Service Selection. WISA 2012: 345-357 - 2011
- [c18]Kyung-Goo Doh, Hyunha Kim, David A. Schmidt:
Abstract LR-Parsing. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 90-109
2000 – 2009
- 2009
- [c17]Kyung-Goo Doh, David A. Schmidt:
An Action Semantics Based on Two Combinators. Semantics and Algebraic Specification 2009: 274-296 - [c16]Hyo-Sub Lee, Kyung-Goo Doh:
Tree-pattern-based duplicate code detection. CIKM-DSMM 2009: 7-12 - [c15]Noman Zahid, Muhammad Shahid Ansari, Kyung-Goo Doh:
Transaction synchronization protocol using XML in client-server environment. CIKM-DSMM 2009: 19-20 - [c14]Muhammad Shahid Ansari, Noman Zahid, Kyung-Goo Doh:
A Comparative Analysis of XML Schema Languages. FGIT-DTA 2009: 41-48 - [c13]Kyung-Goo Doh, Hyunha Kim, David A. Schmidt:
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. SAS 2009: 256-272 - [c12]Yukyong Kim, Kyung-Goo Doh:
Formal Identification of Right-Grained Services for Service-Oriented Modeling. WISE 2009: 261-273 - 2007
- [j4]Minkyoung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn, Kyung-Goo Doh:
A programming environment for ubiquitous computing environment. ACM SIGPLAN Notices 42(4): 14-22 (2007) - [c11]Yukyong Kim, Kyung-Goo Doh:
The Service Modeling Process Based on Use Case Refactoring. BIS 2007: 108-120 - [c10]Yukyong Kim, Kyung-Goo Doh:
An Approach to Modeling Context-Adaptable Services. KES (3) 2007: 626-633 - 2006
- [c9]Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh:
A Practical String Analyzer by the Widening Approach. APLAS 2006: 374-388 - [c8]Joonseon Ahn, Byeong-Mo Chang, Kyung-Goo Doh:
A Policy Description Language for Context-Based Access Control and Adaptation in Ubiquitous Environment. EUC Workshops 2006: 650-659 - 2003
- [j3]Kyung-Goo Doh, Peter D. Mosses:
Composing programming languages by combining action-semantics modules. Sci. Comput. Program. 47(1): 3-36 (2003) - 2002
- [j2]Kyung-Goo Doh, Seung Cheol Shin:
Detection of information leak by data flow analysis. ACM SIGPLAN Notices 37(8): 66-71 (2002) - [c7]Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi:
Data Flow Analysis of Secure Information-Flow. APLAS 2002: 352-365 - [c6]Jaeyoung Yang, Heekuck Oh, Kyung-Goo Doh, Joongmin Choi:
A Knowledge-Based Information Extraction System for Semi-structured Labeled Documents. IDEAL 2002: 105-110 - [c5]Jaeyoung Yang, Jungsun Kim, Kyung-Goo Doh, Joongmin Choi:
Wrapper Generation by Using XML-Based Domain Knowledge for Intelligent Information Extraction. PRICAI 2002: 472-481 - 2001
- [c4]Kyung-Goo Doh, Seung Cheol Shin:
Analysis of Secure Information Flow by Model-Checking. APLAS 2001: 225-236 - [c3]Kyung-Goo Doh, Peter D. Mosses:
Composing Programming Languages by Combining Action-Semantics Modules. LDTA@ETAPS 2001: 87-109
1990 – 1999
- 1995
- [c2]Kyung-Goo Doh:
Action Transformation by Partial Evaluation. PEPM 1995: 230-240 - 1993
- [j1]Kyung-Goo Doh, David A. Schmidt:
Action Semantics-Directed Prototyping. Comput. Lang. 19(4): 213-233 (1993) - 1992
- [c1]Kyung-Goo Doh, David A. Schmidt:
Extraction of Strong Typing Laws from Action Semantics Definitions. ESOP 1992: 151-166
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
