Sidi Ould Biha

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Machine Processable

Reasoning Mechanism

Logical Formulas

Top Venues

University of Nice Sophia Antipolis, France (PHD)

Education History

University of Nice Sophia Antipolis, France

PHD

Publications

Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
A Machine-Checked Proof of the Odd Order Theorem. ITP (2013)
Jan Olaf Blech, Sidi Ould Biha
On Formal Reasoning on the Semantics of PLC using Coq CoRR (2013)
Sidi Ould Biha
A Formal Semantics of PLC Programs in Coq. COMPSAC (2011)
Jan Olaf Blech, Sidi Ould Biha
Verification of PLC Properties Based on Formal Semantics in Coq. SEFM (2011)
Sidi Ould Biha
Finite Groups Representation Theory with Coq. Calculemus/MKM (2009)
Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca
Canonical Big Operators. TPHOLs (2008)