2023-05-24 | Step by Step: A Gradual Approach for Dense Video Captioning | 윤종원 |
2023-05 | Revisiting the Coverage Boundary of Multi-CPU Cell-Free Massive MIMO: CPU Cooperation Aspect | 조성현 |
2023-05-31 | Development of ResNet152 UNet++-based segmentation algorithm for the tympanic membrane and affected areas | 이연준 |
2023-04 | Blockchain-Based One-Time Authentication for Secure V2X Communication Against Insiders and Authority Compromise Attacks | 조성현 |
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 | 도경구 |