Regular Signed Resolution Applied to Annotated Logic Programs. - Barbara Messing; Peter v. Stackelberg (ILPS, 1995)

Darstellung und Integration von Wissen in verbandsbasierten signierten Logikprogrammen. - Barbara Messing (Infix, 1996)

Defining Decision Rules in Signed Horn Clauses. - Barbara Messing (KI, 1997)

Combining Knowledge with Many-Valued Logics. - Barbara Messing (Data Knowl. Eng., 1997)

An Introduction to MultiAgent Systems. - Barbara Messing (Künstliche Intell., 2003)

Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen. - Christoph Beierle; Malte Isberner; Gabriele Kern-Isberner; Barbara Messing; Manfred Widera (DeLFI, 2005)

Computer Science Exercises in a Virtual University. - Manfred Widera; Barbara Messing; Gabriele Kern-Isberner; Malte Isberner; Christoph Beierle (CSREA EEE, 2006)

An Extendable System for the Specification and Generation of Interactive Self-tests. - Manfred Widera; Barbara Messing; Gabriele Kern-Isberner; Malte Isberner; Christoph Beierle (Edutainment, 2006)

Bayesualize: Visualisierung bedingter Wahrscheinlichkeiten. - Barbara Messing; Michael Seubert (DeLFI, 2010)