- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c10 |      | Konstantinos Rousis, George Eleftherakis, Ognen Paunovski, Anthony J. Cowling: Formal modelling of a bio-inspired paradigm capable of exhibiting emergence. BCI 2012: 223-228 |
| e2 | | George Eleftherakis, Mike Hinchey, Mike Holcombe (Eds.): Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. Lecture Notes in Computer Science 7504, Springer 2012, isbn 978-3-642-33825-0 |
| 2011 | ||
| c9 | | George Eleftherakis, Petros Kefalas, Evangelos Kehris: A methodology for developing component-based agent systems focusing on component quality. FedCSIS 2011: 561-568 |
| 2010 | ||
| j4 | | 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 | ||
| j3 | | Ognen Paunovski, George Eleftherakis, Tony Cowling: Disciplined Exploration of Emergence Using Multi-Agent Simulation Framework. Computing and Informatics 28(3): 369-391 (2009) |
| j2 | | Petros Kefalas, Ioanna Stamatopoulou, Ilias Sakellariou, George Eleftherakis: Transforming communicating X-machines into P systems. Natural Computing 8(4): 817-832 (2009) |
| 2008 | ||
| c8 | | 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 |
| c7 | | Ognen Paunovski, George Eleftherakis, Konstantinos Dimopoulos, Tony Cowling: Evaluation of Selective Distributed Discovery within Distributed Bio-active Agent Community. IDC 2008: 157-166 |
| c6 | | Elisa Negroni, Katherine Davies, Mauro Cislaghi, George Eleftherakis, Sara Ferri: European Judicial Collaboration Platform (JCP) for Secure International Judicial Collaboration. JURIX 2008: 33-42 |
| c5 | | 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 |
| c4 | | George Eleftherakis, Petros Kefalas: Formal Verification of Generalised State Machines. Panhellenic Conference on Informatics 2008: 227-231 |
| c3 |  | George Eleftherakis, Ognen Paunovski: Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services. MSVVEIS 2008: 180-189 |
| 2007 | ||
| e1 | | George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa (Eds.): Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers. Lecture Notes in Computer Science 4860, Springer 2007, isbn 978-3-540-77311-5 |
| 2005 | ||
| r1 | | 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 | ||
| c2 | | 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 | ||
| j1 | | 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 | ||
| c1 | | Petros Kefalas, George Eleftherakis, Evangelos Kehris: Communicating X-Machines: From Theory to Practice. Panhellenic Conference on Informatics 2001: 316-335 |
Colors in the list of coauthors
Last update Sun May 26 05:10:13 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page