Cs-Lo
경로 기반 다항시간 복잡도 기준
큐 디스패치 비동기 시스템의 형식적 모델링
양자 비결정론 프로그램의 종료 판정
인바리언트 기반 프로그래밍과 자동·대화형 정리 증명 지원
가중 모달 전이 시스템을 통한 정량적 사양 이론
가상 파일시스템 스위치 형식 모델
행동 사양으로부터 막 시스템 자동 합성
루크레티아 반사형 언어를 위한 객체 타입 시스템
파라메트릭 확률 논리 입문
교대 정제 관계를 위한 고속 알고리즘
추상화 표현력과 완전성에 관한 심층 연구
파라미터화된 다자간 세션 타입
정규 해상도와 절 학습 증명 체계의 향상된 구분
모노이달 컴퓨터 I 기본 계산 가능성 및 문자열 다이어그램
고차 재귀 스킴의 IO와 OI 파생 전략 동등성
완전 WSTS를 위한 전방 분석 제2부
적응형 객체 그룹의 타입 안전 모델
소유권 인증 전송 프로토콜의 안전성 형식 검증
람다렛렉으로 표현 가능한 무한 람다 항의 특성
선형 제약 루프의 순위 함수 탐색과 복잡도 분석
CEGAR와 페트리망 상태 방정식의 결합
비잔틴 장군 공격에 대한 반격 파라미터화 모델 검증
