D. Ballis, Baruzzo, A., and Comini, M.,
“A rule-based method to match Software Patterns against UML Models”,
The 8th International Workshop on Rule-Based Programming (RULE '07). Elsevier Science Publishers, North Holland, pp. 239–248, 2007.
D. Ballis, Baruzzo, A., and Comini, M.,
“A Minimalist Visual Notation for Design Patterns and Antipatterns”,
5th International Conference on Information Technology: New Generations. IEEE Computer Society, pp. 51–56, 2008.
D. Ballis, Falaschi, M., Ferri, C., Hernández-Orallo, J., and Ramirez-Quintana, J. M.,
“Cost-Sensitive Diagnosis of Declarative Programs”,
12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, vol. 86. Elsevier, p. 3, 2003.
D. Ballis and Vivó, J. G.,
“A Rule-based System for Web Site Verification”,
Proceedings of the 1st International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), vol. 157. Elsevier, pp. 153–156, 2006.