본문 바로가기

이욱세 (Oukseh Lee)

소속기관
코드마인드
소속부서
-
직급
-
ORCID
-
연구경력
-

주요 연구분야

  • 공학 > 컴퓨터학

저자의 연구 키워드

저자가 작성한 논문들의 주요 키워드입니다.

저자의 연구 키워드
-

저자의 논문 현황

연도별 상세보기를 클릭하시면 연도별 이용수·피인용수 상세 현황을 확인하실 수 있습니다.
피인용수는 저자의 논문이 DBpia 내 인용된 횟수이며, 실제 인용된 횟수보다 적을 수 있습니다.
  • 논문수16
  • 발행기간1997 ~ 2014
  • 이용수1,086
  • 피인용수0

논문제목를 인용한 논문목록입니다.

  • 피인용 논문 제목
    • 피인용 논문 저자
게시판 목록
논문명 저널명 발행연도 이용수 피인용수
양방향 정적분석을 통한 정수구간 명세 자동유추의 실험 한국정보과학회 학술발표논문집 2014 29 0
소프트웨어 보안취약점 데이터베이스 구축 사례 정보과학회지 2010 520 0
소프트웨어 가치와 품질에 대한 인식전환 정보과학회지 2009 143 0
‘국내 컴퓨터과학/공학의 위상제고’ 좌담회 정보과학회지 2009 84 0
메모리 재사용 명령어 자동 삽입 변환기의 효과 한국정보과학회 학술발표논문집 2004 7 0
통합된 버그잡는 기술들 : SLAM과 Bandera 정보과학회지 2003 29 0
효율적인 메모리 사용을 위한 free 명령어 삽입 알고리즘 한국정보과학회 학술발표논문집 2002 9 0
메모리 타입 분석을 통한 안전하고 효율적인 메모리 재사용 한국정보과학회 학술발표논문집 2002 19 0
nML 컴파일러 시스템 (status report) 한국정보과학회 학술발표논문집 2001 22 0
일반화된 Let - 다형성 타입 유추 알고리즘 정보과학회논문지 : 소프트웨어 및 응용 2001 39 0
Let-다형성 타입 유추 알고리즘 M 의 병목을 해소하기 위한 혼성 알고리즘 H 정보과학회논문지 : 소프트웨어 및 응용 2000 27 0
안전한 모듈 지원 함수 흐름 분석 한국정보과학회 학술발표논문집 1999 6 0
스택 머신 코드의 타입 분석 한국정보과학회 학술발표논문집 1998 20 0
하향식 타입 유추 알고리즘 M의 속성 증명 정보과학회논문지(B) 1998 46 0
M : 타입 오류를 일찍 감지하는 타입 유추 알고리즘 한국정보과학회 학술발표논문집 1997 30 0
[기술해설]프로그래밍언어에서의 타입 시스템의 역할 정보과학회지 1997 56 0