Elements of basic category theory A Martini, H Ehrig, D Nunes Technische Universität Berlin, Fachbereich 13, Informatik, 1996 | 20 | 1996 |
A systematic study of mappings between institutions A Martini, U Wolter International Workshop on Algebraic Development Techniques, 300-315, 1997 | 10 | 1997 |
Fibred and indexed categories for abstract model theory A Martini, U Wolter, EH Haeusler Logic Journal of the IGPL 15 (5-6), 707-739, 2007 | 8 | 2007 |
Indexed and fibred structures for Hoare logic UE Wolter, AR Martini, EH Häusler Electronic Notes in Theoretical Computer Science 348, 125-145, 2020 | 6 | 2020 |
A single perspective on arrows between institutions A Martini, U Wolter International Conference on Algebraic Methodology and Software Technology …, 1999 | 6 | 1999 |
Relating Arrows between Institutions in a Categorical Framework A Martini PhD thesis, 1999 | 6 | 1999 |
Towards a uniform presentation of logical systems by indexed categories and adjoint situations U Wolter, A Martini, EH Häusler Journal of Logic and Computation 25 (1), 57-93, 2015 | 5 | 2015 |
Graph Grammars: An Introduction to the Double-pushout Approach A Martini, H Ehrig, DJ Nunes Technische Universität Berlin, Fachbereich 13, Informatik, 1996 | 5 | 1996 |
Shedding new light in the world of logical systems U Wolter, A Martini International Conference on Category Theory and Computer Science, 159-176, 1997 | 4 | 1997 |
GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development B Bardohl, R Bardohl, P Castro, H Ehrig, R Heckel, L Ribeiro, D Nunes, ... Proceedings of the 3rd German-Brazilian Workshop on Information Technology …, 1995 | 4 | 1995 |
A taste of categorical Petri nets C Ermel, A Martini Technische Universität Berlin, Fachbereich 13, Informatik, 1996 | 3 | 1996 |
Category Theory and the Simply-typed [lambda]-calculus A Martini Technische Universität Berlin, Fachbereich 13, Informatik, 1996 | 3 | 1996 |
Indexed and fibered structures for partial and total correctness assertions UE Wolter, AR Martini, EH Häusler Mathematical Structures in Computer Science 32 (9), 1145-1175, 2022 | 2 | 2022 |
Reasoning about partial correctness assertions in Isabelle/HOL AR Martini Revista de Informática Teórica e Aplicada 27 (3), 84-101, 2020 | 2 | 2020 |
Programming Language Semantics with Isabelle/HOL A Martini 2013 2nd Workshop-School on Theoretical Computer Science, 14-21, 2013 | 1 | 2013 |
Some models of heterogeneous and distributed specifications based on universal constructions EH Haeusler, A Martini, U Wolter Perspectives on Universal Logic, 297-318, 2007 | 1 | 2007 |
Transition specifications & the algebraic core of the Z notation M Große-Rhode, A Martini Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1996 | 1 | 1996 |
Towards the automatic validation of conceptual specifications for database systems: a formal approach AR Martini, JM Castilho Panel'92: actas, XVIII Conferencia Latinoamericana de Informática, 714-721, 1992 | 1 | 1992 |
Reasons and Ways to Cope with a Spectrum of Logics A Martini, U Wolter, EH Haeusler Logic, Artificial Intelligence and Robotics (proc. LAPTEC 2001), series …, 0 | 1 | |
Indexed and fibered structures for partial and total correctness assertions UE Wolter, A Martini, EH Haeusler Cambridge University Press, 2022 | | 2022 |