 | 2012 |
|---|
| 30 |       | Isidora Petreska,
Petros Kefalas,
Marian Gheorghe,
Ioanna Stamatopoulou:
Extending X-machines to Support Representation of Spatial 2-D Agents.
ICAART (2) 2012: 54-61 |
| 2011 |
|---|
| 29 |  | George Eleftherakis,
Petros Kefalas,
Evangelos Kehris:
A methodology for developing component-based agent systems focusing on component quality.
FedCSIS 2011: 561-568 |
| 2010 |
|---|
| 28 | | Petros Kefalas,
Ioanna Stamatopoulou:
Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges
AMCA-POP 2010: 71-82 |
| 27 | | Petros Kefalas,
Ioanna Stamatopoulou:
Towards Modelling of Reactive, Goal-Oriented and Hybrid Intelligent Agents Using P Systems.
Int. Conf. on Membrane Computing 2010: 265-272 |
| 2009 |
|---|
| 26 | | Petros Kefalas,
Demosthenes Stamatis,
Christos Douligeris:
2009 Fourth Balkan Conference in Informatics, BCI 2009, Thessaloniki, Greece, 17-19 September 2009
IEEE Computer Society 2009 |
| 25 | | Petros Kefalas,
Ioanna Stamatopoulou,
Ilias Sakellariou,
George Eleftherakis:
Transforming communicating X-machines into P systems.
Natural Computing 8(4): 817-832 (2009) |
| 2008 |
|---|
| 24 | | George Eleftherakis,
Petros Kefalas:
Formal Verification of Generalised State Machines.
Panhellenic Conference on Informatics 2008: 227-231 |
| 23 | | Ilias Sakellariou,
Petros Kefalas,
Ioanna Stamatopoulou:
Enhancing NetLogo to Simulate BDI Communicating Agents.
SETN 2008: 263-275 |
| 22 | | 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 |
|---|
| 21 | | 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 |
| 20 | | 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 |
| 19 | | 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 |
| 18 | | Ioanna Stamatopoulou,
Petros Kefalas,
Marian Gheorghe:
Modelling the dynamic structure of biological state-based systems.
Biosystems 87(2-3): 142-149 (2007) |
| 2006 |
|---|
| 17 | | Ioanna Stamatopoulou,
Petros Kefalas,
Marian Gheorghe:
Specification of Reconfigurable MAS: A Hybrid Formal Approach.
SETN 2006: 592-595 |
| 2005 |
|---|
| 16 | | Petros Kefalas,
Ioanna Stamatopoulou,
Marian Gheorghe:
A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour.
CEEMAS 2005: 122-131 |
| 15 | | 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 |
|---|
| 14 | | George Eleftherakis,
Petros Kefalas,
Anna Sotiriadou,
Evangelos Kehris:
Modeling Biology Inspired Reactive Agents Using X-machines.
International Conference on Computational Intelligence 2004: 93-96 |
| 13 | | Marian Gheorghe,
Ioanna Stamatopoulou,
Mike Holcombe,
Petros Kefalas:
Modelling Dynamically Organised Colonies of Bio-entities.
UPP 2004: 207-224 |
| 12 | | 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 |
|---|
| 11 | | 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 |
|---|
| 10 | | Petros Kefalas:
Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours.
SETN 2002: 461-472 |
| 2001 |
|---|
| 9 | | Petros Kefalas,
George Eleftherakis,
Evangelos Kehris:
Communicating X-Machines: From Theory to Practice.
Panhellenic Conference on Informatics 2001: 316-335 |
| 1999 |
|---|
| 8 | | Demosthenes Stamatis,
Petros Kefalas,
Theodoros Kargidis:
A multi-agent framework to assist networked learning.
J. Comp. Assisted Learning 15(3): 201-210 (1999) |
| 7 | | Ioannis P. Vlahavas,
Petros Kefalas,
Constantin Halatsis:
OASys: an AND/OR parallel logic programming system.
Parallel Computing 25(3): 321-336 (1999) |
| 1996 |
|---|
| 6 | | Petros Kefalas,
Ioannis P. Vlahavas:
Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs.
Euro-Par, Vol. I 1996: 694-703 |
| 1992 |
|---|
| 5 | | Ioannis P. Vlahavas,
Petros Kefalas:
An abstract prolog machine based on parallel resolution principle.
Microprocessing and Microprogramming 35(1-5): 755-762 (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 |
Data released under the ODC-BY 1.0 license — See also our legal information page