Cs-Lo
PSPACE를 위한 경량 선형 논리 기반 타입 시스템
동시 프로세스를 위한 약한 마코프 동형합동과 정확한 CTMC 집계
전체 역할 부정과 동일성 포함 설명 논리 결정용 테이블라우 접근법
격자 기반 최소 고정점 논리
플라이스펙 자동 증명과 학습 보조 시스템
확률 푸시다운 자동기의 동등성 판정
반선형 자동기의 최소화와 비표준 분할 정제의 한계
넥서스 권한 논리 최신 결과
양자 프로토콜 자동 검증을 위한 MCMAS 활용
대화형 논리 프로그래밍을 향하여
귀납형 정제의 일반화
Event B 모델을 위한 증명 힌트 활용 방안
N M 전압 스위칭 제어 시스템 설계 및 검증
선형 순서 기반 두 단계 테이블루 계산법: 듐멧 논리의 종료와 부분식 성질
경로 민감 정적 분석기 PAGAI
지능형 수학 증명 튜터 개발
시간 제약 사양 이론의 재조명 선형 시간 관점
비영 미소 단계와 메트릭 시계 논리
비동기 다중테이프 자동자 교집합의 불가능성 및 근사 알고리즘
모델 검증 문제 복잡도 사분법
온톨로지와 관계형 규칙 학습을 위한 귀납 논리 프로그래밍
동형 사상 유형 이론과 베오드스키의 일치 기반
