Jean-Paul Comet

Identifiers

• name variant Jean-Paul Comet 0.60 · backfill

Papers (2)

1. A Hybrid Hoare Logic for Gene Network Models cs.LO · 2016 · author #2
2. A Genetically Modified Hoare Logic cs.CE · 2015 · author #2

Mentions

• 1506.05887 #2 · backfill · confidence 0.70 Jean-Paul Comet

Frequent Coauthors

• Adrien Richard 1 shared papers
• Gilles Bernot 1 shared papers
• Jonathan Behaegel 1 shared papers
• Maxime Folschette 1 shared papers
• Olivier Roux 1 shared papers
• Zohra Khalis 1 shared papers