| 2008 |
|---|
| 22 | EE | George Eleftherakis,
Petros Kefalas:
Formal Verification of Generalised State Machines.
Panhellenic Conference on Informatics 2008: 227-231 |
| 21 | EE | Ilias Sakellariou,
Petros Kefalas,
Ioanna Stamatopoulou:
Enhancing NetLogo to Simulate BDI Communicating Agents.
SETN 2008: 263-275 |
| 20 | EE | Petros Kefalas,
Ioanna Stamatopoulou,
George Eleftherakis,
Marian Gheorghe:
Transforming State-Based Models to P Systems Models in Practice.
Workshop on Membrane Computing 2008: 260-273 |
| 2007 |
|---|
| 19 | | George Eleftherakis,
Petros Kefalas,
Gheorghe Paun,
Grzegorz Rozenberg,
Arto Salomaa:
Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers
Springer 2007 |
| 18 | EE | Ioanna Stamatopoulou,
Petros Kefalas,
Marian Gheorghe:
OPERAS: A Framework for the Formal Modelling of Multi-Agent Systems and Its Application to Swarm-Based Systems.
ESAW 2007: 158-174 |
| 17 | EE | Ioanna Stamatopoulou,
Petros Kefalas,
Marian Gheorghe:
OPERASCC: An Instance of a Formal Framework for MAS Modeling Based on Population P Systems.
Workshop on Membrane Computing 2007: 438-452 |
| 2006 |
|---|
| 16 | EE | Ioanna Stamatopoulou,
Petros Kefalas,
Marian Gheorghe:
Specification of Reconfigurable MAS: A Hybrid Formal Approach.
SETN 2006: 592-595 |
| 2005 |
|---|
| 15 | EE | Petros Kefalas,
Ioanna Stamatopoulou,
Marian Gheorghe:
A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour.
CEEMAS 2005: 122-131 |
| 14 | | Petros Kefalas,
Mike Holcombe,
George Eleftherakis,
Marian Gheorghe:
Formal Development of Reactive Agent-Based Systems.
Encyclopedia of Information Science and Technology (II) 2005: 1201-1204 |
| 2004 |
|---|
| 13 | | George Eleftherakis,
Petros Kefalas,
Anna Sotiriadou,
Evangelos Kehris:
Modeling Biology Inspired Reactive Agents Using X-machines.
International Conference on Computational Intelligence 2004: 93-96 |
| 12 | EE | Marian Gheorghe,
Ioanna Stamatopoulou,
Mike Holcombe,
Petros Kefalas:
Modelling Dynamically Organised Colonies of Bio-entities.
UPP 2004: 207-224 |
| 11 | EE | Ioanna Stamatopoulou,
Marian Gheorghe,
Petros Kefalas:
Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems.
Workshop on Membrane Computing 2004: 389-403 |
| 2003 |
|---|
| 10 | EE | Petros Kefalas,
George Eleftherakis,
Evangelos Kehris:
Communicating X-machines: a practical approach for formal and modular specification of large systems.
Information & Software Technology 45(5): 269-280 (2003) |
| 2002 |
|---|
| 9 | EE | Petros Kefalas:
Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours.
SETN 2002: 461-472 |
| 2001 |
|---|
| 8 | EE | Petros Kefalas,
George Eleftherakis,
Evangelos Kehris:
Communicating X-Machines: From Theory to Practice.
Panhellenic Conference on Informatics 2001: 316-335 |
| 1999 |
|---|
| 7 | EE | Demosthenes Stamatis,
Petros Kefalas,
Theodoros Kargidis:
A multi-agent framework to assist networked learning.
J. Comp. Assisted Learning 15(3): 201-210 (1999) |
| 6 | | Ioannis P. Vlahavas,
Petros Kefalas,
Constantin Halatsis:
OASys: an AND/OR parallel logic programming system.
Parallel Computing 25(3): 321-336 (1999) |
| 1996 |
|---|
| 5 | | Petros Kefalas,
Ioannis P. Vlahavas:
Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs.
Euro-Par, Vol. I 1996: 694-703 |
| 1992 |
|---|
| 4 | | Ioannis P. Vlahavas,
Petros Kefalas:
A parallel Prolog resolution based on multiple unifications.
Parallel Computing 18(11): 1275-1283 (1992) |
| 1991 |
|---|
| 3 | | Petros Kefalas,
T. J. Reynolds:
Controlling Search with Meta-Brave.
ICLP Workshop on Parallel Execution of Logic Programs 1991: 29-38 |
| 2 | | T. J. Reynolds,
Petros Kefalas:
BRAVE: An OR-Parallel Dialect of Prolog and its Application to Artificial Intelligence.
RCLP 1991: 415-432 |
| 1990 |
|---|
| 1 | | T. J. Reynolds,
Petros Kefalas:
OR-Parallel Prolog and Search Problems in AI Applications.
ICLP 1990: 340-354 |
