Autor der Publikation

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.

, , , und (Hrsg.) Volume 129 von EPTCS, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Doh, Kyung-Goo
Eine Person hinzufügen mit dem Namen Doh, Kyung-Goo
 

Weitere Publikationen von Autoren mit dem selben Namen

Quantitative trust management with QoS-aware service selection., , und . IJWGS, 11 (3): 247-264 (2015)Analysis of Secure Information Flow by Model-Checking., und . APLAS, Seite 225-236. (2001)Pragmatic granularity decision for right-grained services in service-oriented modelling., und . IJWGS, 8 (2): 111-133 (2012)Use-case driven service modelling with XML-based tailoring for SOA., und . IJWGS, 9 (1): 35-53 (2013)Wrapper Generation by Using XML-Based Domain Knowledge for Intelligent Information Extraction., , , und . PRICAI, Volume 2417 von Lecture Notes in Computer Science, Seite 472-481. Springer, (2002)Extraction of Strong Typing Laws from Action Semantics Definitions., und . ESOP, Volume 582 von Lecture Notes in Computer Science, Seite 151-166. Springer, (1992)Quantitative Trust Management to Support QoS-Aware Service Selection in Service-Oriented Environments., und . ICPADS, Seite 504-509. IEEE Computer Society, (2013)Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology., , und . SAS, Volume 5673 von Lecture Notes in Computer Science, Seite 256-272. Springer, (2009)Action Semantics-Directed Prototyping., und . Comput. Lang., 19 (4): 213-233 (1993)Action Transformation by Partial Evaluation.. PEPM, Seite 230-240. ACM Press, (1995)