| 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 |
| 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 |
| An agile formal development methodology G Eleftherakis, AJ Cowling Proceedings of the 1st South-East European Workshop on Formal Methods, 36-47, 2003 | 45 | 2003 |
| Architecting the IoT paradigm: A middleware for autonomous distributed sensor networks G Eleftherakis, D Pappas, T Lagkas, K Rousis, O Paunovski International Journal of Distributed Sensor Networks 11 (12), 139735, 2015 | 39 | 2015 |
| 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 |
| Towards 6G IoT: Tracing mobile sensor nodes with deep learning clustering in UAV networks Y Spyridis, T Lagkas, P Sarigiannidis, V Argyriou, A Sarigiannidis, ... Sensors 21 (11), 3936, 2021 | 31 | 2021 |
| Developing tools for formal methods P Kefalas, G Eleftherakis, A Sotiriadou Proceedings of the 9th Panhellenic Conference in Informatics, 625-639, 2003 | 30 | 2003 |
| Formal verification of X-machine models: Towards formal development of computer-based systems G Eleftherakis University of Sheffield, 2003 | 28 | 2003 |
| Simulation and verification of P systems through communicating X-machines P Kefalas, G Eleftherakis, M Holcombe, M Gheorghe BioSystems 70 (2), 135-148, 2003 | 23 | 2003 |
| Formal Verification of Agent Models G Eleftherakis, P Kefalas, A Sotiriadou | 23* | |
| Communicating X-machines: from theory to practice P Kefalas, G Eleftherakis, E Kehris Panhellenic Conference on Informatics, 316-335, 2001 | 21 | 2001 |
| Disciplined exploration of emergence using multi-agent simulation framework O Paunovski, G Eleftherakis, AJ Cowling Computing and Informatics 28 (3), 369–391-369–391, 2009 | 20 | 2009 |
| Towards model checking of finite state machines extended with memory through refinement G Eleftherakis, P Kefalas Advances in signal processing and computer technologies, 321-326, 2001 | 19 | 2001 |
| Model checking safety critical systems specified as X-machines G Eleftherakis, P Kefalas Analele Universitatii Bucharest, Matematica-Informatica series 49, 59-70, 2000 | 18 | 2000 |
| Transforming communicating X-machines into P systems P Kefalas, I Stamatopoulou, I Sakellariou, G Eleftherakis Natural Computing 8, 817-832, 2009 | 17 | 2009 |
| Formal Modelling of the Dynamic Behaviour of Biology-Inspired, Agent-Based Systems P Kefalas, G Eleftherakis, I Stamatopoulou Molecular Computational Models: Unconventional Approaches, 243-276, 2005 | 16 | 2005 |
| Modular modelling of large-scale systems using communicating X-machines P Kefalas, G Eleftherakis, E Kehris Proceedings of the 8th Panhellenic Conference in Informatics, Greek Computer …, 2001 | 16* | 2001 |
| Modeling Biology Inspired Reactive Agents Using X-machines. G Eleftherakis, P Kefalas, A Sotiriadou, E Kehris International Conference on Computational Intelligence, 93-96, 2004 | 14 | 2004 |
| A modelling language and tool for Population P Systems I Stamatopoulou, P Kefalas, G Eleftherakis, M Gheorghe Proceedings of the 10th Panhellenic Conference in Informatics (PCI’05), 11-13, 2005 | 12 | 2005 |
| Object-based language for generalized state machines D Dranidis, G Eleftherakis, P Kefalas Annals of Mathematics, Computing and Teleinformatics (AMCT) 1 (3), 8-17, 2005 | 9 | 2005 |
PETROS KEFALASCITY College, University of York Europe Campus在 york.citycollege.eu 的电子邮件经过验证
