Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Yi, Kwangkeun"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
LR error repair using the A* algorithm
Ik-Soon Kim
,
Kwangkeun Yi
Acta Informatica
47
(3), 2011, pp. 179-207
An empirical study on classification methods for alarms from a bug-finding static C analyzer
Kwangkeun Yi
,
Hosik Choi
,
Jaehwang Kim
,
Yongdai Kim
Information Processing Letters
102
(2-3), 2007, pp. 118-123
A proof method for the correctness of modularized 0CFA
Oukseh Lee
,
Kwangkeun Yi
,
Yunheung Paek
Information Processing Letters
81
(4), 2002, pp. 179-185
A cost-effective estimation of uncaught exceptions in Standard ML programs
Kwangkeun Yi
,
Sukyoung Ryu
Theoretical Computer Science
277
(1-2), 2002, pp. 185-217