Work under progress

The following is a list of mature projects that we are working on. Some of them are already available in a technical report form under Arxiv.

Specification Construction Using Behaviours, Equivalences, and SMT Solvers.

Paul C. Attie, Fadi A. Zaraket

target: to be submitted to TOSEM.

Lebanese Biomedical Corpora: Annotating Biomedical Texts for their Constitutive Elements

Ali Alawieh, Zahraa Sabra, Amani Jaber, Zaynab Hammoud, Ghassan Hamade, Fadi A. Zaraket

target: submit to BMC Bioinformatics.

Flexibility-based Scheduling for Smart Grids/Smart Homes Power Management

Kim Baraka, Rouwaida Kanj, Fadi A. Zaraket

target: to be submitted to transactions on smart grid systems.


  • Fadi A. Zaraket, Ameen Jaber, Jad Makhlouta, Sarf: Efficient and Application Customizable Arabic Morphological Analyzer. Natural Language Engineering (NLE). (Revise and resubmit).
progress.txt · Last modified: 2020/07/13 12:31 (external edit)
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki