2023-03 | An Empirical Comparison of Model-Agnostic Techniques for Defect Prediction Models | Scott Uk-Jin Lee |
2024-02-29 | Searchable Blockchain-Based Healthcare Information Exchange System to Enhance Privacy Preserving and Data Usability | 조성현 |
2023-01-01 | Graph Learning-Based Blockchain Phishing Account Detection with a Heterogeneous Transaction Graph | 조성현 |
2022-11-07 | Resonance-frequency modulation for a robust RF SAW filter design against temperature variations | 김정선 |
2023-01 | Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions | 이우석 |
2023-01-12 | Madusa: mobile application demo generation based on usage scenarios | 이우석 |
2024-03-18 | VConMC: Enabling Consistency Verification for Distributed Systems Using Implementation-Level Model Checkers and Consistency Oracles | 김범현 |
2002-04 | Microcode-based memory BIST implementing modified march algorithms | 도경구 |
2007-11 | 유비쿼터스 컴퓨팅을 위한 접근 제어 규칙과 상황적응 규칙의 안전성 검사 | 도경구 |
2009-01 | An action semantics based on two combinators | 도경구 |
2009-08 | Abstract parsing: Static analysis of dynamically generated string output using LR-parsing technology | 도경구 |
2009-10 | Formal identification of right-grained services for service-oriented modeling | 도경구 |
2009-11 | Transaction synchronization protocol using XML in client-server environment | 도경구 |
2009-11 | Tree-pattern-based duplicate code detection | 도경구 |
2009-11 | Generic information system using SMS gateway | 도경구 |
2009-12 | A comparative analysis of XML schema languages | 도경구 |
2011-05 | 실행시간 의존성 측정을 통한 SOA 취약성 평가 | 도경구 |
2011-11 | Abstract LR-parsing | 도경구 |
2011-12 | A trust management model for QoS-based service selection | 도경구 |
2013-01 | Use-case driven service modelling with XML-based tailoring for SOA | 도경구 |