Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 655

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 655, Part A, December 2016

Editorial

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FominFNT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FominFNT16
Fedor V. Fomin, Pierre Fraigniaud, Nicolas Nisse, Dimitrios M. Thilikos:
Forewords: Special issue on Theory and Applications of Graph Searching Problems. 1

Special issue articles

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BonatoMPP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BonatoMPP16
Anthony Bonato, Dieter Mitsche, Xavier Pérez-Giménez, Pawel Pralat:
A probabilistic version of the game of Zombies and Survivors on graphs. 2-14
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FoersterW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FoersterW16
Klaus-Tycho Foerster, Roger Wattenhofer:
Lower and upper competitive bounds for online directed graph exploration. 15-29
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Lehner16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Lehner16
Florian Lehner:
Pursuit evasion on infinite graphs. 30-40
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LuccioP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LuccioP16
Fabrizio Luccio, Linda Pagli:
More agents may decrease global work: A case in butterfly decontamination. 41-57
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/PuchalaR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/PuchalaR16
Bernd Puchala, Roman Rabinovich:
Jumping robbers in digraphs. 58-77
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AmiriKR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AmiriKR16
Saeed Akhoondian Amiri, Stephan Kreutzer, Roman Rabinovich:
DAG-width is PSPACE-complete. 78-89

Volume 655, Part B, December 2016

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/0001BW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/0001BW16
Nathalie Bertrand, Luca Bortolussi, Herbert Wiklicky:
Editorial: Quantitative Aspects of Programming Languages and Systems. 91

Special issue articles

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GazeauMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GazeauMP16
Ivan Gazeau, Dale Miller, Catuscia Palamidessi:
Preserving differential privacy under finite-precision semantics. 92-108
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LasotaP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LasotaP16
Slawomir Lasota, Marcin Poturalski:
Undecidability of performance equivalence of Petri nets. 109-119
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/McIverRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/McIverRS16
Annabelle McIver, Tahiry M. Rabehaja, Georg Struth:
Probabilistic rely-guarantee calculus. 120-134
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MiculanP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MiculanP16
Marino Miculan, Marco Peressotti:
Structural operational semantics for non-deterministic processes with quantitative aspects. 135-154
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Schuppan16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Schuppan16
Viktor Schuppan:
Enhancing unsatisfiable cores for LTL with information on temporal relevance. 155-192
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/TimmerKPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/TimmerKPS16
Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga:
Confluence reduction for Markov automata. 193-219

a service of

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.