Edit Profile Chihani, Zakaria Compute Distance To: Compute Author ID: chihani.zakaria Published as: Chihani, Zakaria Documents Indexed: 6 Publications since 2013 all top 5 Co-Authors 0 single-authored 4 Miller, Dale Allen 2 Renaud, Fabien 1 Bardin, Sébastien 1 Blanco, Roberto 1 Bobot, François 1 Libal, Tomer 1 Marre, Bruno 1 Reis, Giselle Serials 1 Journal of Automated Reasoning Fields 6 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year Citations contained in zbMATH 5 Publications have been cited 18 times in 13 Documents Cited by ▼ Year ▼ Foundational proof certificates in first-order logic. Zbl 1381.68261Chihani, Zakaria; Miller, Dale; Renaud, Fabien 9 2013 A semantic framework for proof evidence. Zbl 1425.68371Chihani, Zakaria; Miller, Dale; Renaud, Fabien 4 2017 The proof certifier checkers. Zbl 06519943Chihani, Zakaria; Libal, Tomer; Reis, Giselle 3 2015 Translating between implicit and explicit versions of proof. Zbl 06778408Blanco, Roberto; Chihani, Zakaria; Miller, Dale 1 2017 Sharpening constraint programming approaches for bit-vector theory. Zbl 06756571Chihani, Zakaria; Marre, Bruno; Bobot, François; Bardin, Sébastien 1 2017 A semantic framework for proof evidence. Zbl 1425.68371Chihani, Zakaria; Miller, Dale; Renaud, Fabien 4 2017 Translating between implicit and explicit versions of proof. Zbl 06778408Blanco, Roberto; Chihani, Zakaria; Miller, Dale 1 2017 Sharpening constraint programming approaches for bit-vector theory. Zbl 06756571Chihani, Zakaria; Marre, Bruno; Bobot, François; Bardin, Sébastien 1 2017 The proof certifier checkers. Zbl 06519943Chihani, Zakaria; Libal, Tomer; Reis, Giselle 3 2015 Foundational proof certificates in first-order logic. Zbl 1381.68261Chihani, Zakaria; Miller, Dale; Renaud, Fabien 9 2013 all top 5 Cited by 23 Authors 4 Miller, Dale Allen 3 Chihani, Zakaria 2 Libal, Tomer 2 Reis, Giselle 1 Benzmüller, Christoph Ewald 1 Brock-Nannestad, Taus 1 Chaudhuri, Kaustuv 1 Ferrari, Mauro 1 Fiorentini, Camillo 1 Fiorino, Guido 1 Guidi, Ferruccio 1 Heath, Quentin 1 Miller, Dale Douglas 1 Paulson, Lawrence Charles 1 Renaud, Fabien 1 Sacerdoti Coen, Claudio 1 Søndergaard, Harald 1 Stuckey, Peter James 1 Sultana, Nik 1 Tassi, Enrico 1 Volpe, Marco 1 Wang, Wenxi 1 Woltzenlogel Paleo, Bruno Cited in 4 Serials 3 Journal of Automated Reasoning 3 MSCS. Mathematical Structures in Computer Science 1 Formal Aspects of Computing 1 ACM Transactions on Computational Logic Cited in 2 Fields 11 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) Citations by Year