Foundational proof certificates in first-order logic Z Chihani, D Miller, F Renaud International Conference on Automated Deduction, 162-177, 2013 | 39 | 2013 |

A semantic framework for proof evidence Z Chihani, D Miller, F Renaud Journal of Automated Reasoning 59 (3), 287-330, 2017 | 25 | 2017 |

The proof certifier checkers Z Chihani, T Libal, G Reis International Conference on Automated Reasoning with Analytic Tableaux and …, 2015 | 20 | 2015 |

Real behavior of floating point numbers B Marre, F Bobot, Z Chihani | 15 | 2017 |

Translating between implicit and explicit versions of proof R Blanco, Z Chihani, D Miller International Conference on Automated Deduction, 255-273, 2017 | 12 | 2017 |

Sharpening constraint programming approaches for bit-vector theory Z Chihani, B Marre, F Bobot, S Bardin International Conference on AI and OR Techniques in Constraint Programming …, 2017 | 9 | 2017 |

Checking foundational proof certificates for first-order logic Z Chihani, D Miller, F Renaud | 9 | 2013 |

Proof certificates for equality reasoning Z Chihani, D Miller Electronic Notes in Theoretical Computer Science 323, 93-108, 2016 | 8 | 2016 |

Classical polarizations yield double-negation translations Z Chihani, D Ilik, D Miller | 5 | 2016 |

Real behavior of floating point F Bobot, Z Chihani, B Marre 15th International Workshop on Satisfiability Modulo Theories, 59-74, 2017 | 4 | 2017 |

Certification of First-order proofs in classical and intuitionistic logics Z Chihani PhD thesis, École polytechnique, 2015 | 4 | 2015 |

CDCL-inspired Word-level Learning for Bit-vector Constraint Solving Z Chihani, F Bobot, S Bardin arXiv preprint arXiv:1706.09229, 2017 | 2 | 2017 |

A semantics for proof evidence Z Chihani, D Miller, F Renaud Collected abstracts of Theory and Application of Formal Proofs (LIX …, 2013 | 2 | 2013 |

The exp-log normal form of types and canonical terms for lambda calculus with sums D Ilik, Z Chihani CoRR, abs/1502.04634, 2015 | 1 | 2015 |

CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators J Girard-Satabin, G Charpiat, Z Chihani, M Schoenauer arXiv preprint arXiv:1911.10735, 2019 | | 2019 |

Bruno Marre Benjamin Blanc Patricia Mouy Zakaria Chihani Franck Vedrine François Bobot June 2, 2019 Z Chihani | | 2019 |

Bruno Marre Benjamin Blanc Patricia Mouy Zakaria Chihani Franck Vedrine François Bobot June 11, 2018 Z Chihani | | 2018 |

An interactive assistant for the definition of proof certificates R Blanco, Z Chihani | | 2016 |

Tight coupling between bit-vector and integer domains can surpass bit-blasting SMT solvers Z Chihani | | |

Des approches CPa la conquête de la théorie des bit-vecteurs Z Chihani, B Marre, F Bobot, S Bardin | | |