본문 바로가기

권기현 (Gihwon Kwon)

소속기관
한국정보과학회
소속부서
-
직급
-
ORCID
-
연구경력
-

주요 연구분야

  • 공학 > 컴퓨터학

저자의 논문 현황

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

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

  • 피인용 논문 제목
    • 피인용 논문 저자
게시판 목록
논문명 저널명 발행연도 이용수 피인용수
SMT 해결기를 이용한 자바 메모리 모델 시뮬레이션 정보과학회논문지 : 컴퓨팅의 실제 및 레터 2009 92 0
이진 기수 조건에서 인접성 표현을 위한 최적화된 CNF 변환 정보과학회논문지 : 소프트웨어 및 응용 2008 53 0
병행성 분석을 위한 액션 기반의 LTS 바운드 모델 체커 정보과학회논문지 : 소프트웨어 및 응용 2008 34 0
Promela 모델에서 C 코드를 끼워서 추상화하기 한국정보과학회 학술발표논문집 2008 39 0
SMT를 이용한 자바 메모리 모델 시뮬레이션 한국정보과학회 학술발표논문집 2008 39 0
모델 체킹을 이용한 JUnit 기반 테스트 드라이버 자동 생성 한국정보과학회 학술발표논문집 2008 30 0
이진 변수 기수 조건을 위한 CNF 변환 방법의 분석 정보과학회논문지 : 소프트웨어 및 응용 2008 41 0
정형논리를 이용한 모델링 및 분석 정보과학회지 2007 47 0
BIR 모델의 바운디드 모델 검증 정보과학회논문지 : 소프트웨어 및 응용 2007 53 0
SAT 처리기를 위한 수도쿠 퍼즐의 최적화된 인코딩 정보과학회논문지 : 소프트웨어 및 응용 2007 94 0
스마트 홈을 위한 사용자 프로파일 기반의 임베디드 통합 리모트 컨트롤러 설계 한국정보과학회 학술발표논문집 2005 65 0
SMV를 이용한 확장된 유한상태 기계의 정형 검증 한국정보과학회 학술발표논문집 2005 37 0
모델 체킹을 위한 자바프로그램의 술어추상화 한국정보과학회 학술발표논문집 2005 24 0
모델 추상화를 이용한 네모라이즈 게임 풀이 한국정보과학회 학술발표논문집 2005 42 0
이진 프로그램을 위한 CTL 모델 체킹 한국정보과학회 학술발표논문집 2005 15 0
릴레이 모델 체킹을 이용한 상태 폭발 문제 해결 정보과학회논문지 : 소프트웨어 및 응용 2004 35 0
유닉스/리녹스 운영체제의 Memory Mapped File 성능 비교·분석 한국정보과학회 학술발표논문집 2004 76 0
자바 바이트 코드에서 정보흐름 보안성 검사 한국정보과학회 학술발표논문집 2004 22 0
Non-SQL 질의 데이터 서버 아키텍처 한국정보과학회 학술발표논문집 2004 18 0
모델 기반 임베디드 소프트웨어의 개발 경험 한국정보과학회 학술발표논문집 2004 68 0
더보기