Journal Papers

1. Martini, A., Wolter, U. , Haeusler, E. H. Fibred and Indexed Categories for Abstract Model Theory. Logic Journal of the IGPL, November 2007, 15(5-6), 707-739.

Book Chapters

1. Haeusler, E. H., Martini, A., Wolter, U. Some Models of Heterogenous and Distributed Specifications based on Universal Constructions. J.-Y. Béziau, A. Costa-Leite (eds). Perspectives on Universal Logic, 297-318, (2007).  Polimetrica International Scientific Publisher Monza/Italy.

Conference Papers

1. Martini, A., Wolter U., Haeusler, E. H. Reasons and Ways to Cope with a Spectrum of Logics. J. M. Abe, J. S. Filho (eds). Logic, Artifiicial Intelligence and Robotics,  148-155,  Laptec 2001.  IOS Press.
2. Alfio Martini, Uwe Wolter A Single Perspective on Arrows between Institutions . Seventh International Conference on Algebraic Methodology and Software Technology - AMAST'98, Springer LNCS 1548, pp. 486-501 (1999).
3. Alfio Martini, Uwe Wolter A Systematic Study of Mappings between Institutions . Proceedings of the 12th Workshop on Algebraic Development Techniques, Springer LNCS 1376, pp. 300-315 (1998).
4. Uwe Wolter, Alfio Martini Shedding New Light in the World of Logical Systems . Category Theory in Computer Science, Springer LNCS 1290, pp. 159-176 (1997).

Technical Reports

1. Martin Grosse-Rhode, Alfio Martini Transition Specifications and the Algebraic Core of the Z Notation. Report 31, Fachbereich 13, TU Berlin - Informatik (1996).
2. Claudia Ermel, Alfio Martini A Taste of Categorical Petri Nets. Report 9, Fachbereich 13, TU Berlin - Informatik (1996).
3. Alfio Martini Category Theory and the Simply-Typed Lambda Calculus . Report 7, Fachbereich 13, TU Berlin -  Informatik (1996).
4. Alfio Martini, Harmut Ehrig, Daltro Nunes Graph Grammars - An Introduction to the Double-Pushout Approach . Report 6, Fachbereich 13, TU-Berlin - Informatik (1996).
5. Alfio Martini Elements of Basic Category Theory . Report 5, Fachbereich 13, TU Berlin - Informatik (1996).