How Well Do Inheritance Mechanisms Support Inheritance Concepts?. - Mark Evered; James Leslie Keedy; Axel Schmolitzky; Gisela Menger (JMLC, 1997)

Genja - A New Proposal for Parameterised Types in Java. - Mark Evered; James Leslie Keedy; Gisela Menger; Axel Schmolitzky (TOOLS (25), 1997)

Attribute Types and Bracket Implementations. - James Leslie Keedy; Mark Evered; Axel Schmolitzky; Gisela Menger (TOOLS (25), 1997)

Eine Evaluierung des Java JDK1.2 Collections Framework aus Sicht der Softwaretechnik. - Mark Evered; Gisela Menger (Java-Informations-Tage, 1998)

Collection Types and Implementations in Object-Oriented Software Libraries. - Gisela Menger; James Leslie Keedy; Mark Evered; Axel Schmolitzky (TOOLS (26), 1998)

Very High Level Programming with Collection Components. - Mark Evered; Gisela Menger (TOOLS (29), 1999)

How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe? - Axel Schmolitzky; Mark Evered; James Leslie Keedy; Gisela Menger (TOOLS (32), 1999)

Software Engineering Despite Object-Orientation. - Mark Evered; Gisela Menger; James Leslie Keedy; Axel Schmolitzky (ACSC, 2000)

Using and teaching information hiding in single-semester software engineering projects. - Mark Evered; Gisela Menger (ACSE, 2000)

Software Reuse in an Object Oriented Framework: Distinguishing Types from Implementations and Objects from Attributes. - James Leslie Keedy; Klaus Espenlaub; Gisela Menger; Axel Schmolitzky; Mark Evered (ICSR, 2000)

Unterstützung für Objektsammlungen in statisch getypten objektorientierten Programmiersprachen. - Gisela Menger (Shaker, 2000)

Qualifying Types Illustrated by Synchronisation Examples. - James Leslie Keedy; Gisela Menger; Christian Heinlein; Frans A. Henskens (NetObjectDays, 2002)

Inheriting from a Common Abstract Ancestor in Timor. - James Leslie Keedy; Gisela Menger; Christian Heinlein (J. Object Technol., 2002)

Reuse Variables: Reusing Code and State in Timor. - James Leslie Keedy; Christian Heinlein; Gisela Menger (ICSR, 2004)

Qualifying Types with Bracket Methods in Timor. - James Leslie Keedy; Klaus Espenlaub; Christian Heinlein; Gisela Menger (J. Object Technol., 2004)

Inheriting Multiple and Repeated Parts in Timor. - James Leslie Keedy; Christian Heinlein; Gisela Menger (J. Object Technol., 2004)

Diamond Inheritance and Attribute Types in Timor. - James Leslie Keedy; Christian Heinlein; Gisela Menger; Mark Evered (J. Object Technol., 2004)

New Programming Language Concepts for Confidentiality. - Christian Hummert; Gisela Menger (PLC, 2005)

Statically Qualified Types in Timor. - James Leslie Keedy; Klaus Espenlaub; Christian Heinlein; Gisela Menger; Mark Evered (J. Object Technol., 2005)

Call-out Bracket Methods in Timor. - James Leslie Keedy; Klaus Espenlaub; Christian Heinlein; Gisela Menger (J. Object Technol., 2006)

Support for Object Oriented Transactions in Timor. - James Leslie Keedy; Klaus Espenlaub; Christian Heinlein; Gisela Menger; Frans A. Henskens; Michael Hannaford (J. Object Technol., 2006)

Persistent Objects and Capabilities in Timor. - James Leslie Keedy; Klaus Espenlaub; Christian Heinlein; Gisela Menger (J. Object Technol., 2007)

Persistent Processes and Distribution in Timor. - James Leslie Keedy; Klaus Espenlaub; Christian Heinlein; Gisela Menger (J. Object Technol., 2007)

Security and Protection in Timor Programs. - James Leslie Keedy; Klaus Espenlaub; Christian Heinlein; Gisela Menger (J. Object Technol., 2008)

Types and Co-Types in Timor. - James Leslie Keedy; Gisela Menger; Christian Heinlein (J. Object Technol., 2009)

Covariantly Adjusting Co-Types in Timor. - James Leslie Keedy; Gisela Menger; Christian Heinlein (J. Object Technol., 2010)