This shows you the differences between two versions of the page.

progress [2018/02/05 15:22]
progress [2018/06/14 12:42] (current)
Line 8: Line 8:
target: to be submitted to TOSEM. target: to be submitted to TOSEM.
-=== RTL-Level Verification Using Separation of Design Concerns === 
-Maya H. Safieddine, Fadi A. Zaraket, Rouwaida Kanj, Ali El-Zein, and Wolfgang Roesner 
-target: to be submitted to TCAD.  
Line 32: Line 26:
-  * Fadi A. Zaraket, Ameen Jaber, MERF: Morphology-based Entity and Relational Entity Extraction Framework for Arabic. Language Resources and Evaluation (LRE).  
progress.txt · Last modified: 2018/06/14 12:42 by fadi
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