Cs-Lo
최소 비만족 CNF 구성 방법에 관한 새로운 일반화 기법
의무 블랙웰 게임과 p 자동자
모달 이벤트 시계 자동자를 위한 견고한 사양 이론
클라우드 기반 인터랙티브 정리 증명 시스템 ProofPeer
확률적 브레인 계산기의 효율적 구현과 복사쓰기 최적화
그래픽 람다 계산과 매듭 이론
페르마 정리를 이용한 계산가능 범주적 필드 구축
관계 승강을 통한 일반화 파워로케일
다차원 정량 목표 게임의 전략 합성
중간 논리에서 무한 특성 공식의 새로운 지평
병렬 BioScape 모바일 및 공간 상호작용을 위한 확률적 병렬 언어
UPPAAL‑SMC: 가격이 부여된 시계 자동자를 위한 통계적 모델 검증
속성 탐색의 일반화된 형태
분기 변위 알고리즘의 정확성 검증
시간을 갖는 푸시다운 자동기 설계와 가용성 분석
RNAi와 레지스터 머신: 생물학적 연산 구조의 새로운 해석
일관된 최소화 효율적인 변조 방지 컴파일을 향하여
예외를 위한 인접성 이론
람다 항의 계수와 무작위 생성
군집 위의 다항함자와 대칭 데이터 타입
LTL에서 부치 자동화로 빠르고 결정적인 변환
좌측 순차 논리의 완전성 연구
