Cs-Lo
다중 스레드 프로그램 파일 안전성 동적 검증
공유 계약 준수 엔드포인트 선형성의 새로운 패러다임
고차 포트 그래프 재작성
확률적 파이 계산의 테스트 전위에 대한 새로운 시뮬레이션 및 논리적 특성화
실현가능성 대수와 ZF+DC 모델: 실수의 비정렬성 예시
동시 양자 프로그램의 도달 가능성 및 종료 분석
논리의 코알제브라적 관점
공식 크기로 보는 복잡도 측정
공동귀환을 통한 코인덕티브 데이터의 내재 복잡도 분석
조건부 재작성 시스템의 언래버링, 선형성·비소거성으로 보장되는 소리함성
자연과 같은 계산: 행동 기반 프로그래머블성 정의
양화된 선호 논리
정확성 완성의 통합 이론
계산가능성 논리의 PSPACE 완전성
저수준 코드 타입 안전을 위한 불완전 데이터 타입 의미론
스스로가 될 수 있는 것들
최소 나쁜 수열을 위한 로케일
반응형 시스템을 위한 상호작용 관찰 기반 다이알제브라 의미론
제네릭 규칙을 활용한 인터랙션 넷 계산 확장
감소 다이어그램을 이용한 수렴성 형식화
인터랙티브 행동의 계산 복잡도
관계 연산자 조각에서 구분 불가능성의 시뮬레이션과 비시뮬레이션
