Shedding the New Light in the World of Logical Systems. - Uwe Wolter; Alfio Martini (Category Theory and Computer Science, 1997)

A systematic study of mappings between institutions. - Alfio Martini; Uwe Wolter (WADT, 1997)

A Single Perspective on Arrows between Institutions. - Alfio Martini; Uwe Wolter (AMAST, 1998)

Relating arrows between institutions in a categorical framework. - Alfio Ricardo de Brito Martini (1999)

Fibred and Indexed Categories for Abstract Model Theory. - Alfio Martini; Uwe Wolter; Edward Hermann Haeusler (Log. J. IGPL, 2007)

Programming Language Semantics with Isabelle/HOL. - Alfio Martini (WEIT, 2013)

Towards a uniform presentation of logical systems by indexed categories and adjoint situations. - Uwe Wolter; Alfio Martini; Edward Hermann Haeusler (J. Log. Comput., 2015)

Indexed and Fibred Structures for Hoare Logic. - Uwe Wolter; Alfio Martini; Edward Hermann Häusler (LSFA, 2019)

Reasoning about Partial Correctness Assertions in Isabelle/HOL. - Alfio Ricardo de Brito Martini (RITA, 2020)

Indexed and fibered structures for partial and total correctness assertions. - Uwe Wolter; Alfio Ricardo de Brito Martini; Edward Hermann Haeusler (Math. Struct. Comput. Sci., 2022)