Aplikasi coates graf dalam sistem persamaan linier

Eksperimen formalisasi dalam sistem HOL dengan studi kasus teori graph

Permodelan masalah perhitungan order materi iklen yang dapat diselesaikan sejumlah maksimum ke dalam teori graph

Penyajian graph planar ortogonal dengan jumlah belokan minimum dalam petak ortogonal

Modeling multiple sequence alignment problems using graph theory approach = Telaah kritis berdasarkan Al Quran, As Sunnah, dan realitas empirik terhadap hukum bungan bank dalam wacana fikih komputer