Cs-Lo
모노이드 두번째 차 논리의 파라미터화된 비가역성
연산자 공간을 연결하는 범주론적 방법
재압축: 단순하면서 강력한 단어 방정식 해결 기법
다중 에이전트 인식 논리 전면 합동 연산자를 위한 테이블라우 기반 결정 절차
제한된 시간호환 페트리넷을 위한 전방 도달성 알고리즘
트리 토포스에서 합성 가드 도메인 이론의 첫걸음
마이크로커널 검증에서 배운 교훈 사양이 새로운 병목
정량적 정보 흐름을 안전과 활동성 하이퍼특성으로 이해하기
유한 교대 전이 시스템을 위한 제어 전략 알고리즘
뮤 계산의 단일 변수 절단 제거
튜링 기계의 관측 가능성: 계산 이론의 새로운 시각
확률 시스템을 위한 가정 보장 추상화 정제 기법
모달 논리의 만족성 vs. 유한 만족성: 결정성의 이중성
스키몰 함수 제거와 인터랙티브 실현성
고차 참조가 있는 타입 동형성 연구
디지털 영상용 이산 벡터 필드 생성 알고리즘의 Coq 검증
시간적 해석을 이용한 LTL 불만족 핵 추출
멀티푸시다운 시스템 모델검사 복잡도 분석
힙과 재귀의 상호작용 검증
DC와 PDC 사양에 대한 근사 모델 검증
초기 의미론과 감소 규칙의 통합
계산 신뢰성 PDE부터 프로그램까지 기계 증명
