A Categorical and Graphical Treatment of Closure Conversion. - Ralf Schweimeier; Alan Jeffrey (MFPS, 1999)

Categorical and graphical models of programming languages. - Ralf Schweimeier (2001)

Fuzzy argumentation for negotiating agents. - Michael Schroeder 001; Ralf Schweimeier (AAMAS, 2002)

Notions of Attack and Justified Arguments for Extended Logic Programs. - Ralf Schweimeier; Michael Schroeder 001 (ECAI, 2002)

Well-founded argumentation semantics for extended logic programming. - Ralf Schweimeier; Michael Schroeder 001 (NMR, 2002)

Arguments and Misunderstandings: Fuzzy Unification for Negotiating Agents. - Michael Schroeder 001; Ralf Schweimeier (CLIMA, 2002)

A categorical framework for typing CCS-style process communication. - Ralf Schweimeier (Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR, 2002)

Fuzzy Unification and Argumentation for Well-Founded Semantics. - Ralf Schweimeier; Michael Schroeder 001 (SOFSEM, 2004)

A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics. - Ralf Schweimeier; Michael Schroeder 001 (Theory Pract. Log. Program., 2005)