Cs-Lo
계층적 상태를 활용한 CIF 모델링 혁신
위하우어 감소도 구조 연구
무한 단어 확률 오토마타의 결정 가능성 경계
클라이언트 적합성을 통한 행동 서브타이핑
전략별 루프 검증을 통한 비종료 자동 판정
현상·인지 확률 동적 논리
Fagin 정리 24에서 k값 찾기
비동기 시스템 효율성 평가 도구 FASE 소개
BSS 모델에서 비계산 가능 함수와 대수적 실수의 계층
범용 트레이스 논리 코알지브라와 궤적 의미의 통합
표시 포스트라이트와 깊은 추론의 대응 관계: 중첩 시퀀스 계산법에서 시제 논리의 연구
정수 집합 방정식의 표현력 연구
다항시간에 풀 수 있는 집합 제약의 새로운 지평
확률 과정 대수를 위한 수치 표현 스키마
두 변수 의존 논리와 IF 논리의 복잡도
대규모 생물 네트워크를 위한 ProbLog 구현과 성능 분석
ICD10 기반 퍼지 시간 논리 의료 전문가 시스템
셀룰러 오토마타의 범주론적 시각
분자 상호작용 지도 계산법
시간 확률 관찰 행동 기반 근사 테스트 동등성
모나드 함수의 재귀 정의와 도메인 이론 고정점 활용
NP 논리 시스템과 모델 동등성 감소
