Boyan Yordanov

Identifiers

• name variant Boyan Yordanov 0.60 · backfill

Papers (3)

1. Experimental Biological Protocols with Formal Semantics cs.PL · 2017 · author #5
2. Synthesizing and tuning chemical reaction networks with specified behaviours cs.ET · 2015 · author #4
3. A Formal Verification Approach to the Design of Synthetic Gene Networks cs.SY · 2011 · author #1

Mentions

• 1508.04403 #4 · backfill · confidence 0.70 Boyan Yordanov
• 1109.1275 #1 · arxiv_oai · confidence 0.70 Boyan Yordanov
• 1109.1275 #1 · backfill · confidence 0.70 Boyan Yordanov

Frequent Coauthors

• Alessandro Abate 1 shared papers
• Calin Belta 1 shared papers
• Luca Cardelli 1 shared papers
• Luca Laurenti 1 shared papers
• Marta Kwiatkowska 1 shared papers
• Neil Dalchau 1 shared papers
• Niall Murphy 1 shared papers
• Rasmus Petersen 1 shared papers