George Eleftherakis

Citado por

	Todos	Desde 2017
Citações	616	103
Índice h	16	4
Índice i10	18	1

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120226 13 15 39 30 21 22 41 54 37 41 38 35 31 26 18 31 18 15 11 26 24 9

Acesso público

Ver tudo

2 artigos

0 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

PETROS KEFALASCITY College, University of York Europe CampusEmail confirmado em york.citycollege.eu
Thomas LagkasAssistant Professor, Department of Computer Science, International Hellenic UniversityEmail confirmado em cs.ihu.gr
Evangelos KehrisProfessor, International Hellenic University, GreeceEmail confirmado em ihu.gr
Ioanna StamatopoulouAcademic Director of Undergraduate Studies, Associate Professor, Computer Science, CITY CollegeEmail confirmado em york.citycollege.eu
Mike HolcombeEmeritus Professor, University of Sheffield, UKEmail confirmado em sheffield.ac.uk
Marian GheorgheUniversity of BradfordEmail confirmado em bradford.ac.uk
Peter A BathUniversity of SheffieldEmail confirmado em sheffield.ac.uk
Adelina BasholliThe University of SheffieldEmail confirmado em seerc.org
Ilias SakellariouDept. of Applied Informatics, University Of Macedonia, ThessalonikiEmail confirmado em uom.edu.gr
Grzegorz RozenbergProfessor of Computer Science, Leiden UniversityEmail confirmado em liacs.leidenuniv.nl
Anca VasilescuTransilvania University of Brasov, RomaniaEmail confirmado em unitbv.ro
Jie ZhangProfessor of Wireless Systems, University of SheffieldEmail confirmado em sheffield.ac.uk
Mike HincheyLero-the Irish Software Engineering Research CentreEmail confirmado em lero.ie
Prashant PillaiProfessor, University of WolverhamptonEmail confirmado em wlv.ac.uk
Michael ButlerProfessor of Computer Science, University of SouthamptonEmail confirmado em ecs.soton.ac.uk
Anastasios LytosUniversity of SheffieldEmail confirmado em sheffield.ac.uk

Seguir

George Eleftherakis

Professor, CITY College, University of York Europe Campus

Email confirmado em york.citycollege.eu

Bio-Inspired Computing Complex Adaptive Systems IoT and Sensor Networks Health Monitoring Formal Methods


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	45	2003
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	37	2000
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	33	2015
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
Formal Verification of Agent Models G Eleftherakis, P Kefalas, A Sotiriadou	23*
Simulation and verification of P systems through communicating X-machines P Kefalas, G Eleftherakis, M Holcombe, M Gheorghe BioSystems 70 (2), 135-148, 2003	21	2003
Disciplined exploration of emergence using multi-agent simulation framework O Paunovski, G Eleftherakis, AJ Cowling Computing and Informatics 28 (3), 369-391, 2009	18	2009
Communicating X-machines: from theory to practice P Kefalas, G Eleftherakis, E Kehris Panhellenic Conference on Informatics, 316-335, 2001	18	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	18	2001
Model checking safety critical systems specified as X-machines G Eleftherakis, P Kefalas Analele Universitatii Bucharest, Matematica-Informatica series 49, 59-70, 2000	17	2000
Transforming communicating X-machines into P systems P Kefalas, I Stamatopoulou, I Sakellariou, G Eleftherakis Natural Computing 8 (4), 817-832, 2009	16	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
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	8	2021

O sistema não pode efectuar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir este autor

Citado por

Coautores