Deriving a systolic regular language recognizer. - Matteo Vaccari; Roland Carl Backhouse (Algorithmic Languages and Calculi, 1997)

Calculating a Round-Robin Scheduler. - Matteo Vaccari; Roland Carl Backhouse (MPC, 1998)

The Pomodoro Technique for Sustainable Pace in Extreme Programming Teams. - Federico Gobbo; Matteo Vaccari (XP, 2008)