Seven Confluence Criteria for Solving COPS #20
11th International Workshop on Confluence (IWC 2022), 2022
Completion and Reduction Orders
6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), 2021
Basic Normalization
IFIP Working Group 1.6 (Term Rewriting), 2014
A Rewriting Solution to the Parsing Problem
IFIP Working Group 1.6 (Term Rewriting), 2012
Runtime Complexity Analysis for Term Rewriting
Two Faces of Complexity 2011, Novi Sad, Serbia, 2011
SAT/SMT solvers, its algorithm, implementation, and applications
SEFM School 2009, College of Technology, Vietnam National University, Hanoi, Vietnam, 2009
停止性自動検証ツールにおける SAT Solver の使い方
第５回プログラミングおよびプログラミング言語サマースクール, 2007