Cs-Lo
계산가능 논리의 가산·비가산 분기 반복 연산 관계와 새로운 정의
순차 증명으로부터 논리적 동시성 제어 자동 생성
복잡 최적화와 답집합 프로그래밍
무타입 람다 항(term) 수 세기 연구
PDL의 코알제브라적 해석과 확률적 모델링
구성 요소 업그레이드 정렬
디폴트 논리에서 이상치 탐지의 복잡도 경계
클래식 시퀀트 계산을 파이 계산에 담다
형식 수학 의존성 분석: Coq와 Mizar의 추출 기법 및 활용
그라운드 트리 재작성 그래프의 1차 논리 이론 복잡도
보안 게임 은폐 활용 새로운 패러다임
CCS의 무죄 전략을 프레셰이프와 상호작용 동등성으로
반응형 노드의 모듈식 추상화와 분리 불변식
PRISM으로 분석한 PDGF 신호전달 경로
증명 가능한 안전 흐름 네트워크를 위한 도메인 특화 언어
크로네커 대수로 구현하는 공유 메모리 동시 시스템 검증
고차 재작성 시스템의 정지 증명을 위한 정적 의존 쌍 확장
법률 초안을 위한 형식화 도구와 모델 검증
정수 연산을 포함한 논리 프로그램의 비종료 분석
Kara ASP 해석 시각화와 편집 통합 도구
클래스 기반 객체지향 프로그래밍을 위한 의미론적 서술자와 근사화
효과적인 비블로킹 합의 프로토콜은 영원히 실행될 수 있다: 구성적 FLP 증명
