co-author : Maxime Louvel

2 journals & series with Andrea Omicini
book Journal of Logical and Algebraic Methods in Programming (JLAMP)
book Lecture Notes in Computer Science (LNCS)