Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 765

> 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 765, April 2019

Formal Verification and Static Analysis of Molecular Devices and Biological Systems

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Kari19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Kari19
Lila Kari:
Editorial. iii
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/FeretPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FeretPS19
Jérôme Feret, Loïc Paulevé, David Safránek:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/JohnsonDW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JohnsonDW19
Robert F. Johnson, Qing Dong, Erik Winfree:
Verifying chemical reaction network implementations: A bisimulation approach. 3-46
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/CardelliTTV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CardelliTTV19
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Comparing chemical reaction networks: A categorical and algorithmic perspective. 47-66
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ShinTW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ShinTW19
Seung Woo Shin, Chris Thachuk, Erik Winfree:
Verifying chemical reaction network implementations: A pathway decomposition approach. 67-96
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Honorato-Zimmer19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Honorato-Zimmer19
Ricardo Honorato-Zimmer, Andrew J. Millar, Gordon D. Plotkin, Argyris Zardilis:
Chromar, a language of parameterised agents. 97-119
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/KolcakSHP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KolcakSHP19
Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé:
Parameter space abstraction and unfolding semantics of discrete regulatory networks. 120-144
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BernotCKRR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BernotCKRR19
Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux:
A genetically modified Hoare logic. 145-157
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/IslamCFGJS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/IslamCFGJS19
Md. Ariful Islam, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka:
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. 158-169

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.