Cs-Lo
셸라 스투프와 무치닉 반복의 논리적 호환성 연구
Coq와 하이퍼맵을 이용한 이산 조던 곡선 정리
자동 대응 검증을 통한 보안 프로토콜 인증 검증
데이터 워드 안전 교대 자동화와 복잡도 연구
그래프 모델 검증을 위한 초소형 라벨링 스킴: FO 논리와 지역적 클리크 폭 구조
DRL 기반 연성 제약의 k 하이퍼아크 일관성 강화
환경 가정 기반 합성
고정점 정리 무효화가 보여주는 복제 메커니즘
최대 사분면 일관성 문제를 위한 의사불리언 모델링
가산 순서수 교회 문제의 결정성 및 합성
하이브리드 두 단계 접근법으로 고차 추상 구문 다루기
복합 데이터 구조 자동 귀납 증명
클론 푸시아웃 기반 순환 텀그래프 변환 프레임워크
자기 진리 정의가 가능한 존재적 고정점 논리
무한 확장 게임의 기계적 증명 분석
π 계산의 동등성 검증과 모달 논리를 위한 증명 탐색 사양
일차 명제 논리를 위한 게임 의미론의 생성적 프레젠테이션
오메가 자동 구조의 기수와 카운팅 한정자
위상수학 기반 시나리오형 실시간 동시 시스템 사양 검증
제26회 국제 논리 프로그래밍 회의 특집호 소개
이벤트‑B 모델을 알로이로 변환해 자동 검증하기
부치 게임을 위한 새로운 알고리즘
