WorldCat Identities

Spirakis, P. G. (Paul G.) 1955-

Overview
Works: 133 works in 410 publications in 3 languages and 5,150 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, htt, Other, Contributor, Publisher, ed
Publication Timeline
.
Most widely held works by P. G Spirakis
Algorithmic game theory third international symposium ; proceedings by Spyros Kontogiannis( )

18 editions published in 2010 in English and held by 595 WorldCat member libraries worldwide

Annotation This book constitutes the refereed proceedings of the Third International Symposium on Algorithmic Game Theory, SAGT 2010, held in Athens, Greece, in October 2010. The 28 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 61 submissions. The papers are intended to cover all important areas such as solution concepts, game classes, computation of equilibria and market equilibria, convergence and learning in games, complexity classes in game theory, algorithmic aspects of fixed-point theorems, mechanisms, incentives and coalitions, cost-sharing algorithms, computational problems in economics, finance, decision theory and pricing, computational social choice, auction algorithms, price of anarchy and its relatives, representations of games and their complexity, network formation on the internet, congestion, routing and network design and formation games, game-theoretic approaches to networking problems, and computational social choice
Internet and network economics : second international workshop, WINE 2006, Patras, Greece, December 15-17, 2006 : proceedings by P. G Spirakis( )

19 editions published in 2006 in English and held by 565 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Second International Workshop on Internet and Network Economics, WINE 2006, held in Patras, Greece in December 2006. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 79 submissions. The papers contain foundational and mathematical work from theories, methodologies, and applications in computer science, economics, mathematics, and management sciences for solving problems arisen in internet technologies, grid computing, network communication protocols, as well as social economic issues in virtual communities enabled through the World Wide Web
Algorithms and complexity : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013 : proceedings by P. G Spirakis( )

14 editions published in 2013 in English and German and held by 461 WorldCat member libraries worldwide

This book constitutes the refereed conference proceedings of the 8th International Conference on Algorithms and Complexity, CIAC 2013, held in Barcelona, Spain, during May 22-24, 2013. The 31 revised full papers presented were carefully reviewed and selected from 75 submissions. The papers present current research in all aspects of computational complexity and the use, design, analysis and experimentation of efficient algorithms and data structures
Distributed algorithms : 5th international workshop, WDAG '91, Delphi, Greece, October 7-9, 1991 : proceedings by S Toueg( )

17 editions published between 1991 and 1992 in English and Italian and held by 450 WorldCat member libraries worldwide

