Alfio Martini

According to our database, Alfio Martini authored at least 10 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Indexed and fibered structures for partial and total correctness assertions.

Uwe Wolter, Alfio Ricardo de Brito Martini, Edward Hermann Haeusler

Math. Struct. Comput. Sci., October, 2022

2020

Reasoning about Partial Correctness Assertions in Isabelle/HOL.

Alfio Ricardo de Brito Martini

RITA, 2020

2019

Indexed and Fibred Structures for Hoare Logic.

Uwe Wolter, Alfio Martini, Edward Hermann Häusler

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

2015

Towards a uniform presentation of logical systems by indexed categories and adjoint situations.

Uwe Wolter, Alfio Martini, Edward Hermann Haeusler

J. Log. Comput., 2015

2013

Programming Language Semantics with Isabelle/HOL.

Alfio Martini

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

2007

Fibred and Indexed Categories for Abstract Model Theory.

Alfio Martini, Uwe Wolter, Edward Hermann Haeusler

Log. J. IGPL, 2007

1999

Relating arrows between institutions in a categorical framework.

Alfio Ricardo de Brito Martini

PhD thesis, 1999

1998

A Single Perspective on Arrows between Institutions.

Alfio Martini, Uwe Wolter

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

A systematic study of mappings between institutions.

Alfio Martini, Uwe Wolter

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Shedding the New Light in the World of Logical Systems.

Uwe Wolter, Alfio Martini

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997