Search results for: Osman Hasan
Innovations in Systems and Software Engineering > 2018 > 14 > 2 > 83-100
IEEE Transactions on Computers > 2017 > 66 > 11 > 1982 - 1990
IEEE Design & Test > 2017 > 34 > 5 > 30 - 37
Journal of Automated Reasoning > 2018 > 60 > 1 > 85-105
IEEE Transactions on Computers > 2017 > 66 > 3 > 515 - 530
Journal of Parallel and Distributed Computing > 2017 > 100 > C > 157-171
Journal of Network and Computer Applications > 2017 > 78 > C > 191-215
IEEE Access > 2017 > 5 > 5494 - 5505
Science of Computer Programming > 2017 > 133 > P2 > 154-174
Journal of Applied Logic > 2016 > 18 > C > 19-41