Edit Profile Bobot, François Compute Distance To: Compute Author ID: bobot.francois Published as: Bobot, Francois; Bobot, François Documents Indexed: 5 Publications since 2011 all top 5 Co-Authors 0 single-authored 1 Amadio, Roberto M. 1 Ayache, Nicolas 1 Bardin, Sébastien 1 Boender, Jaap P. 1 Bouillaguet, Quentin 1 Campbell, Brian A. 1 Chihani, Zakaria 1 Conchon, Sylvain 1 Contejean, Evelyne 1 Garnier, Ilias 1 Iguernelala, Mohamed 1 Madet, Antoine 1 Mahboubi, Assia 1 Marre, Bruno 1 McKinna, James 1 Mebsout, Alain 1 Melquiond, Guillaume 1 Mulligan, Dominic P. 1 Paskevich, Andrei 1 Piccolo, Mauro 1 Pollack, Randy 1 Régis-Gianas, Yann 1 Sacerdoti Coen, Claudio 1 Sighireanu, Mihaela 1 Stark, Ian 1 Tranquilli, Paolo 1 Yakobowski, Boris Serials Fields 5 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year Citations contained in zbMATH 4 Publications have been cited 9 times in 9 Documents Cited by ▼ Year ▼ Certified complexity (CerCo). Zbl 1445.68057Amadio, Roberto M.; Ayache, Nicolas; Bobot, Francois; Boender, Jaap P.; Campbell, Brian; Garnier, Ilias; Madet, Antoine; McKinna, James; Mulligan, Dominic P.; Piccolo, Mauro; Pollack, Randy; Régis-Gianas, Yann; Sacerdoti Coen, Claudio; Stark, Ian; Tranquilli, Paolo 3 2014 A simplex-based extension of Fourier-Motzkin for solving linear integer arithmetic. Zbl 1358.68249Bobot, François; Conchon, Sylvain; Contejean, Evelyne; Iguernelala, Mohamed; Mahboubi, Assia; Mebsout, Alain; Melquiond, Guillaume 3 2012 Expressing polymorphic types in a many-sorted language. Zbl 1348.68215Bobot, François; Paskevich, Andrei 2 2011 Sharpening constraint programming approaches for bit-vector theory. Zbl 06756571Chihani, Zakaria; Marre, Bruno; Bobot, François; Bardin, Sébastien 1 2017 Sharpening constraint programming approaches for bit-vector theory. Zbl 06756571Chihani, Zakaria; Marre, Bruno; Bobot, François; Bardin, Sébastien 1 2017 Certified complexity (CerCo). Zbl 1445.68057Amadio, Roberto M.; Ayache, Nicolas; Bobot, Francois; Boender, Jaap P.; Campbell, Brian; Garnier, Ilias; Madet, Antoine; McKinna, James; Mulligan, Dominic P.; Piccolo, Mauro; Pollack, Randy; Régis-Gianas, Yann; Sacerdoti Coen, Claudio; Stark, Ian; Tranquilli, Paolo 3 2014 A simplex-based extension of Fourier-Motzkin for solving linear integer arithmetic. Zbl 1358.68249Bobot, François; Conchon, Sylvain; Contejean, Evelyne; Iguernelala, Mohamed; Mahboubi, Assia; Mebsout, Alain; Melquiond, Guillaume 3 2012 Expressing polymorphic types in a many-sorted language. Zbl 1348.68215Bobot, François; Paskevich, Andrei 2 2011 all top 5 Cited by 36 Authors 2 Bromberger, Martin 2 Weidenbach, Christoph 1 Abbott, John A. 1 Ábrahám, Erika 1 Asperti, Andrea 1 Becker, Bernd 1 Bigatti, Anna Maria 1 Blanchette, Jasmin Christian 1 Bobot, François 1 Böhme, Sascha 1 Brain, Martin 1 Buchberger, Bruno 1 Charguéraud, Arthur 1 Cimatti, Alessandro 1 Davenport, James Harold 1 England, Matthew 1 Fontaine, Pascal 1 Forrest, Stephen 1 Fox, Anthony C. J. 1 Griggio, Alberto 1 Kröning, Daniel 1 Kumar, Ramana 1 Myreen, Magnus O. 1 Norrish, Michael 1 Owens, Scott 1 Paskevich, Andrei 1 Popescu, Andrei 1 Pottier, François 1 Ricciotti, Wilmer 1 Seiler, Werner M. 1 Smallbone, Nicholas 1 Søndergaard, Harald 1 Stuckey, Peter James 1 Sturm, Thomas P. 1 Tan, Yong Kiam 1 Wang, Wenxi Cited in 5 Serials 2 Journal of Automated Reasoning 1 Theoretical Computer Science 1 Formal Methods in System Design 1 Journal of Functional Programming 1 Logical Methods in Computer Science Cited in 2 Fields 9 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year