Petros Kefalas
Petros Kefalas
The University of Sheffield International Faculty, CITY College
Verified email at city.academic.gr
TitleCited byYear
Enhancing NetLogo to simulate BDI communicating agents
I Sakellariou, P Kefalas, I Stamatopoulou
Hellenic Conference on Artificial Intelligence, 263-275, 2008
772008
A design language and tool for X-machines specification
P Kapeti, P Kefalas
Advances in Informatics, 134-145, 2000
612000
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
492003
Computational models of collective foraging
M Gheorghe, M Holcombe, P Kefalas
BioSystems 61 (2-3), 133-141, 2001
472001
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
452003
Quality assurance procedures and e-ODL
P Kefalas, S Retalis, D Stamatis, T Kargidis
International Conference on Networked Universities and e-Learning, 8-9, 2003
392003
An Overview of Smart Home Environments: Architectures, Technologies and Applications.
C Badica, M Brezovan, A Badica
BCI (Local) 78, 2013
342013
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
332000
Modelling dynamic organization of biology-inspired multi-agent systems with communicating x-machines and population p systems
I Stamatopoulou, M Gheorghe, P Kefalas
International Workshop on Membrane Computing, 389-403, 2004
322004
A multi‐agent framework to assist networked learning
D Stamatis, P Kefalas, T Kargidis
Journal of computer assisted learning 15 (3), 201-210, 1999
321999
Developing tools for formal methods
P Kefalas, G Eleftherakis, A Sotiriadou
Proceedings of the 9th Panhellenic Conference in Informatics, 625-639, 2003
302003
XmCTL: Extending temporal logic to facilitate formal verification of X-machines models
G Eleftherakis, P Kefalas, A Sotiriadou
Analele Universitatii Bucuresti, Matematica-Informatica 50, 79-95, 2001
23*2001
Teaching intelligent agents using NetLogo
I Sakellariou, P Kefalas, I Stamatopoulou
ACM-IFIP IEEIII, 209-221, 2008
212008
Formal modelling of reactive agents as an aggregation of simple behaviours
P Kefalas
Hellenic Conference on Artificial Intelligence, 461-472, 2002
202002
Modelling the dynamic structure of biological state-based systems
I Stamatopoulou, P Kefalas, M Gheorghe
BioSystems 87 (2-3), 142-149, 2007
192007
Operas: A framework for the formal modelling of multi-agent systems and its application to swarm-based systems
I Stamatopoulou, P Kefalas, M Gheorghe
International Workshop on Engineering Societies in the Agents World, 158-174, 2007
182007
Simulation and verification of P systems through communicating X-machines
P Kefalas, G Eleftherakis, M Holcombe, M Gheorghe
BioSystems 70 (2), 135-148, 2003
182003
Communicating X-machines: from theory to practice
P Kefalas, G Eleftherakis, E Kehris
Panhellenic Conference on Informatics, 316-335, 2001
172001
Cloud e-learning: A new challenge for multi-agent systems
K Pireva, P Kefalas, D Dranidis, T Hatziapostolou, A Cowling
Agent and Multi-Agent Systems: Technologies and Applications, 277-287, 2014
162014
Formal modelling of use cases with X-machines
D Dranidis, K Tigka, P Kefalas
Proc. 1st South-East European Workshop on Formal Methods, 72-83, 2003
162003
The system can't perform the operation now. Try again later.
Articles 1–20