Gisela Menger

James Leslie Keedy, Gisela Menger, Christian Heinlein: Covariantly Adjusting Co-Types in Timor. Journal of Object Technology 9(1): 35-55 (2010)

James Leslie Keedy, Gisela Menger, Christian Heinlein: Types and Co-Types in Timor. Journal of Object Technology 8(7): 37-57 (2009)

James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger: Security and Protection in Timor Programs. Journal of Object Technology 7(4): 123-138 (2008)

James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger: Persistent Objects and Capabilities in Timor. Journal of Object Technology 6(4): 103-123 (2007)

James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger: Persistent Processes and Distribution in Timor. Journal of Object Technology 6(6): 91-108 (2007)

James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger: Call-out Bracket Methods in Timor. Journal of Object Technology 5(1): 51-67 (2006)

James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Frans A. Henskens, Michael Hannaford: Support for Object Oriented Transactions in Timor. Journal of Object Technology 5(2): 103-124 (2006)

James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Mark Evered: Statically Qualified Types in Timor. Journal of Object Technology 4(7): 115-137 (2005)

Christian Hummert, Gisela Menger: New Programming Language Concepts for Confidentiality. PLC 2005: 158-164

James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger: Qualifying Types with Bracket Methods in Timor. Journal of Object Technology 3(1): 101-121 (2004)

James Leslie Keedy, Christian Heinlein, Gisela Menger: Inheriting Multiple and Repeated Parts in Timor. Journal of Object Technology 3(10): 99-120 (2004)

James Leslie Keedy, Christian Heinlein, Gisela Menger, Mark Evered: Diamond Inheritance and Attribute Types in Timor. Journal of Object Technology 3(10): 121-142 (2004)

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

James Leslie Keedy, Gisela Menger, Christian Heinlein: Inheriting from a Common Abstract Ancestor in Timor. Journal of Object Technology 1(1): 81-106 (2002)

James Leslie Keedy, Gisela Menger, Christian Heinlein, Frans A. Henskens: Qualifying Types Illustrated by Synchronisation Examples. NetObjectDays 2002: 330-344

Mark Evered, Gisela Menger, James Leslie Keedy, Axel Schmolitzky: Software Engineering Despite Object-Orientation. ACSC 2000: 66-73

Mark Evered, Gisela Menger: Using and teaching information hiding in single-semester software engineering projects. ACSE 2000: 103-108

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

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

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

Mark Evered, Gisela Menger: Eine Evaluierung des Java JDK1.2 Collections Framework aus Sicht der Softwaretechnik. Java-Informations-Tage 1998: 11-21

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

Mark Evered, James Leslie Keedy, Axel Schmolitzky, Gisela Menger: How Well Do Inheritance Mechanisms Support Inheritance Concepts?. JMLC 1997: 252-266

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

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