Cs-Lo
다중 데이터 값을 갖는 단어에 대한 시제 논리
알고리즘의 갈루아 이론
포트 프로토콜을 이용한 컴포넌트 시스템 교착 상태 방지
결정 가능한 그래프 파이 계산기와 반복자
복합 토폴로지를 갖는 파라메트릭 사양 자동 검증
해밀턴 양화 논리 재조명
상호작용 넷을 위한 명시적 프레임워크
병렬 구성과 동등성에 따른 정규식 표현력 확장
다음 단계 연산자를 이용한 완전 기억성의 새로운 프레임 조건
하프넨 쇼함 구간 논리의 마지막 논문
파라메트릭 타임드 오토마타를 위한 Imitator II와 좋은 파라미터 탐색
이름을 가진 페트리망의 결정 문제
파라미터화 정규형 타입 추론
LSC 일관성 검증을 위한 논리 기반 프레임워크
파라미터 검증을 위한 유한 모델 탐색
운영 확장 하에서 방정식의 견고성
역점프가 프로그램 길이에 미치는 영향
안정된 구성 구조에서 역 바이시밀레이션
베르나이스 쉔펜클 라스머리 클래스의 의미 일반화와 유한·공유 스펙트럼
Gödel 이론 T에서 함수형 정의 가능성 연구
4QL의 논리적 기초와 복잡도
논리적 완전성의 의미와 루딕스 확장
