Repository at Hanyang University

Browsing 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 1 to 16 of 16

Issue DateTitleAuthor(s)
2018-06Accelerating search-based program synthesis using learned probabilistic models이우석
2021-01Combining the top-down propagation and bottom-up enumeration for inductive program synthesis이우석
2021-08Context-aware and data-driven feedback generation for programming assignments이우석
2021-08Context-Aware and Data-Driven Feedback Generation for Programming Assignments이우석
2022-05Datalog Static Analysis in Secrecy이우석
2018-10Effective Program Debloating via Reinforcement Learning이우석
2023-01Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions이우석
2009-02KNX-ZigBee 게이트웨이의 설계 및 구현이우석
2023-05Madusa: mobile application demo generation based on usage scenarios이우석
2020-06Optimizing homomorphic evaluation circuits by program synthesis and term rewriting이우석
2020-06Optimizing homomorphic evaluation circuits by program synthesis and term rewriting이우석
2017-09Sound Non-Statistical Clustering of Static Analysis Alarms이우석
2018-11Syntax-guided synthesis of Datalog programs이우석
2021-06분할 정복 및 요약해석 기반 JavaScript 프로그램 합성이우석
2021-06분할 정복 및 요약해석 기반 JavaScript 프로그램 합성이우석
2022유체-구조 연성을 고려한 방추형 동맥류 혈관 구조 분석이우석
1

BROWSE