Cs-Lo
용어 그래프 재작성의 수렴 모드
분산 우선순위 합성
튜링 정리와 일반 물리 원리의 연관성
고차원 불완전 조합 논리의 모델 구축과 일관성
제한조건을 SAT으로 변환하는 BEE 컴파일러
테스트와 테일러 전개를 통한 자원 람다 계산의 완전 추상화
양자 제어 흐름 정의와 확장
분산 가능성의 페트리 넷 분석
계약 위반 트레이스 간소화 기법
제한 범주와 풍부한 범주의 동등성
CPSA 실행 결과를 논리 문장으로 추출하여 보안 목표 검증
형식 증명으로 보는 실대수 기하와 양화소거
구조적 일반 코리커전과 코인덕티브 그래프
분산 하이브리드 시스템을 위한 정량적 미분 동역학 논리 완전 공리화
의존 논리와 그 변형들의 계산 복잡도 탐구
타입드 구문과 의미론의 초기성
세밀한 구현을 추상화로 검증하는 선형가능성 증명
연속 마코프 논리의 파라미터화 메타이론
정렬된 데이터 값을 갖는 트리 위의 2변수 논리를 위한 자동화
Maple 프로그램의 형식 사양 및 검증
연속시간 마코프 연쇄의 순간 보상 근사
퍼지 구체 도메인을 활용한 설명 논리
