A Formal Framework for Modelling and Validating Medical Systems. - George Eleftherakis (MedInfo, 2001)

Communicating X-Machines: From Theory to Practice. - Petros Kefalas; George Eleftherakis; Evangelos Kehris (Panhellenic Conference on Informatics, 2001)

Communicating X-machines: a practical approach for formal and modular specification of large systems. - Petros Kefalas; George Eleftherakis; Evangelos Kehris (Inf. Softw. Technol., 2003)

Formal verification of X-machine models : towards formal development of computer-based systems. - George Eleftherakis (2003)

Modeling Biology Inspired Reactive Agents Using X-machines. - George Eleftherakis; Petros Kefalas; Anna Sotiriadou; Evangelos Kehris (International Conference on Computational Intelligence, 2004)

Formal Development of Reactive Agent-Based Systems. - Petros Kefalas; Mike Holcombe; George Eleftherakis; Marian Gheorghe 001 (Encyclopedia of Information Science and Technology (II), 2005)

Secure Judicial Communication Exchange Using Soft-computing Methods and Biometric Authentication. - Mauro Cislaghi; George Eleftherakis; Roberto Mazzilli; Francois Mohier; Sara Ferri; Valerio Giuffrida; Elisa Negroni (CISIS, 2008)

A New Approach to International Judicial Cooperation through Secure ICT Platforms. - Mauro Cislaghi; George Eleftherakis; Domenico Pellegrini; Konstantinos Rousis (ICT4Justice, 2008)

A View on the Role of Information Security on ICT-enabled Judicial Systems. - George Eleftherakis; Konstantinos Rousis; Mauro Cislaghi; Stefano Somaschini (ICT4Justice, 2008)

Evaluation of Selective Distributed Discovery within Distributed Bio-active Agent Community. - Ognen Paunovski; George Eleftherakis; Konstantinos Dimopoulos; Tony Cowling (IDC, 2008)

European Judicial Collaboration Platform (JCP) for Secure International Judicial Collaboration. - Elisa Negroni; Katherine Davies; Mauro Cislaghi; George Eleftherakis; Sara Ferri (JURIX, 2008)

Transforming State-Based Models to P Systems Models in Practice. - Petros Kefalas; Ioanna Stamatopoulou; George Eleftherakis; Marian Gheorghe 001 (Workshop on Membrane Computing, 2008)

Formal Verification of Generalised State Machines. - George Eleftherakis; Petros Kefalas (Panhellenic Conference on Informatics, 2008)

Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services. - George Eleftherakis; Ognen Paunovski (MSVVEIS, 2008)

Disciplined Exploration of Emergence Using Multi-Agent Simulation Framework. - Ognen Paunovski; George Eleftherakis; Tony Cowling (Comput. Informatics, 2009)

Transforming communicating X-machines into P systems. - Petros Kefalas; Ioanna Stamatopoulou; Ilias Sakellariou; George Eleftherakis (Nat. Comput., 2009)

Evaluation of a selective distributed discovery strategy in a fully decentralized biologically inspired environment. - Ognen Paunovski; George Eleftherakis; Konstantinos Dimopoulos; Tony Cowling (Inf. Sci., 2010)

A methodology for developing component-based agent systems focusing on component quality. - George Eleftherakis; Petros Kefalas; Evangelos Kehris (FedCSIS, 2011)

Formal modelling of a bio-inspired paradigm capable of exhibiting emergence. - Konstantinos Rousis; George Eleftherakis; Ognen Paunovski; Anthony J. Cowling (BCI, 2012)

Emergent Distributed Bio-organization: A Framework for Achieving Emergent Properties in Unstructured Distributed Systems. - George Eleftherakis; Ognen Paunovski; Konstantinos Rousis; Anthony J. Cowling (IDC, 2012)

Wireless Monitoring Systems for Enhancing National Health Services in Developing Regions. - Adelina Basholli; Thomas Lagkas; George Eleftherakis; Peter A. Bath (HEALTHINF, 2014)

The hunter: Tracking randomly moving WBAN targets. - Kyriakos K. Skafas; Thomas Lagkas; George Eleftherakis (CAMAD, 2014)

Stigmergy Inspired Approach to Enable Agent Communication in Emergency Scenarios. - George Eleftherakis; Milos Kostic; Konstantinos Rousis; Anca Vasilescu (BCI, 2015)

A Pragmatic Evaluation of Distance Vector Proactive Routing in MANETs via Open Space Real-World Experiments. - Thomas D. Lagkas; Arbnor Imeri; George Eleftherakis (WISATS, 2015)

Editorial. - George Eleftherakis; Michael J. Butler; Mike Hinchey (Formal Aspects Comput., 2015)

Architecting the IoT Paradigm: A Middleware for Autonomous Distributed Sensor Networks. - George Eleftherakis; Dimitrios Pappas; Thomas Lagkas; Konstantinos Rousis; Ognen Paunovski (Int. J. Distributed Sens. Networks, 2015)

Healthcare professionals' attitudes towards remote patient monitoring through sensor networks. - Adelina Basholli; Thomas Lagkas; Peter A. Bath; George Eleftherakis (HealthCom, 2018)

Feasibility of sensor-based technology for monitoring health in developing countries - cost analysis and user perception aspects. - Adelina Basholli; Thomas Lagkas; Peter A. Bath; George Eleftherakis (CoRR, 2018)

Signal strength based scheme for following mobile IoT devices in dynamic environments. - Thomas Lagkas; George Eleftherakis; Konstantinos Dimopoulos; Jie Zhang 003 (Pervasive Mob. Comput., 2020)

Sensor-based platforms for remote management of chronic diseases in developing regions: A qualitative approach examining the perspectives of healthcare professionals. - Adelina Basholli; Thomas Lagkas; Peter A. Bath; George Eleftherakis (Health Informatics J., 2021)

Towards 6G IoT: Tracing Mobile Sensor Nodes with Deep Learning Clustering in UAV Networks. - Yannis Spyridis; Thomas Lagkas; Panagiotis G. Sarigiannidis; Vasileios Argyriou; Antonios Sarigiannidis; George Eleftherakis; Jie Zhang 003 (Sensors, 2021)

Bio-inspired Adaptive Architecture for Wireless Sensor Networks. - George Eleftherakis; Fesal Baxhaku; Anca Vasilescu (PCI, 2022)

Modelling argumentation in short text: A case of social media debate. - Anastasios Lytos; Thomas Lagkas; Panagiotis G. Sarigiannidis; Vasileios Argyriou; George Eleftherakis (Simul. Model. Pract. Theory, 2022)

Exploring Success Factors of Agile Teams: The Impact of Personality Traits, Psychological Safety, and Team Reflexivity on Performance. - George Eleftherakis; Vanya Dimitrova; Desislava Maglova; Vasiliki Morogianni (HSI, 2024)

Advancing Affective Intelligence in Virtual Agents Using Affect Control Theory. - Evdoxia Eirini Lithoxoidou; George Eleftherakis; Konstantinos Votis; Tony J. Prescott (IUI, 2025)

Exploring the influence of perceived extroversion in embodied virtual agents on trust and likability. - Evdoxia Eirini Lithoxoidou; Angelos Stamos; Andreas Triantafyllidis; Charalampos Georgiadis; Efthymios Altsitsiadis; Dimitris Giakoumis; Konstantinos Votis; Siegfried Dewitte; Dimitrios Tzovaras; George Eleftherakis; Tony J. Prescott (User Model. User Adapt. Interact., 2025)