Petros Kefalas
Petros Kefalas
The University of Sheffield International Faculty, CITY College
Verified email at
Cited by
Cited by
Enhancing NetLogo to simulate BDI communicating agents
I Sakellariou, P Kefalas, I Stamatopoulou
Hellenic Conference on Artificial Intelligence, 263-275, 2008
A design language and tool for X-machines specification
P Kapeti, P Kefalas
Advances in Informatics, 134-145, 2000
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
Computational models of collective foraging
M Gheorghe, M Holcombe, P Kefalas
BioSystems 61 (2-3), 133-141, 2001
An Overview of Smart Home Environments: Architectures, Technologies and Applications.
C Badica, M Brezovan, A Badica
BCI (Local) 78, 2013
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
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
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
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
RNase and DNase activities in the alfalfa and lentil grown in iso-osmotic solutions of NaCl and mannitol
T Yupsanis, PS Kefalas, P Eleftheriou, K Kotinis
Journal of plant physiology 158 (7), 921-927, 2001
A multi‐agent framework to assist networked learning
D Stamatis, P Kefalas, T Kargidis
Journal of computer assisted learning 15 (3), 201-210, 1999
Developing tools for formal methods
P Kefalas, G Eleftherakis, A Sotiriadou
Proceedings of the 9th Panhellenic Conference in Informatics, 625-639, 2003
Teaching intelligent agents using NetLogo
I Sakellariou, P Kefalas, I Stamatopoulou
ACM-IFIP IEEIII, 209-221, 2008
Xmctl: Extending temporal logic to facilitate formal verification of x-machines
G Eleftherakis, P Kefalas, A Sotiriadou
Matematica-Informatica 50, 79-95, 2002
Simulation and verification of P systems through communicating X-machines
P Kefalas, G Eleftherakis, M Holcombe, M Gheorghe
BioSystems 70 (2), 135-148, 2003
Formal modelling of reactive agents as an aggregation of simple behaviours
P Kefalas
Hellenic Conference on Artificial Intelligence, 461-472, 2002
An entrepreneurial model for internationalisation of higher education: The case of city college, an international faculty of The University of Sheffield
P Ketikidis, Y Ververidis, P Kefalas
Proceedings of the Conference on Entrepreneurial Universities, 2012
Modelling the dynamic structure of biological state-based systems
I Stamatopoulou, P Kefalas, M Gheorghe
BioSystems 87 (2-3), 142-149, 2007
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
Communicating X-machines: from theory to practice
P Kefalas, G Eleftherakis, E Kehris
Panhellenic Conference on Informatics, 316-335, 2001
The system can't perform the operation now. Try again later.
Articles 1–20