WorldCat Identities

Eleftherakis, George

Overview
Works: 6 works in 34 publications in 1 language and 976 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Creator
Classifications: T58.5, 511.3
Publication Timeline
.
Most widely held works by George Eleftherakis
Membrane computing : international workshop, WMC 2003 : Tarragona, Spain, July 17-22, 2003 : revised papers by Carlos Martín-Vide( Book )

18 editions published in 2007 in English and Undetermined and held by 122 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Membrane Computing, WMC 2003, held in Tarragona, Spain, in July 2003. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current topics in the emerging area of membrane computing are addressed, ranging from issues in mathematics and theoretical computer science to (potential) applications in biology, bioinformatics, sorting, ranking, linguistics, and computer graphics; several implementations and simulations on computers, computer networks, and reconfigurable hardware are presented too
Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings by George Eleftherakis( Book )

10 editions published in 2012 in English and held by 42 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods
Formal verification of x-machine models : towards formal development of computer-based systems by George Eleftherakis( Book )

3 editions published between 2003 and 2004 in English and held by 3 WorldCat member libraries worldwide

17th PCI 2013 : Panhellenic Conference in Informatics : Thessaloniki : proceedings by Panhellenic Conference on Informatics( Book )

1 edition published in 2013 in English and held by 2 WorldCat member libraries worldwide

17th PCI 2013 : proceedings : Panhellenic Conference in Informatics, Thessaloniki by Panhellenic Conference on Informatics( )

1 edition published in 2013 in English and held by 0 WorldCat member libraries worldwide

7th Balkan Conference in Informatics : September 2-4, Craiova, Romania by Balkan Conference in Informatics( )

1 edition published in 2015 in English and held by 0 WorldCat member libraries worldwide

 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.56 (from 0.49 for Software e ... to 0.81 for Formal ver ...)

Membrane computing : international workshop, WMC 2003 : Tarragona, Spain, July 17-22, 2003 : revised papers
Languages
English (33)

Covers