| Enhancing NetLogo to simulate BDI communicating agents I Sakellariou, P Kefalas, I Stamatopoulou Artificial Intelligence: Theories, Models and Applications: 5th Hellenic …, 2008 | 95 | 2008 |
| A design language and tool for X-machines specification P KAPETI, P Kefalas Advances in Informatics, 134-145, 2000 | 65 | 2000 |
| Communicating X-machines: A practical approach for formal and modular specification of large systems P Kefalas, G Eleftherakis, E Kehris Information and Software Technology 45 (5), 269-280, 2003 | 51 | 2003 |
| Computational models of collective foraging M Gheorghe, M Holcombe, P Kefalas BioSystems 61 (2-3), 133-141, 2001 | 51 | 2001 |
| Quality assurance procedures and e-ODL P Kefalas, S Retalis, D Stamatis, T Kargidis International Conference on Networked Universities and e-Learning, 8-9, 2003 | 50 | 2003 |
| A formal method for the development of agent-based systems P Kefalas, M Holcombe, G Eleftherakis, M Gheorghe Intelligent agent software engineering, 68-98, 2003 | 49 | 2003 |
| Using X-machines to model and test discrete event simulation programs E Kehris, G Eleftherakis, P Kefalas Systems and control: Theory and applications, 163-171, 2000 | 39 | 2000 |
| Modelling dynamic organization of biology-inspired multi-agent systems with communicating x-machines and population p systems I Stamatopoulou, M Gheorghe, P Kefalas International Workshop on Membrane Computing, 389-403, 2004 | 37 | 2004 |
| A multi‐agent framework to assist networked learning D Stamatis, P Kefalas, T Kargidis Journal of computer assisted learning 15 (3), 201-210, 1999 | 35 | 1999 |
| Developing tools for formal methods P Kefalas, G Eleftherakis, A Sotiriadou Proceedings of the 9th Panhellenic Conference in Informatics, 625-639, 2003 | 30 | 2003 |
| An entrepreneurial model for internationalisation of higher education: The case of city college, an international faculty of The University of Sheffield P Ketikidis, Y Ververidis, P Kefalas Proceedings of the Conference on Entrepreneurial Universities, 2012 | 25 | 2012 |
| Teaching intelligent agents using NetLogo I Sakellariou, P Kefalas, I Stamatopoulou ACM-IFIP IEEIII, 209-221, 2008 | 25 | 2008 |
| Formal agent-based modelling and simulation of crowd behaviour in emergency evacuation plans I Stamatopoulou, I Sakellariou, P Kefalas 2012 IEEE 24th International Conference on Tools with Artificial …, 2012 | 23 | 2012 |
| Xmctl: Extending temporal logic to facilitate formal verification of x-machines G Eleftherakis, P Kefalas, A Sotiriadou Matematica-Informatica 50, 79-95, 2002 | 23* | 2002 |
| A recommender system based on hierarchical clustering for cloud e-learning K Pireva, P Kefalas Intelligent Distributed Computing XI, 235-245, 2018 | 22 | 2018 |
| Simulation and verification of P systems through communicating X-machines P Kefalas, G Eleftherakis, M Holcombe, M Gheorghe BioSystems 70 (2), 135-148, 2003 | 22 | 2003 |
| Formal modelling of reactive agents as an aggregation of simple behaviours P Kefalas Methods and Applications of Artificial Intelligence: Second Hellenic …, 2002 | 22 | 2002 |
| Modelling the dynamic structure of biological state-based systems I Stamatopoulou, P Kefalas, M Gheorghe BioSystems 87 (2-3), 142-149, 2007 | 21 | 2007 |
| Communicating X-machines: from theory to practice P Kefalas, G Eleftherakis, E Kehris Panhellenic Conference on Informatics, 316-335, 2001 | 21 | 2001 |
| Cloud e-learning: A new challenge for multi-agent systems K Pireva, P Kefalas, D Dranidis, T Hatziapostolou, A Cowling Agent and Multi-Agent Systems: Technologies and Applications: Proceedings of …, 2014 | 19 | 2014 |