This volume contains the proceedings of the fifth International Workshop on Distributed Algorithms (WDAG '91) held in Delphi, Greece, in October 1991. The workshop provided a forum for researchers and others interested in distributed algorithms, communication networks, and decentralized systems. The aim was to present recent research results, explore directions for future research, and identify common fundamental techniques that serve as building blocks in many distributed algorithms. The volume contains 23 papers selected by the Program Committee from about fifty extended abstracts on the basis of perceived originality and quality and on thematic appropriateness and topical balance. The workshop was organizedby the Computer Technology Institute of Patras University, Greece
Algorithms - ESA '95 : Third Annual European Symposium, Corfu, Greece, September 25-27, 1995 : proceedings by P. G Spirakis( Book )

19 editions published in 1995 in English and held by 435 WorldCat member libraries worldwide

This book consitutes the proceedings of the Third Annual European Symposium on Algorithms, ESA '95, held in Corfu, Greece in September 1995. The volume presents 42 full revised papers selected during a careful refereeing process from a total of 119 submissions; in addition, there is a prominent keynote address. This year, the scope has been further expanded to new areas of computational endeavour in science; the book covers many aspects of algorithms research and application ranging from combinatorial mathematics to hardware design
Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings by F Orejas( )

22 editions published in 2001 in English and held by 378 WorldCat member libraries worldwide

Annotation
Euro-Par 2012 parallel processing : 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings by International EURO-PAR Conference( )

6 editions published in 2012 in English and German and held by 377 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed proceedings of the 18th International Conference, Euro-Par 2012, held in Rhodes Islands, Greece, in August 2012. The 75 revised full papers presented were carefully reviewed and selected from 228 submissions. The papers are organized in topical sections on support tools and environments; performance prediction and evaluation; scheduling and load balancing; high-performance architectures and compilers; parallel and distributed data management; grid, cluster and cloud computing; peer to peer computing; distributed systems and algorithms; parallel and distributed programming; parallel numerical algorithms; multicore and manycore programming; theory and algorithms for parallel computation; high performance network and communication; mobile and ubiquitous computing; high performance and scientific applications; GPU and accelerators computing
Algorithms, probability, networks, and games : scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday by Spyros Kontogiannis( )

6 editions published between 2015 and 2016 in English and held by 306 WorldCat member libraries worldwide

This Festschrift volume is published in honor of Professor Paul G. Spirakis on the occasion of his 60th birthday. It celebrates his significant contributions to computer science as an eminent, talented, and influential researcher and most visionary thought leader, with a great talent in inspiring and guiding young researchers. The book is a reflection of his main research activities in the fields of algorithms, probability, networks, and games, and contains a biographical sketch as well as essays and research contributions from close collaborators and former PhD students
Stabilization, safety, and security of distributed systems : 9th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, proceedings by SSS (Symposium)( )

12 editions published in 2017 in English and held by 266 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017. The 29 revised full papers presented together with 8 revised short papers were carefully reviewed and selected from 68 initial submissions. This year the Symposium was organized into three tracks reflecting major trends related to self-* systems: Stabilizing Systems: Theory and Practice: Distributed Computing and Communication Networks; and Computer Security and Information Privacy
Lectures on parallel computation( Book )

12 editions published between 1993 and 2005 in English and Undetermined and held by 221 WorldCat member libraries worldwide

The foundations of parallel computation are the concern of this book, which may also function as a source of teaching material or reference for researchers
New models for population protocols by Othon Michail( )

11 editions published in 2011 in English and held by 204 WorldCat member libraries worldwide

Wireless sensor networks are about to be part of everyday life. Homes and workplaces capable of self-controlling and adapting air-conditioning for different temperature and humidity levels, sleepless forests ready to detect and react in case of a fire, vehicles able to avoid sudden obstacles or possibly able to self-organize routes to avoid congestion, and so on, will probably be commonplace in the very near future. Mobility plays a central role in such systems and so does passive mobility, that is, mobility of the network stemming from the environment itself. The population protocol model was an intellectual invention aiming to describe such systems in a minimalistic and analysis-friendly way. Having as a starting-point the inherent limitations but also the fundamental establishments of the population protocol model, we try in this monograph to present some realistic and practical enhancements that give birth to some new and surprisingly powerful (for these kind of systems) computational models
Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, proceedings by Samson Abramsky( )

10 editions published in 2010 in English and held by 62 WorldCat member libraries worldwide

Annotation
Distributed Computing in Sensor Systems (vol. # 3560) First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings by Sitharama Iyengar( )

7 editions published in 2005 in English and Undetermined and held by 48 WorldCat member libraries worldwide

Algorithms third annual European symposium ; proceedings( Book )

1 edition published in 1995 in German and held by 47 WorldCat member libraries worldwide

Internet and Network Economics (vol. # 4286) Second International Workshop, WINE 2006, Patras, Greece, December 15-17, 2006, Proceedings by P. G Spirakis( )

7 editions published in 2006 in English and held by 46 WorldCat member libraries worldwide

VLSI algorithms and architectures : Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986 : proceedings by F Makedon( )

6 editions published in 1986 in English and held by 45 WorldCat member libraries worldwide

Annotation Introduction to the temporal logic of - in particular paral- lel - programs. Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework
Distributed computing in sensor systems : first IEEE international conference, DCOSS 2005, Marina del Rey, CA, USA, June 30 -July 1, 2005 : proceedings by V. K Prasanna Kumar( Book )

6 editions published in 2005 in English and held by 33 WorldCat member libraries worldwide

The book constitutes the refereed proceedings of the First International Conference on Distributed Computing in Sensor Systems, DCOSS 2005, held in Marina del Rey, California, USA in June/July 2005. The 26 revised full papers presented were carefully reviewed and selected from 85 submissions; also included are the abstracts of 3 invited talks, 2 short papers, 9 invited poster abstracts, and 10 contributed abstracts. The papers address all current aspects of distributed computing issues in large-scale networked sensor systems, including systematic design techniques and tools, algorithms, and applications
Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I by Samson Abramsky( )

10 editions published in 2010 in English and held by 29 WorldCat member libraries worldwide

Annotation
Automata, Languages and Programming : 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings by Fernando Orejas( )

1 edition published in 2001 in English and held by 27 WorldCat member libraries worldwide

"0 (logn) parallel time intersection and union algorithms for a set of planar discs" by T. S Papatheodorou( )

2 editions published in 1987 in English and held by 23 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.59 (from 0.46 for Algorithms ... to 0.94 for Lectures o ...)

WorldCat IdentitiesRelated Identities
Internet and network economics : second international workshop, WINE 2006, Patras, Greece, December 15-17, 2006 : proceedings Internet and Network Economics (vol. # 4286) Second International Workshop, WINE 2006, Patras, Greece, December 15-17, 2006, Proceedings
Covers
Internet and network economics : second international workshop, WINE 2006, Patras, Greece, December 15-17, 2006 : proceedingsAlgorithms and complexity : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013 : proceedingsDistributed algorithms : 5th international workshop, WDAG '91, Delphi, Greece, October 7-9, 1991 : proceedingsAlgorithms - ESA '95 : Third Annual European Symposium, Corfu, Greece, September 25-27, 1995 : proceedingsAutomata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedingsLectures on parallel computationNew models for population protocolsAutomata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, proceedings
Alternative Names
Paul Spirakis informaticus

Spirakis, P. G.

Spirakis, P. G. 1955-

Spirakis Paul

Spirakis, Paul 1955-

Spirakis, Paul G.

Spirakis, Paul G. 1955-

Spirakis, Paul George 1955-

Spyrakēs, Paulos G. 1955-

Languages
English (199)

German (3)

Italian (1)