Zaraket, Fadi
50  results:
Search for persons X
?
1

Lisan: Yemeni, Iraqi, Libyan, and Sudanese Arabic Dialect C..:

, In: 2023 20th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA),
 
?
 
?
 
?
4

Contributors:

, In: Leveraging Biomedical and Healthcare Data,
 
?
5

Preface:

, In: Leveraging Biomedical and Healthcare Data,
Kobeissy, Firas ; Zaraket, Fadi A. ; Alawieh, Ali. - p. xxi-xxii , 2019
 
?
7

Diacritic-Based Matching of Arabic Words:

Jarrar, Mustafa ; Zaraket, Fadi ; Asia, Rami.
ACM Transactions on Asian and Low-Resource Language Information Processing (TALLIP).  18 (2018)  2 - p. 1-21 , 2018
 
?
8

Diacritic-Based Matching of Arabic Words:

Jarrar, Mustafa ; Zaraket, Fadi ; Asia, Rami.
ACM Transactions on Asian and Low-Resource Language Information Processing.  18 (2018)  2 - p. 1-21 , 2018
 
?
9

Big Data Semantics:

Ceravolo, Paolo ; Azzini, Antonia ; Angelini, Marco...
Journal on Data Semantics.  7 (2018)  2 - p. 65-85 , 2018
 
?
10

Global and Local Deadlock Freedom in BIP:

Attie, Paul C. ; Bensalem, Saddek ; Bozga, Marius...
ACM Transactions on Software Engineering and Methodology (TOSEM).  26 (2018)  3 - p. 1-48 , 2018
 
?
12

Global and Local Deadlock Freedom in BIP:

Attie, Paul C. ; Bensalem, Saddek ; Bozga, Marius...
ACM Transactions on Software Engineering and Methodology.  26 (2017)  3 - p. 1-48 , 2017
 
?
13

GUICop: Approach and toolset for specification‐based GUI te..:

Hammoud, Dalal ; Zaraket, Fadi A. ; Masri, Wes
Software Testing, Verification and Reliability.  27 (2017)  8 - p. , 2017
 
?
14

From high-level modeling toward efficient and trustworthy c..:

Zaraket, Fadi A. ; Jaber, Mohamad ; Noureddine, Mohamad.
International Journal on Software Tools for Technology Transfer.  21 (2017)  2 - p. 143-163 , 2017
 
?
15

Model Checking Software with First Order Logic Specificatio..:

Noureddine, Mohammad A. ; Zaraket, Fadi A.
IEEE Transactions on Software Engineering.  42 (2016)  8 - p. 741-763 , 2016
 
1-15