Two-Level Multiple-Output Logic Minimization Using a Single Function. - Ali Muhammad Ali Rushdi 001; Omar M. Ba-Rukab (Int. J. Comput. Math., 2003)

Fault-tree modelling of computer system security. - Ali Muhammad Ali Rushdi 001; Omar M. Ba-Rukab (Int. J. Comput. Math., 2005)

A purely map procedure for two-level multiple-output logic minimization. - Ali Muhammad Ali Rushdi 001; Omar M. Ba-Rukab (Int. J. Comput. Math., 2007)

Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks. - Alessio Angius; András Horváth; Sami M. Halawani; Omar M. Ba-Rukab; Ab Rahman Ahmad; Gianfranco Balbo (ASMTA, 2015)

A versatile mathematical work-flow to explore how Cancer Stem Cell fate influences tumor progression. - Chiara Fornari; Gianfranco Balbo; Sami M. Halawani; Omar M. Ba-Rukab; Ab Rahman Ahmad; Raffaele A. Calogero; Francesca Cordero; Marco Beccuti (BMC Syst. Biol., 2015)

From Symmetric Nets to Differential Equations exploiting Model Symmetries. - Marco Beccuti; Chiara Fornari; Giuliana Franceschinis; Sami M. Halawani; Omar M. Ba-Rukab; Ab Rahman Ahmad; Gianfranco Balbo (Comput. J., 2015)

Exploiting flow equivalent server in transient analysis. - Alessio Angius; András Horváth; Sami M. Halawani; Omar M. Ba-Rukab; Ab Rahman Ahmad; Gianfranco Balbo (Comput. Syst. Sci. Eng., 2016)