Showing results 16 to 20 of 20
Issue Date | Title | Author(s) |
---|---|---|
2017-09 | Sound Non-Statistical Clustering of Static Analysis Alarms | 이우석 |
2018-11 | Syntax-guided synthesis of Datalog programs | 이우석 |
2021-06 | 분할 정복 및 요약해석 기반 JavaScript 프로그램 합성 | 이우석 |
2021-06 | 분할 정복 및 요약해석 기반 JavaScript 프로그램 합성 | 이우석 |
2022 | 유체-구조 연성을 고려한 방추형 동맥류 혈관 구조 분석 | 이우석 |