Syntax-Guided Optimal Synthesis for Chemical Reaction Networks (Q56981797)

6

0 references

Marta Zofia Kwiatkowska

4

object named as

Marta Kwiatkowska

0 references

author name string

Milan Češka

2

0 references

Martin Fränzle

3

0 references

Luca Laurenti

5

0 references

Max Whitby

Lecture Notes in Computer Science

7

0 references

language of work or name

English

0 references

publication date

2017

0 references

published in

0 references

page(s)

375-395

0 references

maintained by WikiProject

WikiProject Mathematics

0 references

cites work

On Parameter Synthesis by Parallel Model Checking

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation

21 January 2018

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

21 January 2018

Artificial Biochemistry

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

Morphisms of reaction networks that couple structure to function

21 January 2018

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

Two-domain DNA strand displacement

21 January 2018

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

Programming Discrete Distributions with Chemical Reaction Networks

21 January 2018

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation

21 January 2018

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

Chemical Reaction Network Designs for Asynchronous Logic Circuits

21 January 2018

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

Comparing Chemical Reaction Networks

21 January 2018

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

Response dynamics of phosphorelays suggest their potential utility in cell signalling.

21 January 2018

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

Defining an essential transcription factor program for naïve pluripotency

21 January 2018

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

Functional roles for noise in genetic circuits

21 January 2018

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

COPASI--a COmplex PAthway SImulator

21 January 2018

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

Design and analysis of DNA strand displacement devices using probabilistic model checking

21 January 2018

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

Petri nets: Properties, analysis and applications

21 January 2018

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

DNA as a universal substrate for chemical kinetics

21 January 2018

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

Computational design of nucleic acid feedback control circuits

21 January 2018

1 reference

https://api.crossref.org/works/10.1007%2F978-3-319-63390-9_20

10.1007/978-3-319-63390-9_20

21 January 2018

Identifiers

DOI

0 references

DBLP publication ID

conf/cav/CardelliCFKLPW17

1 reference

DBLP Dataset 2021-01-02