Khalil Ajami

According to our database, Khalil Ajami authored at least 6 papers between 1997 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

SVU-VOSE: A hybrid model of a virtual, open, and socially driven learning environment.

Khalil Ajami, Ola Haidar

eLearn Mag., 2019

2016

Studying Academic Indicators within Virtual Learning Environment Using Educational Data Mining.

Eid Aldikanji, Khalil Ajami

CoRR, 2016

2014

Evaluating Interactive Learning Content in an eLearning Environment.

Khalil Ajami, Maher Suleiman

eLearn Mag., 2014

2000

A Model Checking Method for Partially Symmetric Systems.

Serge Haddad, Jean-Michel Ilié, Khalil Ajami

Proceedings of the Formal Techniques for Distributed System Development, 2000

1998

Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond.

Khalil Ajami, Serge Haddad, Jean-Michel Ilié

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1997

Model Checking Through Symbolic Reachability Graph.

Jean-Michel Ilié, Khalil Ajami

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997