Roba El Haj Omar

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Relational Data

Probabilistic Model

Top Venues

Log. Methods Comput. Sci.

Publications

Aaron Stump, Hans Zantema, Garrin Kimmell, Roba El Haj Omar
A Rewriting View of Simple Typing Log. Methods Comput. Sci. 9 (1) (2012)
Aaron Stump, Garrin Kimmell, Roba El Haj Omar
Type Preservation as a Confluence Problem. RTA (2011)