Hanyang University repository
menu
검색
Library
Hanyang
Browse
Communities & Collections
Titles
Authors
My Repository
My Account
Receive email updates
Edit Profile
Repository at Hanyang University
Search
All of Repository
COLLEGE OF COMPUTING[E](소프트웨어융합대학)
COMPUTER SCIENCE(소프트웨어학부)
Articles
Theses (Master)
Theses (Ph.D.)
Start a new search
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort items by
Relevance
Title
Issue Date
In order
Ascending
Descending
Authors/record
All
1
5
10
15
20
25
30
35
40
45
50
Results 1-6 of 6 (Search time: 0.001 seconds).
Item hits:
Issue Date
Title
Author(s)
2018-11
Syntax-guided synthesis of Datalog programs
이우석
2017-09
Sound Non-Statistical Clustering of Static Analysis Alarms
이우석
2018-10
Effective Program Debloating via Reinforcement Learning
이우석
2018-06
Accelerating search-based program synthesis using learned probabilistic models
이우석
2023-01-12
Madusa: mobile application demo generation based on usage scenarios
이우석
2023-01
Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions
이우석
previous
1
next
Discover
-Subject
2
Synthesis
1
abstract interpretation
1
Active learning
1
Android
1
Datalog
1
Demo generation
1
Domain-specific languages
1
false alarms
1
Integer linear programming
1
Mobile applications
next >
-Date issued
2
2023
3
2018
1
2017
BROWSE
Communities & Collections
Titles
Authors