Khalil Ajami

Publication Activity (10 Years)

Years Active: 1997-2019
Publications (10 Years): 2

Top Topics

Learning Environment

Scorm Compliant

Top Venues

Publications

Khalil Ajami, Ola Haidar
SVU-VOSE: A hybrid model of a virtual, open, and socially driven learning environment. eLearn Mag. 2019 (5) (2019)
Eid Aldikanji, Khalil Ajami
Studying Academic Indicators within Virtual Learning Environment Using Educational Data Mining. CoRR (2016)
Khalil Ajami, Maher Suleiman
Evaluating Interactive Learning Content in an eLearning Environment. eLearn Mag. 2014 (6) (2014)
Serge Haddad, Jean-Michel Ilié, Khalil Ajami
A Model Checking Method for Partially Symmetric Systems. FORTE (2000)
Khalil Ajami, Serge Haddad, Jean-Michel Ilié
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. TACAS (1998)
Jean-Michel Ilié, Khalil Ajami
Model Checking Through Symbolic Reachability Graph. TAPSOFT (1997)