Cs-Lo
보간법 특성 및 SAT 기반 모델 검증의 통합 프레임워크
프로세스 대수와 행동 기반 CTL의 통합
시계가 있는 보헴 트리로 람다 항등식 구분하기
LTL FG 조각을 위한 결정적 오토마타
거친 집합 이론에서 지식 표현의 변증법
동적 인식 논리를 이용한 이동형 구조 에이전트 모델
부정완전 상호증명 논리: 에피스테믹 디시더의 형식 이론
용어 그래프 재작성의 수렴 모드
분산 우선순위 합성
튜링 정리와 일반 물리 원리의 연관성
고차원 불완전 조합 논리의 모델 구축과 일관성
제한조건을 SAT으로 변환하는 BEE 컴파일러
테스트와 테일러 전개를 통한 자원 람다 계산의 완전 추상화
양자 제어 흐름 정의와 확장
분산 가능성의 페트리 넷 분석
계약 위반 트레이스 간소화 기법
제한 범주와 풍부한 범주의 동등성
CPSA 실행 결과를 논리 문장으로 추출하여 보안 목표 검증
형식 증명으로 보는 실대수 기하와 양화소거
구조적 일반 코리커전과 코인덕티브 그래프
분산 하이브리드 시스템을 위한 정량적 미분 동역학 논리 완전 공리화
의존 논리와 그 변형들의 계산 복잡도 탐구
