Leibniz, a language to support - software engineering. - Mark Evered (1985)

A Model for Protection in Persistent Object-Oriented Systems. - Mark Evered; James Leslie Keedy (Security and Persistence, 1990)

A Flexible Object Invocation Language based on Object- Oriented Language Definition. - Mark Evered; Axel Schmolitzky; Michael Kölling (Comput. J., 1995)

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

Unconstraining Genercity. - Mark Evered (TOOLS (24), 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)

A Two-Level Architecture for Persistent Distributed Java Objects with Semantic Protection. - Mark Evered (IMSA, 1999)

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)

Bracket Capabilities for Distributed Systems Security. - Mark Evered (ACSC, 2002)

Flexible Enterprise Access Control with Object-oriented View Specification. - Mark Evered (ACSW, 2003)

Supporting Parameterised Roles with Object-based Access Control. - Mark Evered (HICSS, 2003)

A Case Study in Access Control Requirements for a Health Information System. - Mark Evered; Serge Bögeholz (ACSW, 2004)

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

Object and Access Evolution in Jarrah. - Mark Evered (PLC, 2005)

Object-oriented Access Control in Jarrah. - Mark Evered (J. Object Technol., 2005)

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

A transitive access control model for dynamic roles and attributes. - Mark Evered (CyberSec, 2012)

Specification of role and attribute transitions for secure information system access. - Mark Evered (DICTAP, 2012)