| 2008 |
|---|
| 6 | | George Eleftherakis,
Ognen Paunovski:
Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services.
MSVVEIS 2008: 180-189 |
| 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 | 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) |
| 2001 |
|---|
| 1 | EE | Petros Kefalas,
George Eleftherakis,
Evangelos Kehris:
Communicating X-Machines: From Theory to Practice.
Panhellenic Conference on Informatics 2001: 316-335 |
