Concepedia

Petros Kefalas

PK

11

Publications

212

Citations

11

H-Index

1999

Active since

Affiliations

University of Sheffield(Current)

Hellenic Agency for Local Development and Local Government

University of Macedonia

South East European Research Centre

Petros Kefalas is an author at University of Sheffield specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationComputer EngineeringIntelligent SystemsArtificial IntelligenceEducationE-learning

Publications per year

1999–2014

11

Publications

11

Computational models of collective foraging

Marian Gheorghe, Mike Holcombe, Petros Kefalas · Biosystems · 2001 · 38 citations

Collective Foraging, Behavioral Sciences, Foraging +4

A DESIGN LANGUAGE AND TOOL FOR X-MACHINES SPECIFICATION

PARASKEVI KAPETI, Petros Kefalas · 2000 · 37 citations

Specification Language, Formal Specification, Engineering +8

Communicating X-machines: a practical approach for formal and modular specification of large systems

Petros Kefalas, George Eleftherakis, Evangelos Kehris · Information and Software Technology · 2003 · 24 citations

Specification Language, Formal Specification, Engineering +14

Formal Agent-Based Modelling and Simulation of Crowd Behaviour in Emergency Evacuation Plans

Ioanna Stamatopoulou, Ilias Sakellariou, Petros Kefalas · 2012 · 18 citations

Artificial Intelligence, Crowd Simulation, Engineering +23

A multi‐agent framework to assist networked learning

Dimosthenis Stamatis, Petros Kefalas, T. Kargidis · Journal of Computer Assisted Learning · 1999 · 17 citations

Artificial Intelligence, E-learning, Engineering +19

Rows per page

1–5 of 11