Sidi Ould Biha

According to our database, Sidi Ould Biha authored at least 7 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

On Formal Reasoning on the Semantics of PLC using Coq

Jan Olaf Blech, Sidi Ould Biha

CoRR, 2013

A Machine-Checked Proof of the Odd Order Theorem.

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

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2011

Verification of PLC Properties Based on Formal Semantics in Coq.

Jan Olaf Blech, Sidi Ould Biha

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

A Formal Semantics of PLC Programs in Coq.

Sidi Ould Biha

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

Composants mathématiques pour la théorie des groupes. (Mathematical components for groups theory).

Sidi Ould Biha

PhD thesis, 2010

2009

Finite Groups Representation Theory with Coq.

Sidi Ould Biha

Proceedings of the Intelligent Computer Mathematics, 2009

2008

Canonical Big Operators.

Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioana Pasca

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008