George Eleftherakis

Citée par

	Toutes	Depuis 2020
Citations	698	136
indice h	16	5
indice i10	19	2

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 13 16 39 30 24 22 39 60 33 38 33 39 30 25 21 31 17 21 11 27 22 37 21 29

Accès public

Tout afficher

3 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Thomas LagkasAssistant Professor, Department of Informatics, Democritus University of ThraceAdresse e-mail validée de cs.duth.gr
Evangelos KehrisProfessor, International Hellenic University, GreeceAdresse e-mail validée de ihu.gr
Mike HolcombeEmeritus Professor, University of Sheffield, UKAdresse e-mail validée de sheffield.ac.uk
Marian GheorgheUniversity of BradfordAdresse e-mail validée de bradford.ac.uk
Peter A BathUniversity of SheffieldAdresse e-mail validée de sheffield.ac.uk
Adelina BasholliThe University of SheffieldAdresse e-mail validée de seerc.org
Ilias SakellariouDept. of Applied Informatics, University Of Macedonia, ThessalonikiAdresse e-mail validée de uom.edu.gr
Jie ZhangProfessor of Wireless Systems, University of SheffieldAdresse e-mail validée de sheffield.ac.uk
Maria MichaliPhD Candidate in Management, University of YorkAdresse e-mail validée de york.ac.uk
Anca VasilescuTransilvania University of Brasov, RomaniaAdresse e-mail validée de unitbv.ro
Grzegorz RozenbergProfessor of Computer Science, Leiden UniversityAdresse e-mail validée de liacs.leidenuniv.nl
Mike HincheyLero-the Irish Software Engineering Research CentreAdresse e-mail validée de lero.ie
Prashant PillaiProfessor, University of WolverhamptonAdresse e-mail validée de wlv.ac.uk
Michael ButlerProfessor of Computer Science, University of SouthamptonAdresse e-mail validée de ecs.soton.ac.uk

Suivre

George Eleftherakis

Associate Professor of Computer Science, Penn State University

Adresse e-mail validée de psu.edu - Page d'accueil

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


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs