M. Comini,
“VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications”,
Proceedings of 11th International Workshop on Functional and (constraint) Logic Programming. Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy, pp. 233–236, 2002.
A. Baruzzo and Comini, M.,
“Static Verification of UML Model Consistency”,
MoDeV{$^2$}a: Model Development, Validation and Verification. University of Queensland, pp. 111–126, 2006.
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.
M. Comini, Levi, G., Meo, M. C., and Vitiello, G.,
“Proving properties of Logic Programs by Abstract Diagnosis”,
Proceedings of Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop (LOMAPS'96), vol. 1192. Springer-Verlag, Berlin, pp. 22–50, 1996.
M. Comini, Damiani, F., and Vrech, S.,
“On Polymorphic Recursion, Type Systems, and Abstract Interpretation”,
Static Analysis – 15th International Symposium, SAS 2008, vol. 5079. Springer-Verlag, Berlin, pp. 144–158, 2008.
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.
A. Baruzzo and Comini, M.,
“A Methodology for UML Models V&V”,
Proceedings of First International Conference on Software Testing, Verification, and Validation. IEEE Computer Society, pp. 513–516, 2008.
M. Comini, Gori, R., and Levi, G.,
“Logic programs as specifications in the inductive verification of logic programs”,
Declarative Programming – Selected Papers from AGP 2000, vol. 48. Elsevier Science Publishers, pp. 1–16, 2001.
M. Comini, Gori, R., and Levi, G.,
“How to Transform an Analyzer into a Verifier”,
Logic for Programming and Automated Reasoning. Proceedings of the 8th International Conference (LPAR'01), vol. 2250. Springer-Verlag, Berlin, pp. 595–609, 2001.
M. Comini, Levi, G., and Vitiello, G.,
“Declarative Diagnosis Revisited”,
Proceedings of the 1995 Int'l Symposium on Logic Programming. The MIT Press, pp. 275–287, 1995.
M. Comini, Levi, G., and Meo, M. C.,
“Compositionality of SLD-derivations and their abstractions”,
Proceedings of the 1995 Int'l Symposium on Logic Programming. The MIT Press, pp. 561–575, 1995.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A.,
“Automatic Synthesis of Specifications for First Order Curry Programs”,
Proceedings of the 14th symposium on Principles and practice of declarative programming. ACM, New York, NY, USA, pp. 25–34, 2012.