According to our database1, Khalil Ajami authored at least 6 papers between 1997 and 2019.
Legend:Book In proceedings Article PhD thesis Other
SVU-VOSE: A hybrid model of a virtual, open, and socially driven learning environment.
eLearn Mag., 2019
Studying Academic Indicators within Virtual Learning Environment Using Educational Data Mining.
eLearn Mag., 2014
A Model Checking Method for Partially Symmetric Systems.
Proceedings of the Formal Techniques for Distributed System Development, 2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997