co-author : Agostino Dovier

2 journals & series with Roberta Calegari
book Fundamenta Informaticae (FI)
book CEUR Workshop Proceedings (CEUR-WS.org)