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