default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 538

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on 11 of 11 records

view refined list in

export refined list as

showing all 11 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 538, June 2014

Preface

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MassinkNW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MassinkNW14
Mieke Massink, Gethin Norman, Herbert Wiklicky:
Quantitative Aspects of Programming Languages and Systems (2011-12). 1
no results

Special Issue Articles

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AdaoMV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AdaoMV14
Pedro Adão, Paulo Mateus, Luca Viganò:
Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete. 2-15
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DengGHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DengGHM14
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan:
Real-reward testing for probabilistic processes. 16-36
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DragerKPQ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DragerKPQ14
Klaus Dräger, Marta Z. Kwiatkowska, David Parker, Hongyang Qu:
Local abstraction refinement for probabilistic timed programs. 37-53
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FahrenbergL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FahrenbergL14
Uli Fahrenberg, Axel Legay:
The quantitative linear-time-branching-time spectrum. 54-69
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Giro14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Giro14
Sergio Giro:
Optimal schedulers vs optimal bases: An approach for efficient exact solving of Markov decision processes. 70-83
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GiroDF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GiroDF14
Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti:
Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms. 84-102
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HansenT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HansenT14
Henri Hansen, Mark Timmer:
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time. 103-123
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Klebanov14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Klebanov14
Vladimir Klebanov:
Precise quantitative information flow analysis - a symbolic approach. 124-139
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/TschaikowskiT14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/TschaikowskiT14a
Max Tschaikowski, Mirco Tribastone:
Exact fluid lumpability in Markovian process algebra. 140-166
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/YasuokaT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/YasuokaT14
Hirotoshi Yasuoka, Tachio Terauchi:
Quantitative information flow as safety and liveness hyperproperties. 167-182
no results

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.