| Big data semantics P Ceravolo, A Azzini, M Angelini, T Catarci, P Cudré-Mauroux, E Damiani, ... Journal on Data Semantics 7, 65-85, 2018 | 79 | 2018 |
| Systems biology, bioinformatics, and biomarkers in neuropsychiatry A Alawieh, FA Zaraket, JL Li, S Mondello, A Nokkari, M Razafsha, ... Frontiers in Neuroscience 6, 187, 2012 | 61 | 2012 |
| Curras+ baladi: Towards a levantine corpus KE Haff, M Jarrar, T Hammouda, F Zaraket arXiv preprint arXiv:2205.09692, 2022 | 32 | 2022 |
| Lîsan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Corpora with Morphological Annotations M Jarrar, FA Zaraket, T Hammouda, DM Alavi, M Wählisch 2023 20th ACS/IEEE International Conference on Computer Systems and …, 2023 | 24 | 2023 |
| Nabra: Syrian Arabic Dialects with Morphological Annotations A Nayouf, T Hammouda, M Jarrar, F Zaraket, MB Kurdy arXiv preprint arXiv:2310.17315, 2023 | 22 | 2023 |
| Reduction and abstraction techniques for BIP M Noureddine, M Jaber, S Bliudze, FA Zaraket Formal Aspects of Component Software: 11th International Symposium, FACS …, 2015 | 18 | 2015 |
| Mathifier—Speech recognition of math equations SN Batlouni, HS Karaki, FA Zaraket, FN Karameh 2011 18th IEEE International Conference on Electronics, Circuits, and …, 2011 | 15 | 2011 |
| Arabic entity graph extraction using morphology, finite state machines, and graph transformations J Makhlouta, F Zaraket, H Harkous Computational Linguistics and Intelligent Text Processing: 13th …, 2012 | 13 | 2012 |
| Sequential circuits for relational analysis F Zaraket, A Aziz, S Khurshid 29th International Conference on Software Engineering (ICSE'07), 13-22, 2007 | 13 | 2007 |
| Arabic morphological analyzer with agglutinative affix morphemes and fusional concatenation rules F Zaraket, J Makhlouta Proceedings of COLING 2012: Demonstration Papers, 517-526, 2012 | 12 | 2012 |
| Global and local deadlock freedom in BIP PC Attie, S Bensalem, M Bozga, M Jaber, J Sifakis, FA Zaraket ACM Transactions on Software Engineering and Methodology (TOSEM) 26 (3), 1-48, 2018 | 11 | 2018 |
| Scalable compositional minimization via static analysis F Zaraket, J Baumgartner, A Aziz ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005 …, 2005 | 11 | 2005 |
| Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect Corpora with Morphological Annotations. The 20th ACS M Jarrar, F Zaraket, T Hammouda, D Masood, M Waehlisch IEEE International Conference on Computer Systems and Applications (AICCSA …, 2023 | 10 | 2023 |
| Model checking software with first order logic specifications using AIG solvers MA Noureddine, FA Zaraket IEEE Transactions on Software Engineering 42 (8), 741-763, 2016 | 10 | 2016 |
| Assessing the impact of the Lebanese National Polio Immunization Campaign using a population-based computational model A Alawieh, Z Sabra, EF Langley, AR Bizri, R Hamadeh, FA Zaraket BMC Public Health 17, 1-11, 2017 | 9 | 2017 |
| Co-optimization of embedded systems utilizing symbolic execution AS El-Zein, FA Zaraket US Patent 8,234,604, 2012 | 9 | 2012 |
| Bioinformatics approach to understanding interacting pathways in neuropsychiatric disorders A Alawieh, Z Sabra, A Nokkari, A El-Assaad, S Mondello, F Zaraket, ... Clinical Bioinformatics, 157-172, 2014 | 8 | 2014 |
| MATAR: Morphology-based tagger for arabic FA Zaraket, A Jaber 2013 ACS International Conference on Computer Systems and Applications …, 2013 | 8 | 2013 |
| Coverage specification for test case intent preservation in regression suites E Shaccour, F Zaraket, W Masri 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 8 | 2013 |
| Verification at RTL using separation of design concerns MH Safieddine, FA Zaraket, R Kanj, A El-Zein, W Roesner IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018 | 7 | 2018 |
Mustafa JarrarProfessor, Computer Science, Birzeit University, Palestine確認したメール アドレス: birzeit.edu