Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 563

> 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 563, January 2015

Contributions

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CavalcantiG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CavalcantiG15
Ana Cavalcanti, Marie-Claude Gaudel:
Test selection for traces refinement. 1-42
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BouyerMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BouyerMS15
Patricia Bouyer, Nicolas Markey, Ocan Sankur:
Robust reachability in timed automata and games: A game-based approach. 43-74
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DAgostinoL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DAgostinoL15
Giovanna D'Agostino, Giacomo Lenzi:
Bisimulation quantifiers and uniform interpolation for guarded first order logic. 75-85
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GuanL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GuanL15
Xuechong Guan, Yongming Li:
On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras. 86-98
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Bernardo15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Bernardo15
Marco Bernardo:
On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi. 99-143

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.