Ali S. Elzein

Identifiers

• name variant Ali S. Elzein 0.60 · backfill

Papers (1)

1. Synthesis of Sequential Extended Regular Expressions for Verification cs.FL · 2014 · author #3

Mentions

• 1401.3173 #3 · arxiv_oai · confidence 0.70 Ali S. Elzein
• 1401.3173 #3 · backfill · confidence 0.70 Ali S. Elzein

Frequent Coauthors

• Fadi A. Zaraket 1 shared papers
• Mohamad Noureddine 1 shared papers