co-autore : Maxime Louvel

2 riviste con Andrea Omicini
book Journal of Logical and Algebraic Methods in Programming (JLAMP)
book Lecture Notes in Computer Science (LNCS)