Hanyang University repository
menu
검색
Library
Hanyang
Browse
Communities & Collections
Titles
Authors
My Repository
My Account
Receive email updates
Edit Profile
Repository at Hanyang University
Browsing "COMPUTER SCIENCE(소프트웨어학부)" byAuthor이우석
Jump to:
All
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
All
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
가
나
다
라
마
바
사
아
자
차
카
타
파
하
가
나
다
라
마
바
사
아
자
차
카
타
파
하
or enter first few letters:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 2 to 7 of 7
Issue Date
Title
Author(s)
2018-10
Effective Program Debloating via Reinforcement Learning
이우석
2023-06-06
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
이우석
2023-01
Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions
이우석
2023-01-12
Madusa: mobile application demo generation based on usage scenarios
이우석
2017-09
Sound Non-Statistical Clustering of Static Analysis Alarms
이우석
2018-11
Syntax-guided synthesis of Datalog programs
이우석
1
BROWSE
Communities & Collections
Titles
Authors