OR-Parallel Prolog and Search Problems in AI Applications. - T. J. Reynolds; Petros Kefalas (ICLP, 1990)

Controlling Search with Meta-Brave. - Petros Kefalas; T. J. Reynolds (ICLP Workshop on Parallel Execution of Logic Programs, 1991)

BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence. - T. J. Reynolds; Petros Kefalas (RCLP, 1991)

An abstract prolog machine based on parallel resolution principle. - Ioannis P. Vlahavas; Petros Kefalas (Microprocess. Microprogramming, 1992)

A parallel Prolog resolution based on multiple unifications. - Ioannis P. Vlahavas; Petros Kefalas (Parallel Comput., 1992)

Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs. - Petros Kefalas; Ioannis P. Vlahavas (Euro-Par, Vol. I, 1996)

A multi-agent framework to assist networked learning. - Demosthenes Stamatis; Petros Kefalas; Theodoros Kargidis (J. Comput. Assist. Learn., 1999)

OASys: an AND/OR parallel logic programming system. - Ioannis P. Vlahavas; Petros Kefalas; Constantin Halatsis (Parallel Comput., 1999)

Communicating X-Machines: From Theory to Practice. - Petros Kefalas; George Eleftherakis; Evangelos Kehris (Panhellenic Conference on Informatics, 2001)

Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours. - Petros Kefalas (SETN, 2002)

Communicating X-machines: a practical approach for formal and modular specification of large systems. - Petros Kefalas; George Eleftherakis; Evangelos Kehris (Inf. Softw. Technol., 2003)

Modeling Biology Inspired Reactive Agents Using X-machines. - George Eleftherakis; Petros Kefalas; Anna Sotiriadou; Evangelos Kehris (International Conference on Computational Intelligence, 2004)

Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems. - Ioanna Stamatopoulou; Marian Gheorghe 001; Petros Kefalas (Workshop on Membrane Computing, 2004)

Modelling Dynamically Organised Colonies of Bio-entities. - Marian Gheorghe 001; Ioanna Stamatopoulou; Mike Holcombe; Petros Kefalas (UPP, 2004)

Formal Development of Reactive Agent-Based Systems. - Petros Kefalas; Mike Holcombe; George Eleftherakis; Marian Gheorghe 001 (Encyclopedia of Information Science and Technology (II), 2005)

A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour. - Petros Kefalas; Ioanna Stamatopoulou; Marian Gheorghe 001 (CEEMAS, 2005)

Specification of Reconfigurable MAS: A Hybrid Formal Approach. - Ioanna Stamatopoulou; Petros Kefalas; Marian Gheorghe 001 (SETN, 2006)

OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems. - Ioanna Stamatopoulou; Petros Kefalas; Marian Gheorghe 001 (ESAW, 2007)

OPERASCC: An Instance of a Formal Framework for MAS Modeling Based on Population P Systems. - Ioanna Stamatopoulou; Petros Kefalas; Marian Gheorghe 001 (Workshop on Membrane Computing, 2007)

Modelling the dynamic structure of biological state-based systems. - Ioanna Stamatopoulou; Petros Kefalas; Marian Gheorghe 001 (Biosyst., 2007)

Transforming State-Based Models to P Systems Models in Practice. - Petros Kefalas; Ioanna Stamatopoulou; George Eleftherakis; Marian Gheorghe 001 (Workshop on Membrane Computing, 2008)

Formal Verification of Generalised State Machines. - George Eleftherakis; Petros Kefalas (Panhellenic Conference on Informatics, 2008)

Enhancing NetLogo to Simulate BDI Communicating Agents. - Ilias Sakellariou; Petros Kefalas; Ioanna Stamatopoulou (SETN, 2008)

Transforming communicating X-machines into P systems. - Petros Kefalas; Ioanna Stamatopoulou; Ilias Sakellariou; George Eleftherakis (Nat. Comput., 2009)

Towards Modelling of Reactive, Goal-Oriented and Hybrid Intelligent Agents Using P Systems. - Petros Kefalas; Ioanna Stamatopoulou (Int. Conf. on Membrane Computing, 2010)

Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges - Petros Kefalas; Ioanna Stamatopoulou (AMCA-POP, 2010)

A Framework towards the Verification of Emergent Properties in Spatial Multi-Agent Systems. - Isidora Petreska; Petros Kefalas; Marian Gheorghe 001 (WASA, 2011)

A methodology for developing component-based agent systems focusing on component quality. - George Eleftherakis; Petros Kefalas; Evangelos Kehris (FedCSIS, 2011)

