Cs-Lo
일반 논리 프로그램 종료 예측
다중 레벨 모델링을 통한 효모 세포주기 시뮬레이션
전략 기반 완전 추상 모델의 귀납 정의와 영역 이론적 특성
비단조 논리의 복잡성 탐구
다중스케일 생물 시스템을 위한 프로세스 대수의 새로운 접근
평면 델로네 삼각분할의 형식적 증명
고차 컨텍스트 자유 프로세스의 기호적 선행 분석
약속 하에 명제 증명 복잡도 탐구
선형 논리를 위한 수축 없는 증명과 유한 게임 모델
오미니멀 하이브리드 도달 게임
조니슨 항을 통한 제약 언어의 효율성
전환 연산자를 통한 새로운 컴퓨팅 논리
편집과 검증
격자 그래프에서 이산 조던 곡선 정리의 복잡성
확률적 프로그램의 무한 재귀 종료 시간 분석
프로세스 이론과 검증 기법
자체 복구형 센서‑액터 네트워크: 안전·실시간·보안 계층화 설계
GIPSY에 구현된 완전 컨텍스트 연산 설계
상태 기반과 이벤트 기반 시스템 간 대응 관계에 관한 새로운 포크 정리
종속쌍 방법이 유도하는 파생 복잡도와 그 한계
답집 프로그래밍에서 강등, 균일 및 기타 동등성 개념의 통합적 관점
동시성 관계에서 유도된 직교모듈라 격자와 그 응용
