Fadi A. Zaraket

Identifiers

• name variant Fadi A. Zaraket 0.60 · backfill

Papers (7)

1. Morphology-based Entity and Relational Entity Extraction Framework for Arabic cs.IR · 2017 · author #2
2. GUICop: Approach and Toolset for Specification-based GUI Testing cs.SE · 2016 · author #2
3. From High-Level Modeling Towards Efficient and Trustworthy Circuits cs.SE · 2014 · author #3
4. Model Checking Software Programs with First Order Logic Specifications using AIG Solvers cs.SE · 2014 · author #1
5. UCov: a User-Defined Coverage Criterion for Test Case Intent Verification cs.SE · 2014 · author #2
6. Synthesis of Sequential Extended Regular Expressions for Verification cs.FL · 2014 · author #2
7. Specification Construction Using Behaviours, Equivalences, and SMT Solvers cs.SE · 2013 · author #2

Mentions

• 1409.8146 #3 · backfill · confidence 0.70 Fadi A. Zaraket
• 1409.6825 #1 · backfill · confidence 0.70 Fadi A. Zaraket
• 1407.3091 #2 · backfill · confidence 0.70 Fadi A. Zaraket
• 1401.3173 #2 · backfill · confidence 0.70 Fadi A. Zaraket
• 1307.6901 #2 · backfill · confidence 0.70 Fadi A. Zaraket

Frequent Coauthors

• Mohamad Noureddine 4 shared papers
• Wes Masri 2 shared papers
• Ali S. Elzein 1 shared papers
• Amin Jaber 1 shared papers
• Dalal Hammoud 1 shared papers
• Farah El-Hariri 1 shared papers
• Mohamad Jaber 1 shared papers
• Paul C. Attie 1 shared papers
• Rawad Abou Assi 1 shared papers