| 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 | 52 | 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 | 44 | 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 | 41 | 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 | 40 | 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 | 34 | 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* | |
| 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 | 22 | 2009 |
| Communicating X-machines: from theory to practice P Kefalas, G Eleftherakis, E Kehris Panhellenic Conference on Informatics, 316-335, 2001 | 21 | 2001 |
| 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 |
| Framework for empirical exploration of emergence using multi-agent simulation O Paunovski, G Eleftherakis, T Cowling Workshop on Complex Systems Modelling and Simulation. Luniver Press, 1-31, 2008 | 9 | 2008 |
Thomas LagkasAssistant Professor, Department of Informatics, Democritus University of ThraceVerified email at cs.duth.gr
