Academic Position |
Professor of Information Systems and Director of the PhD Programme at CITY College, Senior Researcher at SEERC |
Academic Qualifications |
PhD in Computer Science and an MSc with Distinction from the University of Sheffield, UK, and BSc in Physics (4 years) from the University of Ioannina, Greece. |
Office | Koromila Building, 4th floor |
Office Hours |
Friday 12:00 |
Telephone | 2310 253477, 536544, 528450 |
eleftherakis@york.citycollege.eu | |
Personal Website | http://www.city.academic.gr/csd/eleftherakis/ |
Nature Inspired Computing, Distributed Systems, Sensor Networks, Formal Verification, Formal Modelling, Computational Systems Biology, Computer Security, Membrane Computing, Multi agent systems, Emergence, Health Informatics, Responsible Research and Innovation (RRI)
Adelina Basholli, Thomas Lagkas, Peter A. Bath, and George Eleftherakis, "Sensor-based platforms for remote management of chronic diseases in developing regions: a qualitative approach examining the perspectives of healthcare professionals", Health Informatics Journal, 27(1) :1460458220979350. doi: 10.1177/1460458220979350. PMID: 33435815.
Thomas Lagkas, George Eleftherakis, Konstantinos Dimopoulos, Jie Zhang, "Signal Strength-based Scheme for Following Mobile IoT Devices in Dynamic Environments", Journal of Pervasive Mobile Computing, 65, 101165. ISSN 1574-1192, Elsevier, https://doi.org/10.1016/j.pmcj.2020.101165, May 2020.
Basholli, T. Lagkas, P. A. Bath and G. Eleftherakis, "Healthcare professionals’ attitudes towards remote patient monitoring through sensor networks," 2018 IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom), Ostrava, 2018, pp. 1-6.
George Eleftherakis, Dimitrios Pappas, Thomas Lagkas, Konstantinos Rousis, Ognen Paunovski, “Architecting the IoT Paradigm: A Middleware for Autonomous Distributed Sensor Networks”, International Journal of Distributed Sensor Networks (IJDSN), 139735:1-139735:17 (2015)
George Eleftherakis, Michael J. Butler, Mike Hinchey, “Editorial”. Formal Asp. Comput. 27(3): 473 (2015)
O. Paunovski, G. Eleftherakis, K.Dimopoulos, and A.J. Cowling. Evaluation of a selective distributed discovery strategy in a fully decentralized biologically inspired environment. Information Sciences, vol. 180, pp. 1865-1875, May 2010.
P. Kefalas, I. Stamatopoulou, M. Gheorghe, and G. Eleftherakis. Membrane Computing and X-machines. In G. Paun, editor, The Oxford Handbook of Membrane Computing, volume 23.4, pages 612-620. Oxford University Press, 2009.
G. Eleftherakis, K. Rousis, M. Cislaghi, Roberto Mazzilli, and Sara Ferri. Security Requirements in Judicial Information Systems: Experience from a European Project for Judicial Cross-Border Collaboration. Journal of Information Assurance and Security (JIAS), 4(6):519-529, 2009. Special Issue on Information Assurance and Data Security.
O. Paunovski, G. Eleftherakis, and A.J. Cowling. Disciplined Exploration of Emergence using Multi-Agent Simulation Framework. Computing and Informatics, 28(3):369-391, 2009.
P. Kefalas, I. Stamatopoulou, I. Sakellariou, and G. Eleftherakis. Transforming Communicating X-machines into P Systems. Natural Computing, 2009
Mauro Cislaghi, George Eleftherakis, Roberto Mazzilli, Francois Mohier, Sara Ferri, Valerio Giuffrida, and Elisa Negroni. Secure Judicial Communication Exchange using soft-computing methods and biometric authentication. In International Workshop on Computational Intelligence in Security for Information Systems (CISIS'08), Genova, Italy, October 2008.
O. Paunovski, G. Eleftherakis, and A.J. Cowling. Framework for Empirical Exploration of Emergence using Multi-Agent Simulation. In S.Stepney, F. Polack, and P. Welch, editors, 1st Workshop on Complex Systems Modelling and Simulation (COSMOS 2008), pages 1-31, York, UK, September 2008.
G. Eleftherakis and P. Kefalas. Formal Verification of Generalised State Machines. In S.Gritzalis, D.Plexousakis, and D.Pnevmatikatos, editors, 12th Panhellenic Conference on Informatics (PCI 2008), pages 227-231, Samos, Greece, August 2008. IEEE Computer Society.
G. Eleftherakis and O.Paunovski. Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services. In 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2008)), pages 180-189, Barcelona, Spain, June 2008.
George Eleftherakis, Konstantinos Dimopoulos, and Anna Sotiriadou. Enhancing Students Communication Skills - the Case of the International Students Symposium. In Informatics Education Europe II (IEEII), pages 44-52, Thessaloniki, Greece, November 2007.
George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (Eds.): Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers. Lecture Notes in Computer Science 4860 Springer 2007, ISBN 978-3-540-77311-5
G. Eleftherakis (editor), Formal Methods: Challenges in the business world, ISBN 960-87869-8-3, SEERC, 2006. (Post-Proceedings of the 2nd South Eastern European workshop on Formal Methods (SEEFM 05))
P. Kefalas, G. Eleftherakis, M. Holcombe, and I. Stamatopoulou. Formal modelling of the dynamic behaviour of biology-inspired agent-based systems. In M. Gheorghe, editor, Molecular Computational Models: Unconventional Approaches, chapter 9, pages 243-276. Idea Group Publishing, 2005.
P. Kefalas, M. Holcombe, G. Eleftherakis, and M. Gheorghe. A formal method for the development of agent-based systems. In V. Plekhanova, editor, Intelligent Agent Software Engineering, chapter 4, pages 68-98. Idea Group Publishing, 2003.
P. Kefalas, G. Eleftherakis, M. Holcombe, and M. Gheorghe. Simulation and Verification of P Systems using Communicating X-machines. Biosystems, 70(2):135-148, July 2003.
P. Kefalas, G. Eleftherakis, and E. Kehris. Communicating X-machines: a practical approach for formal and modular specification of large systems. Information and Software Technology, 45(5):269-280, April 2003.
G. Eleftherakis and A.J. Cowling. An Agile Formal Development Methodology. In 1st South Eastern European workshop on Formal Methods (SEEFM 03), pages 36-47, Thessaloniki, November 2003. Agile Formal Methods: Practical, Rigorous Methods for a changing world.
P. Kefalas, G. Eleftherakis, and A. Sotiriadou. Developing Tools for Formal Methods. In 9th Panhellenic Conference on Informatics, pages 625-639, Thessaloniki, November 2003.
G. Eleftherakis. A Formal Framework for Modelling and Validating Medical Systems. In V. Patel, R. Rogers, and R. Haux, editors, MEDINFO 2001, volume 1, pages 13-17, London, UK, September 2001. IOS Press.