Cs-Lo
동시 명령형 프로그래밍을 위한 통합 프레임워크
다중값 시스템에서 선형시간 속성 모델 검증
값에 의한 호출 람다 계산과 리스트 및 제어
동적 시스템을 위한 시간 논리 체계적 구축
확률 자동화의 정제와 차이 연산
복잡성은 적자생존을 따른다
상호작용 증명의 논리: 지식 전달의 형식적 기반
양화 제약 만족 문제에 대한 사색
구조적 재귀와 코리커전을 통한 실현 가능 계산
트리 자동산산산 선형 순서의 단어 자동성은 결정 가능
평균이익 푸시다운 게임의 복잡도와 전략
그림 언어의 서술 복잡도와 차원 일반화
자격과 근접성을 갖는 CLP 구현을 위한 변환 기반 접근
스키덕션 귀납 연역 구조 통합 검증 합성
절차적과 선언적 인터랙티브 정리 증명의 통합
경로 기반 다항시간 복잡도 기준
큐 디스패치 비동기 시스템의 형식적 모델링
양자 비결정론 프로그램의 종료 판정
인바리언트 기반 프로그래밍과 자동·대화형 정리 증명 지원
가중 모달 전이 시스템을 통한 정량적 사양 이론
가상 파일시스템 스위치 형식 모델
행동 사양으로부터 막 시스템 자동 합성
