 | 2011 |
| 15 |  | George Eleftherakis,
Petros Kefalas,
Evangelos Kehris:
A methodology for developing component-based agent systems focusing on component quality.
FedCSIS 2011: 561-568 |
| 2010 |
| 14 |  | Ognen Paunovski,
George Eleftherakis,
Konstantinos Dimopoulos,
Tony Cowling:
Evaluation of a selective distributed discovery strategy in a fully decentralized biologically inspired environment.
Inf. Sci. 180(10): 1865-1875 (2010) |
| 2009 |
| 13 |  | Ognen Paunovski,
George Eleftherakis,
Tony Cowling:
Disciplined Exploration of Emergence Using Multi-Agent Simulation Framework.
Computing and Informatics 28(3): 369-391 (2009) |
| 12 |  | Petros Kefalas,
Ioanna Stamatopoulou,
Ilias Sakellariou,
George Eleftherakis:
Transforming communicating X-machines into P systems.
Natural Computing 8(4): 817-832 (2009) |
| 2008 |
| 11 |  | Mauro Cislaghi,
George Eleftherakis,
Roberto Mazzilli,
Francois Mohier,
Sara Ferri,
Valerio Giuffrida,
Elisa Negroni:
Secure Judicial Communication Exchange Using Soft-computing Methods and Biometric Authentication.
CISIS 2008: 11-18 |
| 10 |  | Ognen Paunovski,
George Eleftherakis,
Konstantinos Dimopoulos,
Tony Cowling:
Evaluation of Selective Distributed Discovery within Distributed Bio-active Agent Community.
IDC 2008: 157-166 |
| 9 |  | Elisa Negroni,
Katherine Davies,
Mauro Cislaghi,
George Eleftherakis,
Sara Ferri:
European Judicial Collaboration Platform (JCP) for Secure International Judicial Collaboration.
JURIX 2008: 33-42 |
| 8 |  | George Eleftherakis,
Ognen Paunovski:
Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services.
MSVVEIS 2008: 180-189 |
| 7 |  | George Eleftherakis,
Petros Kefalas:
Formal Verification of Generalised State Machines.
Panhellenic Conference on Informatics 2008: 227-231 |
| 6 |  | 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 |
| 5 |  | 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 |
| 2005 |
| 4 |  | 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 |
| 3 |  | George Eleftherakis,
Petros Kefalas,
Anna Sotiriadou,
Evangelos Kehris:
Modeling Biology Inspired Reactive Agents Using X-machines.
International Conference on Computational Intelligence 2004: 93-96 |
| 2003 |
| 2 |  | 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) |
| 2001 |
| 1 |  | Petros Kefalas,
George Eleftherakis,
Evangelos Kehris:
Communicating X-Machines: From Theory to Practice.
Panhellenic Conference on Informatics 2001: 316-335 |