Guillaume Bury
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2015–2024
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FM | Chamelon : A Delta-Debugger for OCaml. | Milla Valnet, Nathanalle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron |
| 2024 | LPAR | On SMT Theory Design: The Case of Sequences. | Hichem Rami Ait El Hara, Franois Bobot, Guillaume Bury |
| 2015 | LPAR | Implementing Polymorphism in Zenon. | Guillaume Bury, Raphal Cauderlier, Pierre Halmagrand |
| 2015 | LPAR | Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo. | Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant |
| 2015 | TABLEAUX | Integrating Simplex with Tableaux. | Guillaume Bury, David Delahaye |