default search action

combined dblp search
author search
venue search
publication search

ask others

Bulletin of the EATCS, Volume 108

> Home > Journals > Bulletin of the EATCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 108, October 2012

EATCS Matters

- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Aceto12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Aceto12
Luca Aceto:
Letter from the President. 11-13
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Serna12b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Serna12b
Maria J. Serna:
Letter from the Bulletin Editor. 14
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Monien12b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Monien12b
Burkhard Monien:
Report form the EATCS General Assembly. 15-23
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Heide12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Heide12
Friedhelm Meyer auf der Heide:
The EATCS Award 2013. Call for nominations. 16
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Arora12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Arora12
Sanjeev Arora:
The Gödel Price 2013. Call for Nominations. 17-21
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Henzinger12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Henzinger12
Monika Henzinger:
The Presburger Award 2013: Call for Nominations. 22-23
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Boas12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Boas12
Peter van Emde Boas:
In Memoriam Manfred Kudlek (1940-2012). 24-30

EATCS News

- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Calude12b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Calude12b
Cristian S. Calude:
News from New Zealand. 37-45

The EATCS Columns

- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/MeierMMV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/MeierMMV12
Arne Meier, Julian-Steffen Müller, Martin Mundhenk, Heribert Vollmer:
Complexity of Model Checking for Logics over Kripke models. 49-89
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Markou12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Markou12
Euripides Markou:
Identifying Hostile Nodes in Networks Using Mobile Agents. 93-129
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Barak12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Barak12
Boaz Barak:
Truth vs. Proof in Computational Complexity. 130-142

Technical Contributions

- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Nivat12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Nivat12
Maurice Nivat:
40th Anniversary of EATCS. 145-147
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Wiedermann12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Wiedermann12
Jirí Wiedermann:
Thirty Years of Collaboration with Jan van Leeuwen: In Search of Understanding Computation. 148-160

Reports from Conferences

- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Smyth12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Smyth12
Bill Smyth:
Report from IWOCA 2012. 163-167
- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Malcher12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Malcher12
Andreas Malcher:
Report from DCFS 2012. 168-169

Abstracts of PhD thesis

- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/Pibernat12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/Pibernat12
Hugo Hernández Pibernat:
Swarm Intelligence Techniques for Optimization and Management Tasks in Sensor Networks. 173-176

Announcements

- view
  - electronic edition @ eatcs.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/eatcs/CourcelleE12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/CourcelleE12
Bruno Courcelle, Joost Engelfriet:
Book: Graph Structure and Monadic Second-Order Logic. A Language-Theoretic Approach. 179

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.