A machine-checked proof of the odd order theorem G Gonthier, A Asperti, J Avigad, Y Bertot, C Cohen, F Garillot, S Le Roux, ... International conference on interactive theorem proving, 163-179, 2013 | 527 | 2013 |
Canonical big operators Y Bertot, G Gonthier, S Ould Biha, I Pasca International Conference on Theorem Proving in Higher Order Logics, 86-101, 2008 | 128 | 2008 |
Verification of PLC properties based on formal semantics in Coq JO Blech, S Ould Biha International Conference on Software Engineering and Formal Methods, 58-73, 2011 | 35 | 2011 |
A formal semantics of PLC programs in Coq SO Biha 2011 IEEE 35th Annual Computer Software and Applications Conference, 118-127, 2011 | 29 | 2011 |
On formal reasoning on the semantics of PLC using Coq JO Blech, SO Biha arXiv preprint arXiv:1301.3047, 2013 | 21 | 2013 |
Formalisation des mathématiques: une preuve du théoreme de Cayley-Hamilton SO Biha JFLA (Journées Francophones des Langages Applicatifs), 1-14, 2008 | 9 | 2008 |
Finite Groups Representation Theory with Coq SO Biha International Conference on Intelligent Computer Mathematics, 438-452, 2009 | 3 | 2009 |
Composants mathématiques pour la théorie des groupes SO Biha Université Nice Sophia Antipolis, 2010 | 2 | 2010 |
Mathematical components for groups theory S Ould Biha HAL 2010, 2010 | 1 | 2010 |
Geochemistry of uranium-bearing rocks in the regions of Oued El Foula and Ain Sder RE Welaty, D Maghlah, S Biha, A Mahfoudh, A Boushaba, SAM Lemine, ... Arabian Journal of Geosciences 17 (7), 212, 2024 | | 2024 |