Cs-Lo
디지털 권리 관리 시스템에 대수 사양 적용 연구
RedAlert: Prolog 프로그램의 결정성 추론을 위한 새로운 Cut 의미론
Timed Concurrent Constraint 프로그램의 추상 진단
불확실한 전제에서도 확실한 결론을 끌어내기
ASP 기반 리눅스 패키지 구성 도구 aspcud
5입력 컷을 이용한 AIG 재작성 기법
제한된 세션 타입을 위한 타입 검사 알고리즘
정규표현식 매칭을 위한 연산 의미론과 가상 머신 설계
웹 애플리케이션 디버깅을 위한 역방향 트레이스 슬라이싱
형식적 컴포넌트 기반 의미론
브레인 계산 시스템 정적 미리보기와 가능한 행동
역방향 모달리티와 이벤트 식별자를 이용한 역사 보존 동형성 논리
준다형 폴리시 공간: 비하우스도르프 설정에서의 서술적 집합 이론
프로그램 종료 증명 잘 정의된 순서와 라무시 이론 및 행렬 활용
공변‑반공변 모달 공식의 그래픽 표현
비모놀로지 논리에서의 삼항 독립성: 한계와 규칙 생성
프로세스 의미론 통합을 위한 논리적 접근
연결 데이터용 검증된 대수
P 시스템을 위한 테스트 프레임워크: 관찰 가능성 및 정량적 분석
평균이득 자동자 표현식
분산 다중 컨텍스트 시스템의 대칭 탐지와 차단
모달 의존 논리 모델 검증 복잡도 분석
