Cs-Lo
계층적 인터랙션 개요 다이어그램의 형식화와 타이밍 다이어그램 검증
곱 동형 사상 문제와 CQ 정의 가능성에 관한 연구
구조적 특성 통합 프레임워크와 CSP 복잡도 분석
그래프 부분집합을 이용한 추상 상태 공간 탐색 최적화
널값과 비헤라드 안정 모델을 위한 관계 이론 변환
논리 프로그램 컴파일의 증명 이론적 개선
다중속도 하이브리드 ZIA 정제 검증
다항식 다이어그램을 이용한 선형 논리 범주
대체를 통한 별음향 네트워크 생성 방법
데이터 중심 비즈니스 프로세스 추론
라벨링된 CNF 공식의 중복성 일반화와 히팅 집합 이중성
모든 최소 모델의 결정 가능성
무한 체이즈 제어와 복합 무결성 제약 하의 질의 응답
무한열의 산술 자기유사성 연구
버퍼링된 파이 계산 동시성 언어 모델
범용 계산 모델
복제 컴포넌트를 위한 타입 축소 이론과 자동 검증
불완전 추론기의 완전성 보장: 이론과 실천
블록 수준 전이 함수 자동 합성: 양화 제거 없이 효율적 구현
비용 파리티·스트리트 게임의 전략과 복잡도
서술 논리에서 순환 최소화 복잡도 분석
설명 논리 기반 지식 행동 체계