Formal modelling of agents acting under artificial emotions. - Petros Kefalas; Ioanna Stamatopoulou; Dionysios Basakos (BCI, 2012)

Extending X-machines to Support Representation of Spatial 2-D Agents. - Isidora Petreska; Petros Kefalas; Marian Gheorghe 001; Ioanna Stamatopoulou (ICAART (2), 2012)

sp X-Machines: Formal State-Based Modelling of Spatial Agents. - Isidora Petreska; Petros Kefalas; Marian Gheorghe 001; Ioanna Stamatopoulou (ICAART (Revised Selected Papers), 2012)

Formal Agent-Based Modelling and Simulation of Crowd Behaviour in Emergency Evacuation Plans. - Ioanna Stamatopoulou; Ilias Sakellariou; Petros Kefalas (ICTAI, 2012)

Evacuation Simulation through Formal Emotional Agent based Modelling. - Ilias Sakellariou; Petros Kefalas; Ioanna Stamatopoulou (ICAART (2), 2014)

Cloud e-Learning: A New Challenge for Multi-Agent Systems. - Krenare Pireva; Petros Kefalas; Dimitris Dranidis; Thanos Hatziapostolou; Anthony J. Cowling (KES-AMSTA, 2014)

A Formal Approach to Model Emotional Agents Behaviour in Disaster Management Situations. - Petros Kefalas; Ilias Sakellariou; Dionysios Basakos; Ioanna Stamatopoulou (SETN, 2014)

Crowd formal modelling and simulation: The Sa'yee ritual. - Ilias Sakellariou; Omar Kurdi; Marian Gheorghe 001; Daniela Romano; Petros Kefalas; Florentin Ipate; Ionut-Mihai Niculescu (UKCI, 2014)

Experiments with Emotion Contagion in Emergency Evacuation Simulation. - Marina Ntika; Ilias Sakellariou; Petros Kefalas; Ioanna Stamatopoulou (WIMS, 2014)

Formal modelling and simulation of a multi-agent nano-robotic drug delivery system. - Marina Ntika; Petros Kefalas; Ioanna Stamatopoulou (Scalable Comput. Pract. Exp., 2014)

From Formal Modelling to Agent Simulation Execution and Testing. - Ilias Sakellariou; Dimitris Dranidis; Marina Ntika; Petros Kefalas (ICAART (1), 2015)

Stream X-Machines for Agent Simulation Test Case Generation. - Ilias Sakellariou; Dimitris Dranidis; Marina Ntika; Petros Kefalas (ICAART (Revised Selected Papers), 2015)

The Role of Mood on Emotional Agents Behaviour. - Petros Kefalas; Ilias Sakellariou; Suzie Savvidou; Ioanna Stamatopoulou; Marina Ntika (ICCCI (1), 2016)

The Role of Emotions, Mood, Personality and Contagion in Multi-agent System Decision Making. - Ilias Sakellariou; Petros Kefalas; Suzie Savvidou; Ioanna Stamatopoulou; Marina Ntika (AIAI, 2016)

The Invalidity of Validating Emotional Multi-Agent Systems Simulations. - Petros Kefalas; Ilias Sakellariou (BCI, 2017)

Using Screencasts to Enhance Logic Programming Skills. - Petros Kefalas; Ioanna Stamatopoulou (BCI, 2017)

A Recommender System Based on Hierarchical Clustering for Cloud e-Learning. - Krenare Pireva; Petros Kefalas (IDC, 2017)

Teaching, Learning and Assessment of Agents and Robotics in a Computer Science Curriculum. - Ioanna Stamatopoulou; Konstantinos Dimopoulos; Petros Kefalas (IDC, 2017)

Representation of learning objects in cloud e-learning. - Krenare Pireva; Petros Kefalas; Ioanna Stamatopoulou (IISA, 2017)

An authentic student research experience: fostering research skills and boosting the employability profile of students. - Thanos Hatziapostolou; Dimitris Dranidis; Anna Sotiriadou; Petros Kefalas; Ioannis Nikolakopoulos (ITiCSE, 2018)

Using screencasts to enhance coding skills: The case of logic programming? - Petros Kefalas; Ioanna Stamatopoulou (Comput. Sci. Inf. Syst., 2018)

Emotional Agents Make a (Bank) Run. - Konstantinos Grevenitis; Ilias Sakellariou; Petros Kefalas (EUMAS/AT, 2020)

Demonstrating Multiple Prolog Programming Techniques Through a Single Operation. - Nick Bassiliades; Ilias Sakellariou; Petros Kefalas (Prolog: The Next 50 Years, 2023)