BONICHON Richard

PhD graduated
Team : SPI
Departure date : 09/01/2007
https://lip6.fr/Richard.Bonichon

Supervision : Thérèse HARDIN

Pas de titre

Defence : 12/01/2006

Departure date : 09/01/2007

2004-2021 Publications

All Edited books Conference papers Thesis

2021
- A. Dey, B. Costé, É. Totel, A. Bécue, E. Aguas, A. Lambert, G. Blanc, H. Debar, Y. Chevalier, A. Medad, B. Gregorutti, E. Genetay, A. Nguema, G. Menguy, S. Bardin, R. Bonichon, C. De de Souza Lima, R. Charayron, Th. Lefèvre, N. Bartoli, J. Morlier, Z. Chihani, B. Carron, S. Brunessaux, L. Caquot, T. Charrier, B. El Bezzaz Semlali, O. Pasquero, A. Bazin, P.‑E. Flory, K. Kapusta, O. Stan, V. Thouvenot, K. Hynek, R. Ferrari, A. Boudguiga, R. Sirdey, A. Héliou, Th. Cejka, D. La Rocca, M. Zuber, G. Vardoulias, I. Papaioannou, A. Vekinis, G. Papadopoulou, M. Vincent, A. El Fallah‑Seghrouchni, V. Corruble, N. Bernardin, R. Kassab, F. Barbaresco, K. Tit, T. Furon, M. Rousset, L.‑M. Traonouez, P.‑Y. Lagrave, V. Vidal, M.‑C. Corbineau, T. Ceillier, A. IANCHERUK, Ah. Allali, J. Rodriguez, T. Bhor, R. Garcia, J.‑E. Guilhot‑Gaudeffroy, R. Plana : “Actes de la conférence CAID 2021 (Conference on Artificial Intelligence for Defense)”, pp. 1-152 (2021)
2007
- R. Bonichon, D. Delahaye, D. Doligez : “Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs”, LPAR 2007 - 14^th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, vol. 4790, Lecture Notes in Computer Science, Yerevan, Armenia, pp. 151-165, (Springer) (2007)
2006
- R. Bonichon : “Pas de titre”, thesis, defence 12/01/2006, supervision Hardin, Thérèse (2006)
- R. Bonichon, O. Hermant : “A Semantic Completeness Proof for TaMeD”, Logic for Programming, Artificial Intelligence, and Reasoning, (LPAR), vol. 4246, Lecture Notes in Computer Science, Phnom Penh, Cambodia, pp. 167-181, (Springer) (2006)
- R. Bonichon, O. Hermant : “On Constructive Cut Admissibility in Deduction Modulo”, Types for Proofs and Programs, vol. 4502, Lecture Notes in Computer Science, Nottingham, United Kingdom, pp. 33-47, (Springer) (2006)
2004
- R. Bonichon : “TaMeD: A Tableau Method for Deduction Modulo”, IJCAR 2004 - 2^nd International Joint Conference on Automated Reasoning, vol. 3097, Lecture Notes in Computer Science, Cork, Ireland, pp. 445-459, (Springer) (2004)