Follow
Fadi A Zaraket
Title
Cited by
Cited by
Year
Big data semantics
P Ceravolo, A Azzini, M Angelini, T Catarci, P Cudré-Mauroux, E Damiani, ...
Journal on Data Semantics 7, 65-85, 2018
722018
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
602012
Curras+ baladi: Towards a levantine corpus
KE Haff, M Jarrar, T Hammouda, F Zaraket
arXiv preprint arXiv:2205.09692, 2022
262022
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
162023
Nabra: Syrian Arabic Dialects with Morphological Annotations
A Nayouf, T Hammouda, M Jarrar, F Zaraket, MB Kurdy
arXiv preprint arXiv:2310.17315, 2023
152023
Reduction and abstraction techniques for BIP
M Noureddine, M Jaber, S Bliudze, FA Zaraket
Formal Aspects of Component Software: 11th International Symposium, FACS …, 2015
152015
Mathifier—Speech recognition of math equations
SN Batlouni, HS Karaki, FA Zaraket, FN Karameh
2011 18th IEEE International Conference on Electronics, Circuits, and …, 2011
142011
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
132012
Sequential circuits for relational analysis
F Zaraket, A Aziz, S Khurshid
29th International Conference on Software Engineering (ICSE'07), 13-22, 2007
132007
Arabic morphological analyzer with agglutinative affix morphemes and fusional concatenation rules
F Zaraket, J Makhlouta
Proceedings of COLING 2012: Demonstration Papers, 517-526, 2012
122012
Scalable compositional minimization via static analysis
F Zaraket, J Baumgartner, A Aziz
ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005 …, 2005
112005
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
102023
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
92018
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
92016
Co-optimization of embedded systems utilizing symbolic execution
AS El-Zein, FA Zaraket
US Patent 8,234,604, 2012
92012
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
82014
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
82013
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
72017
PBCOV: a property-based coverage criterion
K Fawaz, F Zaraket, W Masri, H Harkous
Software Quality Journal 23, 171-202, 2015
72015
MATAR: Morphology-based tagger for arabic
FA Zaraket, A Jaber
2013 ACS International Conference on Computer Systems and Applications …, 2013
72013
The system can't perform the operation now. Try again later.
Articles 1–20