Edit Profile (opens in new tab) Farinier, Benjamin Co-Author Distance Author ID: farinier.benjamin Published as: Farinier, Benjamin Documents Indexed: 3 Publications since 2018 Co-Authors: 6 Co-Authors with 3 Joint Publications 32 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Bardin, Sébastien 1 Bonichon, Richard 1 David, Robin 1 Girol, Guillaume 1 Lemerre, Matthieu 1 Potet, Marie-Laure Serials Fields 3 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Publications by Year Citations contained in zbMATH Open 2 Publication has been cited 2 times in 1 Document Cited by ▼ Year ▼ Model generation for quantified formulas: a taint-based approach. Zbl 1511.68247 Farinier, Benjamin; Bardin, Sébastien; Bonichon, Richard; Potet, Marie-Laure 1 2018 Arrays made simpler: an efficient, scalable and thorough preprocessing. Zbl 1415.68145 Farinier, Benjamin; David, Robin; Bardin, Sébastien; Lemerre, Matthieu 1 2018 Model generation for quantified formulas: a taint-based approach. Zbl 1511.68247 Farinier, Benjamin; Bardin, Sébastien; Bonichon, Richard; Potet, Marie-Laure 1 2018 Arrays made simpler: an efficient, scalable and thorough preprocessing. Zbl 1415.68145 Farinier, Benjamin; David, Robin; Bardin, Sébastien; Lemerre, Matthieu 1 2018 Cited by 3 Authors 1 Bardin, Sébastien 1 Farinier, Benjamin 1 Girol, Guillaume Cited in 0 Serials Cited in 2 Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Citations by Year