Cs-Lo
반응형 노드의 모듈식 추상화와 분리 불변식
PRISM으로 분석한 PDGF 신호전달 경로
증명 가능한 안전 흐름 네트워크를 위한 도메인 특화 언어
크로네커 대수로 구현하는 공유 메모리 동시 시스템 검증
고차 재작성 시스템의 정지 증명을 위한 정적 의존 쌍 확장
법률 초안을 위한 형식화 도구와 모델 검증
정수 연산을 포함한 논리 프로그램의 비종료 분석
Kara ASP 해석 시각화와 편집 통합 도구
클래스 기반 객체지향 프로그래밍을 위한 의미론적 서술자와 근사화
효과적인 비블로킹 합의 프로토콜은 영원히 실행될 수 있다: 구성적 FLP 증명
고차 저장소를 위한 중첩 호어 삼중항과 프레임 규칙
무작위 공리, 과연 수학을 풍부하게 할까
생물 시스템 모델링을 위한 최소 객체지향 계산법
아교균근과 뿌리 세포 상호작용 모델링: 포장 컴파트먼트 계산을 이용한 공간 상호작용 연구
희소 그래프 부분클래스에서 1차 논리식 효율적 판정
제약 기반 무한대기 검사와 ProB의 산업 적용
MIZAR 라이브러리에서 함수·관계 속성 누락을 통한 암묵적 가정 추출
추상 모델 검증에서 허위 반례를 빠르게 탐지하는 방법
λ계산과 조건부 재작성의 결합에서 수렴성 확보 방안
부분 직접성 포스트 임베딩 문제의 결정 가능성 연구
정보 흐름 프레임워크의 새로운 모듈형 아키텍처
LoCo: 구성 문제를 위한 새로운 논리 체계
