Cs-Lo
예측자를 포함한 GSOS 규칙의 공리화
논증 프레임워크 의미 전이를 통한 논리 프로그램 새로운 의미 체계
오메가 자동자와 게임에서 작은 증인 수용 라소와 승리 전략
통신형 ASP의 표현력: 다중 에이전트 협업이 만든 복잡도 상승
X 계산에서 교차·합 타입의 불일치와 그 한계
선호 답안 집합을 위한 보증된 파생과 논증 구조
상호작용과 관찰을 구분하는 범주론적 접근
준메트릭 공간의 특정 초공간에 대한 계산 모델
모든 공식 기반 논리 프로그램은 최소 무한값 모델을 갖는다
CIF 선형화, SOS 규칙을 통한 효율적 구현
멀티티어 웹 언어 타입과 효과 분석 재구성 및 정합성 확보
집합론 모델에 따라 달라지는 1‑카운터 Büchi 자동기의 보완 언어 크기
0‑근사 의미론 기반 계획 검증 증명 시스템
디지털 권리 관리 시스템에 대수 사양 적용 연구
RedAlert: Prolog 프로그램의 결정성 추론을 위한 새로운 Cut 의미론
Timed Concurrent Constraint 프로그램의 추상 진단
불확실한 전제에서도 확실한 결론을 끌어내기
ASP 기반 리눅스 패키지 구성 도구 aspcud
5입력 컷을 이용한 AIG 재작성 기법
제한된 세션 타입을 위한 타입 검사 알고리즘
정규표현식 매칭을 위한 연산 의미론과 가상 머신 설계
웹 애플리케이션 디버깅을 위한 역방향 트레이스 슬라이싱
