Formal Modeling and Model Checking Analysis of the Wishbone System-on-Chip Bus Protocol. - Ricai Luo; Hua Tan (ICICA (LNCS), 2012)

Estimation of Unknown Functions of Iterative Difference Inequalities and Their Applications. - Ricai Luo; Wu-Sheng Wang; Honglei Xu (J. Appl. Math., 2014)

A New Criterion for Exponential Stability of a Class of Hopfield Neural Network with Time-Varying Delay Based on Gronwall's Inequality. - Faming Guo; Ricai Luo; Xiaolan Qin; Yunfei Yi (Comput. Intell. Neurosci., 2021)

Study on Solving Algorithm of T Matrix Eigenvalues Based on C Programming Language. - Weida Qin; Ricai Luo; Yinhu Wei (CCCE, 2022)

Computing the partition dimension of certain families of Toeplitz graph. - Ricai Luo; Adnan Khalil; Ali Ahmad 003; Muhammad Azeem 002; Gafurjan I. Ibragimov; Muhammad Faisal Nadeem (Frontiers Comput. Neurosci., 2022)