George Eleftherakis

Orcid: 0000-0003-4857-4006

According to our database1, George Eleftherakis authored at least 33 papers between 2001 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Modelling argumentation in short text: A case of social media debate.
Simul. Model. Pract. Theory, 2022

Bio-inspired Adaptive Architecture for Wireless Sensor Networks.
Proceedings of the 26th Pan-Hellenic Conference on Informatics, 2022

2021
Towards 6G IoT: Tracing Mobile Sensor Nodes with Deep Learning Clustering in UAV Networks.
Sensors, 2021

Sensor-based platforms for remote management of chronic diseases in developing regions: A qualitative approach examining the perspectives of healthcare professionals.
Health Informatics J., 2021

2020
Signal strength based scheme for following mobile IoT devices in dynamic environments.
Pervasive Mob. Comput., 2020

2018
Feasibility of sensor-based technology for monitoring health in developing countries - cost analysis and user perception aspects.
CoRR, 2018

Healthcare professionals' attitudes towards remote patient monitoring through sensor networks.
Proceedings of the 20th IEEE International Conference on e-Health Networking, 2018

2015
Architecting the IoT Paradigm: A Middleware for Autonomous Distributed Sensor Networks.
Int. J. Distributed Sens. Networks, 2015

Editorial.
Formal Aspects Comput., 2015

A Pragmatic Evaluation of Distance Vector Proactive Routing in MANETs via Open Space Real-World Experiments.
Proceedings of the Wireless and Satellite Systems, 2015

Stigmergy Inspired Approach to Enable Agent Communication in Emergency Scenarios.
Proceedings of the 7th Balkan Conference on Informatics Conference, 2015

2014
The hunter: Tracking randomly moving WBAN targets.
Proceedings of the 19th IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, 2014

Wireless Monitoring Systems for Enhancing National Health Services in Developing Regions.
Proceedings of the HEALTHINF 2014, 2014

2012
Emergent Distributed Bio-organization: A Framework for Achieving Emergent Properties in Unstructured Distributed Systems.
Proceedings of the Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing, 2012

Formal modelling of a bio-inspired paradigm capable of exhibiting emergence.
Proceedings of the Balkan Conference in Informatics, 2012, 2012

2011
A methodology for developing component-based agent systems focusing on component quality.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

2010
Evaluation of a selective distributed discovery strategy in a fully decentralized biologically inspired environment.
Inf. Sci., 2010

2009
Transforming communicating X-machines into P systems.
Nat. Comput., 2009

Disciplined Exploration of Emergence Using Multi-Agent Simulation Framework.
Comput. Informatics, 2009

2008
Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services.
Proceedings of the Modelling, 2008

Formal Verification of Generalised State Machines.
Proceedings of the Panhellenic Conference on Informatics, 2008

Transforming State-Based Models to P Systems Models in Practice.
Proceedings of the Membrane Computing - 9th International Workshop, 2008

European Judicial Collaboration Platform (JCP) for Secure International Judicial Collaboration.
Proceedings of the Legal Knowledge and Information Systems, 2008

Evaluation of Selective Distributed Discovery within Distributed Bio-active Agent Community.
Proceedings of the Intelligent Distributed Computing, Systems and Applications, Proceedings of the 2nd International Symposium on Intelligent Distributed Computing, 2008

A View on the Role of Information Security on ICT-enabled Judicial Systems.
Proceedings of the 1<sup>st</sup> International Conference on ICT Solutions for Justice, 2008

A New Approach to International Judicial Cooperation through Secure ICT Platforms.
Proceedings of the 1<sup>st</sup> International Conference on ICT Solutions for Justice, 2008

Secure Judicial Communication Exchange Using Soft-computing Methods and Biometric Authentication.
Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems, 2008

2005
Formal Development of Reactive Agent-Based Systems.
Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005

2004
Modeling Biology Inspired Reactive Agents Using X-machines.
Proceedings of the International Conference on Computational Intelligence, 2004

2003
Formal verification of X-machine models : towards formal development of computer-based systems.
PhD thesis, 2003

Communicating X-machines: a practical approach for formal and modular specification of large systems.
Inf. Softw. Technol., 2003

2001
Communicating X-Machines: From Theory to Practice.
Proceedings of the Advances in Informatics, 8th Panhellenic Conference on Informatics, 2001

A Formal Framework for Modelling and Validating Medical Systems.
Proceedings of the MEDINFO 2001, 2001


  Loading...