บทความวิจัยพ.ศ. 2560Local model checking algorithm based on mu-calculus with partial orders พ.ศ. 2560 ติดต่อนักวิจัยแชร์ บันทึกเข้าสู่ระบบเพื่อบันทึกคำสำคัญComputational complexityModel checkingFixpointPartitioned dependency graphPropositional mu-calculusงานวิจัยในหัวข้อใกล้เคียงNumerical analysis algorithm for inspection policy procedure พ.ศ. 2559Graph-based algorithm for checking wrong indirect relationships in non-free choice พ.ศ. 2563Alternative modeling schemes for propositional calculus problems พ.ศ. 2559Parallel algorithm for combinatorial optimization problem มหาวิทยาลัยธรรมศาสตร์ พ.ศ. 2560Software reliability prediction using fuzzy min-max algorithm and recurrent neural network approach พ.ศ. 2559