Journal editorships

2016

2015

Journal articles

Completed Works

2024

2023

2022

2019

2018

2017

2016

2015

2014

2013

2012

2011

Conference articles

Completed Works

2025

2024

2023

2022

2021

2020

2019

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

Workshop notes

2023

  • Plan Logic
    Joint work with D. Bellier, M. Benerecetti, and S. Pinchinat at Highlights'23.

2021

2019

2017

2015

2014

2013

2012

2011

2010

2009

Technical reports

2024

2023

2021

2020

2019

2014

2012

2011

2008

Theses

2011

2007

2005