A Multi-agent System for Electronic Commerce including Adaptive Strategic Behaviours. - Henrique Lopes Cardoso; Max Schaefer; Eugénio C. Oliveira (EPIA, 1999)

Specification, implementation and verification of refactorings. - Max Schaefer (2010)

Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub. - Danielle Gonzalez; Thomas Zimmermann 001; Patrice Godefroid; Max Schaefer (ICSE (SEIP), 2021)