| Exploiting symmetry in linear time temporal logic model checking: One step beyond K Ajami, S Haddad, JM Ilié International Conference on Tools and Algorithms for the Construction and …, 1998 | 40 | 1998 |
| A model checking method for partially symmetric systems S Haddad, JM Ilié, K Ajami International Conference on Protocol Specification, Testing and Verification …, 2000 | 25 | 2000 |
| Model checking through symbolic reachability graph JM Ilié, K Ajami Colloquium on Trees in Algebra and Programming, 213-224, 1997 | 11 | 1997 |
| Specifying and implementing interoperable and reusable learning objects: one step beyond K Ajami Proc. of Intl. Conf. on Information and Communication Technologies: From …, 2004 | 4 | 2004 |
| Studying Academic Indicators within Virtual Learning Environment Using Educational Data Mining E Aldikanji, K Ajami arXiv preprint arXiv:1612.01090, 2016 | 3 | 2016 |
| Specifying and Implementing Interoperable and Reusable Learning Objects K AJAMI Proc. of ICTAA'04, IEEE, 2004 | 3 | 2004 |
| APPLYING STUDENT EVALUATION OF TEACHING (SET) IN VIRTUAL LEARNING ENVIRONMENT (CASE STUDY: SYRIAN VIRTUAL LEARNING) K Ajami, O Haidar International Journal of Teaching and Education 6 (2), 24-45, 2018 | 2 | 2018 |
| Evaluating Interactive Learning Content in an eLearning Environment. K Ajami, M Suleiman eLearn Mag. 2014 (6), 4, 2014 | 2 | 2014 |
| Computing Tutors Performance Indicator in Virtual Learning Environment K AJAMI Higher Education Research 9 (2), 38-44, 2024 | | 2024 |
| مقترح خريطة طريق للاقتصاد المبني على المعرفة في الجمهورية العربية السورية K AJAMI ESCWA Report, 2022 | | 2022 |
| المنصة الرقمية المفتوحة للتعليم العالي K AJAMI Damascus Center of Research and Studies, 2020 | | 2020 |
| ARABIC ONTOLOGY-BASED APPROACH FOR CHEST DISEASES DIAGNOSIS A Alnader, I Salman, K Ajami, A Ammar Asian Journal of Information Technology 19 (8), 142 - 149, 2020 | | 2020 |
| SVU-VOSE: A hybrid model of a virtual, open, and socially driven learning environment K Ajami, O Haidar eLearn Magazine 2019 (5), 10, 2019 | | 2019 |
| تطبيق معايير كواليتي ماترز على المقررات التعليمية في الجامعة الافتراضية السورية https://www.eteconf.com مؤتمر تكنولوجيا وتقنيات التعليم والتعليم الالكتروني, 2019 | | 2019 |
| تصنيف الجامعات السورية: الفجوة بين الحل الإسعافي والتغيير الاستراتيجي K AJAMI SVU Pedia, 2018 | | 2018 |
| Khalil Ajami and Maher Suleiman (2014) К Ажами, М Сюлейман Evaluating Interactive Learning Content in an eLearning Environment, eLearn, 2014 | | 2014 |
| Studying the bachelor’s program in information technology K Ajami, L Mazloum | | 2014 |
| Virtual universities: Their status and position on the map of the world of university education K Ajami, T Kasmieh | | 2013 |
| Automatic Transformation of Electronic Documents into Reusable Learning Objects: New Approach Based on Artificial Neural Networks K Ajami, S Elias, V Aarar, M Osman, W Hejazi, H Khayyat 2006 2nd International Conference on Information & Communication …, 2006 | | 2006 |
| La vérification des systèmes concurrents : une approche fondée sur l’exploitation des symétries K AJAMI LIP6, 2000 | | 2000 |
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
