 | 2008 |
|---|
| 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 |
