The following pages link to Boyan Yordanov (Q1796494):
Displaying 9 items.
- Experimental biological protocols with formal semantics (Q1796495) (← links)
- Formal analysis of piecewise affine systems through formula-guided refinement (Q1939637) (← links)
- Formal methods for discrete-time dynamical systems (Q2012356) (← links)
- Fast enumeration of non-isomorphic chemical reaction networks (Q2326596) (← links)
- Synthesizing and Tuning Chemical Reaction Networks with Specified Behaviours (Q2948406) (← links)
- Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications (Q3523135) (← links)
- Functional Analysis of Large-Scale DNA Strand Displacement Circuits (Q5168509) (← links)
- Formal Analysis of Discrete-Time Piecewise Affine Systems (Q5347552) (← links)
- Temporal Logic Control of Discrete-Time Piecewise Affine Systems (Q5352845) (← links)
