Follow
Max Whitby
Max Whitby
Department of Computer Science, Oxford University
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
PID control of biochemical reaction networks
M Whitby, L Cardelli, M Kwiatkowska, L Laurenti, M Tribastone, ...
IEEE Transactions on Automatic Control 67 (2), 1023-1030, 2021
602021
Chemical reaction network designs for asynchronous logic circuits
L Cardelli, M Kwiatkowska, M Whitby
Natural computing 17, 109-130, 2018
382018
Syntax-guided optimal synthesis for chemical reaction networks
L Cardelli, M Češka, M Fränzle, M Kwiatkowska, L Laurenti, N Paoletti, ...
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
362017
The modelling and synthesis of chemical reaction networks
M Whitby
University of Oxford, 2020
2020
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks
M Kwiatkowska, L Laurenti, N Paoletti, M Whitby
The Construction and Verification of Asynchronous Components Built from Chemical Reaction Networks
M Whitby, M Kwiatkowska
The system can't perform the operation now. Try again later.
Articles 1–6