Max Whitby

Max Whitby

Doctoral Student

Student, Keble College

Leaving date: 18th December 2019

Themes:

• Automated Verification

Selected Publications

View AllManage publications

• PID Control of Biochemical Reaction Networks

  Max Whitby‚ Luca Cardelli‚ Marta Kwiatkowska‚ Luca Laurenti‚ Mirco Tribastone and Max Tschaikowski

  In CoRR. Vol. abs/1903.10390. 2019.

  Details about PID Control of Biochemical Reaction Networks | BibTeX data for PID Control of Biochemical Reaction Networks | Link to PID Control of Biochemical Reaction Networks

• Chemical Reaction Network Designs for Asynchronous Logic Circuits

  Luca Cardelli‚ Marta Kwiatkowska and Max Whitby

  2016.

  Details about Chemical Reaction Network Designs for Asynchronous Logic Circuits | BibTeX data for Chemical Reaction Network Designs for Asynchronous Logic Circuits

• Syntax−Guided Optimal Synthesis for Chemical Reaction Networks

  Luca Cardelli‚ Milan Ceška3 Martin Fränzle‚ Marta Kwiatkowska‚ Luca Laurenti‚ Nicola Paoletti and Max Whitby

  Details about Syntax−Guided Optimal Synthesis for Chemical Reaction Networks | BibTeX data for Syntax−Guided Optimal Synthesis for Chemical Reaction Networks

Supervisor