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 12 to 19 of 19

Issue DateTitleAuthor(s)
2020-06Optimizing homomorphic evaluation circuits by program synthesis and term rewriting이우석
2020-06Optimizing homomorphic evaluation circuits by program synthesis and term rewriting이우석
2023-09Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search이우석
2017-09Sound Non-Statistical Clustering of Static Analysis Alarms이우석
2018-11Syntax-guided synthesis of Datalog programs이우석
2021-06분할 정복 및 요약해석 기반 JavaScript 프로그램 합성이우석
2021-06분할 정복 및 요약해석 기반 JavaScript 프로그램 합성이우석
2022유체-구조 연성을 고려한 방추형 동맥류 혈관 구조 분석이우석

BROWSE