Repository at Hanyang University

Browsing "COLLEGE OF COMPUTING[E](소프트웨어융합대학)" 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
가 나 다 라 마 바 사 아 자 차 카 타 파 하
  • Sort by:
  • In order:
  • Results/Page
  • Authors/Record:

Showing results 3 to 6 of 6

Issue DateTitleAuthor(s)
2023-01Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions이우석
2023-01-12Madusa: mobile application demo generation based on usage scenarios이우석
2017-09Sound Non-Statistical Clustering of Static Analysis Alarms이우석
2018-11Syntax-guided synthesis of Datalog programs이우석
1

BROWSE