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="Chang, Byeong-Mo"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A type and effect system for activation flow of components in Android programs
Kwanghoon Choi
,
Byeong-Mo Chang
Information Processing Letters
114
(11), 2014, pp. 620-627
Managing the granularity of constraint-based analyses by rule transformation
Byeong-Mo Chang
Information Processing Letters
83
(2), 2002, pp. 79-88
Efficient bottom-up execution of logic programs using abstract interpretation
Byeong-Mo Chang
,
Kwang-Moo Choe
,
Taisook Han
Information Processing Letters
47
(3), 1993, pp. 149-157
Static filtering on stratified programs
Byeong-Mo Chang
,
Kwang-Moo Choe
,
Taisook Han
Information Processing Letters
47
(5), 1993, pp. 237-244