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
ETC[S]
ETC
연구정보
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-10 of 11 (Search time: 0.001 seconds).
Item hits:
Issue Date
Title
Author(s)
2020-06
Optimizing homomorphic evaluation circuits by program synthesis and term rewriting
이우석
2021-06
분할 정복 및 요약해석 기반 JavaScript 프로그램 합성
이우석
2021-08
Context-aware and data-driven feedback generation for programming assignments
이우석
2023-01
Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions
이우석
2020-06
Optimizing homomorphic evaluation circuits by program synthesis and term rewriting
이우석
2021-06
분할 정복 및 요약해석 기반 JavaScript 프로그램 합성
이우석
2022-05
Datalog Static Analysis in Secrecy
이우석
2021-08
Context-Aware and Data-Driven Feedback Generation for Programming Assignments
이우석
2023-05
Madusa: mobile application demo generation based on usage scenarios
이우석
2021-01
Combining the top-down propagation and bottom-up enumeration for inductive program synthesis
이우석
previous
1
2
next
Discover
-Subject
3
Program Synthesis
2
javascript
2
Program Repair
2
program synthesis
1
abstract interpretation
1
Android
1
Codes
1
Costs
1
Cryptography
1
Datalog
next >
-Date issued
3
2023
1
2022
5
2021
2
2020
BROWSE
Communities & Collections
Titles
Authors