5 citations · 5 across the 2 of their papers we have counts for
2 papers
q-bio.OT2018
Proofs of life: molecular-biology reasoning simulates cell behaviors from first principles
René Vestergaard, Emmanuel Pietriga
We axiomatize the molecular-biology reasoning style, show compliance of the standard reference: Ptashne, A Genetic Switch, and present proof-theory-induced technologies to help inf…
cs.GT2008★ 5 cited
Conversion/Preference Games
Stéphane Le Roux, Pierre Lescanne, René Vestergaard
We introduce the concept of Conversion/Preference Games, or CP games for short. CP games generalize the standard notion of strategic games. First we exemplify the use of CP games.…