dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

George Eleftherakis Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Eleftherakis, Petros Kefalas, Evangelos Kehris: A methodology for developing component-based agent systems focusing on component quality. FedCSIS 2011: 561-568
2010
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOgnen 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOgnen Paunovski, George Eleftherakis, Tony Cowling: Disciplined Exploration of Emergence Using Multi-Agent Simulation Framework. Computing and Informatics 28(3): 369-391 (2009)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetros Kefalas, Ioanna Stamatopoulou, Ilias Sakellariou, George Eleftherakis: Transforming communicating X-machines into P systems. Natural Computing 8(4): 817-832 (2009)
2008
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOgnen Paunovski, George Eleftherakis, Konstantinos Dimopoulos, Tony Cowling: Evaluation of Selective Distributed Discovery within Distributed Bio-active Agent Community. IDC 2008: 157-166
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Negroni, Katherine Davies, Mauro Cislaghi, George Eleftherakis, Sara Ferri: European Judicial Collaboration Platform (JCP) for Secure International Judicial Collaboration. JURIX 2008: 33-42
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Eleftherakis, Ognen Paunovski: Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services. MSVVEIS 2008: 180-189
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Eleftherakis, Petros Kefalas: Formal Verification of Generalised State Machines. Panhellenic Conference on Informatics 2008: 227-231
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetros 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
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetros 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Eleftherakis, Petros Kefalas, Anna Sotiriadou, Evangelos Kehris: Modeling Biology Inspired Reactive Agents Using X-machines. International Conference on Computational Intelligence 2004: 93-96
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetros 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPetros Kefalas, George Eleftherakis, Evangelos Kehris: Communicating X-Machines: From Theory to Practice. Panhellenic Conference on Informatics 2001: 316-335

Coauthor Index

1Mauro Cislaghi [9] [11]
2Tony Cowling [10] [13] [14]
3Katherine Davies [9]
4Konstantinos Dimopoulos [10] [14]
5Sara Ferri [9] [11]
6Marian Gheorghe [4] [6]
7Valerio Giuffrida [11]
8Mike Holcombe [4]
9Petros Kefalas [1] [2] [3] [4] [5] [6] [7] [12] [15]
10Evangelos Kehris [1] [2] [3] [15]
11Roberto Mazzilli [11]
12Francois Mohier [11]
13Elisa Negroni [9] [11]
14Gheorghe Paun [5]
15Ognen Paunovski [8] [10] [13] [14]
16Grzegorz Rozenberg [5]
17Ilias Sakellariou [12]
18Arto Salomaa [5]
19Anna Sotiriadou [3]
20Ioanna Stamatopoulou [6] [12]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page