Cs-Lo
오미니멀 하이브리드 도달 게임
조니슨 항을 통한 제약 언어의 효율성
전환 연산자를 통한 새로운 컴퓨팅 논리
편집과 검증
격자 그래프에서 이산 조던 곡선 정리의 복잡성
확률적 프로그램의 무한 재귀 종료 시간 분석
프로세스 이론과 검증 기법
자체 복구형 센서‑액터 네트워크: 안전·실시간·보안 계층화 설계
GIPSY에 구현된 완전 컨텍스트 연산 설계
상태 기반과 이벤트 기반 시스템 간 대응 관계에 관한 새로운 포크 정리
종속쌍 방법이 유도하는 파생 복잡도와 그 한계
답집 프로그래밍에서 강등, 균일 및 기타 동등성 개념의 통합적 관점
동시성 관계에서 유도된 직교모듈라 격자와 그 응용
cAMP PKA MAPK 경로의 다중 구획 모델링과 시뮬레이션
동기식 게임과 시뮬레이션 그리고 람다 계산
선언적 구조화 통신을 위한 통합 프레임워크
공동귀납적 정확 실수 연산의 형식 검증
제약 만족 문제에 대한 보편 대수적 접근의 범위
논리적 관점에서 본 순서형 논리합 연산자
cCSP 의미 모델 연계 연구
명시적 치환을 갖는 선형 λ계산과 깊은 추론에서의 증명 탐색
대안 논리 탐구 두 권의 책 리뷰
