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
792018
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
612012
Curras+ baladi: Towards a levantine corpus
KE Haff, M Jarrar, T Hammouda, F Zaraket
arXiv preprint arXiv:2205.09692, 2022
322022
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
242023
Nabra: Syrian Arabic Dialects with Morphological Annotations
A Nayouf, T Hammouda, M Jarrar, F Zaraket, MB Kurdy
arXiv preprint arXiv:2310.17315, 2023
222023
Reduction and abstraction techniques for BIP
M Noureddine, M Jaber, S Bliudze, FA Zaraket
Formal Aspects of Component Software: 11th International Symposium, FACS …, 2015
182015
Mathifier—Speech recognition of math equations
SN Batlouni, HS Karaki, FA Zaraket, FN Karameh
2011 18th IEEE International Conference on Electronics, Circuits, and …, 2011
152011
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
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
112018
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
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
102016
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
92017
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
MATAR: Morphology-based tagger for arabic
FA Zaraket, A Jaber
2013 ACS International Conference on Computer Systems and Applications …, 2013
82013
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
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
72018
The system can't perform the operation now. Try again later.
Articles 1–20