| Authors | Title | Year | Source title |
|---|---|---|---|
| Qanadilo M., Samara S., Zhao Y. | Accelerating online model checking | 2013 | Proceedings - 6th Latin-American Symposium on Dependable Computing, LADC 2013 |
| Alqadi R.A., Malhis L.M. | A systematic approach for building processors in a computer design lab course at universities in developing countries | 2007 | Information Technology Journal |
| Natsheh E.M., Natsheh A.R., Albarbar A. | Intelligent controller for managing power flow within standalone hybrid power systems | 2013 | IET Science, Measurement and Technology |