Cs-Lo
LTL 명세와 평균 이익 목표를 위한 합성 기법
Matita 웹 인터페이스 구현 및 활용
SAT 인코딩을 통한 K(m)/ALC 만족도 검사
SMT에서 작은 불만족 코어를 찾는 Lemma Lifting 기법
게델 다이얼렉티카 해석을 이용한 히그먼스 정리의 구성적 증명
결함 논리에서 강약 허가의 계산과 적용
계층적 인터랙션 개요 다이어그램의 형식화와 타이밍 다이어그램 검증
곱 동형 사상 문제와 CQ 정의 가능성에 관한 연구
구조적 특성 통합 프레임워크와 CSP 복잡도 분석
그래프 부분집합을 이용한 추상 상태 공간 탐색 최적화
널값과 비헤라드 안정 모델을 위한 관계 이론 변환
논리 프로그램 컴파일의 증명 이론적 개선
다중속도 하이브리드 ZIA 정제 검증
다항식 다이어그램을 이용한 선형 논리 범주
대체를 통한 별음향 네트워크 생성 방법
데이터 중심 비즈니스 프로세스 추론
라벨링된 CNF 공식의 중복성 일반화와 히팅 집합 이중성
모든 최소 모델의 결정 가능성
무한 체이즈 제어와 복합 무결성 제약 하의 질의 응답
무한열의 산술 자기유사성 연구
버퍼링된 파이 계산 동시성 언어 모델
범용 계산 모델
