Khalil Ajami

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

2014
Evaluating Interactive Learning Content in an eLearning Environment.
eLearn Mag., 2014

2000
A Model Checking Method for Partially Symmetric Systems.
Proceedings of the Formal Techniques for Distributed System Development, 2000

1998
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1997
Model Checking Through Symbolic Reachability Graph.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997


  Loading...