Pierre Halmagrand
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2013–2016
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICTAC | Soundly Proving B Method Formul Using Typed Sequent Calculus. | Pierre Halmagrand |
| 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 |
| 2013 | LPAR | Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo. | David Delahaye, Damien Doligez, Frdric Gilbert, Pierre Halmagrand, Olivier Hermant |