Personal information

Activities

Employment (1)

Pontifícia Universidade Católica do Rio Grande do Sul: Porto Alegre, RS, BR

2002-08-01 to 2019-01-09 | Associate Professor (Computer Science)
Employment
Source: Self-asserted source
Alfio Martini

Education and qualifications (1)

Technische Universität Berlin: Berlin, Berlin, DE

1995-02-01 to 1999-02-17 | PhD in Computer Science (Computer Science)
Education
Source: Self-asserted source
Alfio Martini

Works (19)

Programming Language Semantics with Isabelle/HOL

Theoretical Computer Science (WEIT), 2013 2nd Workshop-School on
2013 | Conference paper
Source: Self-asserted source
Alfio Martini

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

Journal of Logic and Computation
2012 | Journal article
Source: Self-asserted source
Alfio Martini

Aplicação de Visão Computacional em Linguagem de Programação C#

PUCRS-Brasil. Dispońıvel em:< http://www. inf. pucrs. br/̃ petinf/homePage/publicacoes/documentos/relatorios% 20tecnico/ce zar. reinbrecht_2007. pdf>. Acesso em
2007 | Journal article
Source: Self-asserted source
Alfio Martini

Fibred and indexed categories for abstract model theory

Logic Journal of IGPL
2007 | Journal article
Source: Self-asserted source
Alfio Martini

A single perspective on arrows between institutions

International Conference on Algebraic Methodology and Software Technology
1999 | Conference paper
Source: Self-asserted source
Alfio Martini

Relating Arrows between Institutions in a Categorical Framework

PhD thesis
1999 | Other
Source: Self-asserted source
Alfio Martini

A systematic study of mappings between institutions

International Workshop on Algebraic Development Techniques
1997 | Conference paper
Source: Self-asserted source
Alfio Martini

Graphical Support and Integration of Formal and Semi ${$Formal Methods for Software Specification and Development

1997 | Journal article
Source: Self-asserted source
Alfio Martini

Methods for Software Specification and Development

1997 | Journal article
Source: Self-asserted source
Alfio Martini

Shedding new light in the world of logical systems

International Conference on Category Theory and Computer Science
1997 | Conference paper
Source: Self-asserted source
Alfio Martini

1 Partner's Names and Addresses

1996 | Journal article
Source: Self-asserted source
Alfio Martini

A taste of categorical Petri nets

1996 | Book
Source: Self-asserted source
Alfio Martini

Category Theory and the Simply-Typed lambda-Calculus

1996 | Journal article
Source: Self-asserted source
Alfio Martini

Graph Grammars: An Introduction to the Double-pushout Approach

1996 | Book
Source: Self-asserted source
Alfio Martini

Graph-Grammars

1996 | Journal article
Source: Self-asserted source
Alfio Martini

Semi-Formal Approaches to Software Development

1996 | Journal article
Source: Self-asserted source
Alfio Martini

Transition specifications & the algebraic core of the Z notation

1996 | Book
Source: Self-asserted source
Alfio Martini

Indexed General Logics

Journal article
Source: Self-asserted source
Alfio Martini

Reasons and Ways to Cope with a Spectrum of Logics

Logic, Artificial Intelligence and Robotics (proc. LAPTEC 2001), series: Frontiers in Artificial Intelligence and Applications
Journal article
Source: Self-asserted source
Alfio Martini