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
692018
Systems biology, bioinformatics, and biomarkers in neuropsychiatry
FA Zaraket, JL Li, A Nokkari, M Razafsha, B Fadlallah, S Mondello, ...
Frontiers in Neuroscience 6, 34953, 2012
602012
Curras+ baladi: Towards a levantine corpus
KE Haff, M Jarrar, T Hammouda, F Zaraket
arXiv preprint arXiv:2205.09692, 2022
162022
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
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
Mathifier—Speech recognition of math equations
SN Batlouni, HS Karaki, FA Zaraket, FN Karameh
2011 18th IEEE International Conference on Electronics, Circuits, and …, 2011
132011
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 copora with morphological annotations
M Jarrar, FA Zaraket, T Hammouda, DM Alavi, M Waahlisch
arXiv preprint arXiv:2212.06468, 2022
102022
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
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
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
72023
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
MATAR: Morphology-based tagger for arabic
FA Zaraket, A Jaber
2013 ACS International Conference on Computer Systems and Applications …, 2013
72013
Methodology for separation of design concerns using conservative RTL Flipflop inference
MH Safieddine, FA Zaraket, R Kanj, A Elzein, W Roezner
Proc. DVCon, 1-8, 2015
62015
PBCOV: a property-based coverage criterion
K Fawaz, F Zaraket, W Masri, H Harkous
Software Quality Journal 23, 171-202, 2015
62015
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
62014
The system can't perform the operation now. Try again later.
Articles 1–20