Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 735

> 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 735, July 2018

Reachability Problems 2014: Special Issue

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/OuakninePW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/OuakninePW18
Joël Ouaknine, Igor Potapov, James Worrell:
Reachability Problems 2014: Special issue. 1
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/DemriDS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DemriDS18
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
Equivalence between model-checking flat counter systems and Presburger arithmetic. 2-23
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/GeeraertsGNS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GeeraertsGNS18
Gilles Geeraerts, Joël Goossens, Thi-Van-Anh Nguyen, Amélie Stainer:
Synthesising succinct strategies in safety games with an application to real-time scheduling. 24-49
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/HofmanT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HofmanT18
Piotr Hofman, Patrick Totzke:
Trace inclusion for one-counter nets revisited. 50-63
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/JovanovicK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JovanovicK18
Aleksandra Jovanovic, Marta Kwiatkowska:
Parameter synthesis for probabilistic timed automata using stochastic game abstractions. 64-81
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/HunterPPR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HunterPPR18
Paul Hunter, Arno Pauly, Guillermo A. Pérez, Jean-François Raskin:
Mean-payoff games with partial observation. 82-110
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/HaddadM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HaddadM18
Serge Haddad, Benjamin Monmege:
Interval iteration algorithm for MDPs and IMDPs. 111-131
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BazilleBGP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BazilleBGP18
Hugo Bazille, Olivier Bournez, Walid Gomaa, Amaury Pouly:
On the complexity of bounded time and precision reachability for piecewise affine systems. 132-146
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/ChistikovHH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ChistikovHH18
Dmitry Chistikov, Christoph Haase, Simon Halfon:
Context-free commutative grammars with integer counters and resets. 147-161

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.