×
Edit Profile (opens in new tab)

Bobot, François

Co-Author Distance
Author ID: bobot.francois Recent zbMATH articles by "Bobot, François"
Published as: Bobot, François; Bobot, Francois
Documents Indexed: 8 Publications since 2011
Co-Authors: 34 Co-Authors with 8 Joint Publications
378 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
2 Bardin, Sébastien
2 Dutle, Aaron M.
2 Moscato, Mariano M.
2 Muñoz, César A.
2 Titolo, Laura
1 Amadio, Roberto M.
1 Ayache, Nicolas
1 Boender, Jaap P.
1 Bouillaguet, Quentin
1 Campbell, Brian
1 Chareton, Christophe
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 Perrelle, Valentin
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 Valiron, Benoît
1 Yakobowski, Boris

Serials

1 Formal Aspects of Computing

Fields

8 Computer science (68-XX)
2 Numerical analysis (65-XX)
1 Mathematical logic and foundations (03-XX)
1 Quantum theory (81-XX)
1 Operations research, mathematical programming (90-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

6 Publications have been cited 24 times in 23 Documents Cited by ▼ Year ▼
Expressing polymorphic types in a many-sorted language. Zbl 1348.68215
Bobot, François; Paskevich, Andrei
6
2011
An automated deductive verification framework for circuit-building quantum programs. Zbl 1473.68106
Chareton, Christophe; Bardin, Sébastien; Bobot, François; Perrelle, Valentin; Valiron, Benoît
6
2021
Sharpening constraint programming approaches for bit-vector theory. Zbl 1489.68249
Chihani, Zakaria; Marre, Bruno; Bobot, François; Bardin, Sébastien
4
2017
Certified complexity (CerCo). Zbl 1445.68057
Amadio, 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.68249
Bobot, François; Conchon, Sylvain; Contejean, Evelyne; Iguernelala, Mohamed; Mahboubi, Assia; Mebsout, Alain; Melquiond, Guillaume
3
2012
A formally verified floating-point implementation of the compact position reporting algorithm. Zbl 1460.68128
Titolo, Laura; Moscato, Mariano M.; Muñoz, César A.; Dutle, Aaron; Bobot, François
2
2018
An automated deductive verification framework for circuit-building quantum programs. Zbl 1473.68106
Chareton, Christophe; Bardin, Sébastien; Bobot, François; Perrelle, Valentin; Valiron, Benoît
6
2021
A formally verified floating-point implementation of the compact position reporting algorithm. Zbl 1460.68128
Titolo, Laura; Moscato, Mariano M.; Muñoz, César A.; Dutle, Aaron; Bobot, François
2
2018
Sharpening constraint programming approaches for bit-vector theory. Zbl 1489.68249
Chihani, Zakaria; Marre, Bruno; Bobot, François; Bardin, Sébastien
4
2017
Certified complexity (CerCo). Zbl 1445.68057
Amadio, 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.68249
Bobot, 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.68215
Bobot, François; Paskevich, Andrei
6
2011
all cited Publications top 5 cited Publications
all top 5

Cited by 64 Authors

3 Bobot, François
2 Bhayat, Ahmed
2 Blanchette, Jasmin Christian
2 Bromberger, Martin
2 Charguéraud, Arthur
2 Echenim, Mnacho
2 Mhalla, Mehdi
2 Moscato, Mariano M.
2 Muñoz, César A.
2 Pottier, François
2 Reger, Giles
2 Titolo, Laura
2 Vilmart, Renaud
2 Weidenbach, Christoph
1 Abbott, John A.
1 Ábrahám, Erika
1 Bardin, Sébastien
1 Bauer-Marquart, Fabian
1 Becker, Bernd
1 Bentkamp, Alexander
1 Bigatti, Anna Maria
1 Böhme, Sascha
1 Brain, Martin
1 Buchberger, Bruno
1 Chareton, Christophe
1 Cimatti, Alessandro
1 Cruanes, Simon
1 Davenport, James Harold
1 Dutertre, Bruno
1 Dutle, Aaron M.
1 Echahed, Rachid
1 England, Matthew
1 Feliú, Marco A.
1 Fontaine, Pascal
1 Forrest, Stephen
1 Fox, Anthony C. J.
1 Graham-Lengrand, Stéphane
1 Griggio, Alberto
1 Jovanović, Dejan
1 Kröning, Daniel
1 Kumar, Ramana
1 Leue, Stefan
1 Meel, Kuldeep S.
1 Mohammadalitajrishi, Mahshid
1 Myreen, Magnus O.
1 Norrish, Michael
1 Owens, Scott
1 Paskevich, Andrei
1 Peltier, Nicolas
1 Perrelle, Valentin
1 Pesant, Gilles
1 Popescu, Andrei
1 Schilling, Christian
1 Schmitt, Peter H.
1 Seiler, Werner M.
1 Smallbone, Nicholas
1 Søndergaard, Harald
1 Stuckey, Peter James
1 Sturm, Thomas
1 Tan, Yong Kiam
1 Ulbrich, Mattias
1 Valiron, Benoît
1 Waldmann, Uwe
1 Wang, Wenxi

Cited in 5 Serials

3 Journal of Automated Reasoning
3 Logical Methods in Computer Science
1 Formal Aspects of Computing
1 Formal Methods in System Design
1 Journal of Functional Programming

Cited in 5 Fields

23 Computer science (68-XX)
6 Mathematical logic and foundations (03-XX)
3 Quantum theory (81-XX)
2 Numerical analysis (65-XX)
2 Operations research, mathematical programming (90-XX)

Citations by Year