Publications
The list of my publications is given here. Their BibTeX entries are also available.
-
-
A neutral approach to proof and refutation in MALL
- With Dale Miller
-
- In F. Pfenning, editor, 23th Symp. on Logic in Computer Science, pages 498–508. IEEE Computer Society Press, June 2008.
-
pdf
-
bib
-
- Extended report, April 2008.
-
pdf
-
bib
-
-
-
-
Proof and refutation in MALL as a game
- With Dale Miller and Alexis Saurin
-
- Annals of Pure and Applied Logic, 161(5):654–672, February 2010. The Third workshop on Games for Logic and Programming Languages (GaLoP), Galop 2008.
-
pdf
-
doi
-
bib
-
-
Operation Based Model Representation: Experiences on Inconsistency Detection
- With Jérôme Le Noir, Daniel Exertier, Marcos da Silva, and Xavier Blanc
-
- In France, Robert and Kuester, Jochen and Bordbar, Behzad and Paige, Richard, editor, Modelling Foundations and Applications, pages 85–96. Springer Berlin / Heidelberg, 2011.
-
doi
-
bib