Specifying the Static Semantics of Block Structural Languages. - Roger Duke; D. Johnston; Gordon A. Rose (Aust. Comput. J., 1987)

Matroid Erection and Duality. - Roger Duke (Eur. J. Comb., 1987)

On Binary Reducibility. - Roger Duke (Eur. J. Comb., 1988)

Object-Z: An Object-Oriented Extension to Z. - David A. Carrington; David J. Duke; Roger Duke; Paul King; Gordon A. Rose; Graeme Smith 001 (FORTE, 1989)

Temporal Logic and Z Specifications. - Roger Duke; Graeme Smith 001 (Aust. Comput. J., 1989)

Towards a Semantics for Object-Z. - David J. Duke; Roger Duke (VDM Europe, 1990)

Transferring Formal Techniques to Industry. - Roger Duke; Gordon A. Rose; Graeme Smith 001 (FORTE, 1990)

Object-oriented protocol specification. - Roger Duke; Gordon A. Rose; Anthony Lee (PSTV, 1990)

Formal Techniques for OO Software Development (Panel). - Dennis de Champeaux; Pierre America; Derek Coleman; Roger Duke; Doug Lea; Gary T. Leavens; Fiona Hayes (OOPSLA, 1991)

Formal Specification of Object-Oriented Systems. - Roger Duke (TOOLS (5), 1991)

Associated Paper: The Object-Z Specification Language. - Roger Duke; Paul King; Gordon A. Rose; Graeme Smith 001 (TOOLS (5), 1991)

Case Studies in Object-Oriented Formal Specification. - Roger Duke (TOOLS (6), 1992)

An Object-Oriented Approach to the Formal Specification of ODP Trader. - Jin Song Dong; Roger Duke (Open Distributed Processing, 1993)

Class Union and Polymorphism. - Jin Song Dong; Roger Duke (TOOLS (12/9), 1993)

Formal Methods for the Design and Specification of Object-Oriented Systems. - Roger Duke (TOOLS (12/9), 1993)

Class Operators for Object Compatibility. - Roger Duke (TOOLS (12/9), 1993)

The role of secondary attributes in formal object modelling. - Jin Song Dong; Gordon A. Rose; Roger Duke (ICECCS, 1995)

Guest Editor's Introduction. - Motoshi Saeki; Roger Duke (Int. J. Softw. Eng. Knowl. Eng., 1995)

The design of an experiential component for a formal methods computer science subject. - Roger Duke (ACSE, 1996)

A Blocking Model for Reactive Objects. - Roger Duke; Cecily Bailes; Graeme Smith 001 (Formal Aspects Comput., 1996)

In search of the inverse curriculum. - Roger Duke (ACSE, 1997)

Specifying Parallel and Distributed Systems in Object-Z. - Jin Song Dong; Lin Zucconi; Roger Duke (PDSE, 1997)

An object-oriented denotational semantics of a small programming language. - Jin Song Dong; Roger Duke; Gordon A. Rose (Object Oriented Syst., 1997)

Defining composition operators for object interaction. - Steven Butler; Roger Duke (Object Oriented Syst., 1998)

Teaching programming to beginners - choosing the language is just the first step. - Roger Duke; Eric Salzman; Jay Burmeister; Josiah Poon; Leesa Murray (ACSE, 2000)

A Metamodel-based transformation between UML and Object-Z. - Soon-Kyeong Kim; David A. Carrington; Roger Duke (HCC, 2001)

A Software Design Process to Facilitate the Teaching of Mathematics. - Janelle Pollard; Roger Duke (ICCE, 2002)

Model Checking Object-Z Using ASM. - Kirsten Winter; Roger Duke (IFM, 2002)

Using Student-Computer Interactions to Categorize Educational Software. - Janelle Pollard; Roger Duke (ICALT, 2003)

Modelling Java Concurrency with Object-Z. - Roger Duke; Luke Wildman; Brad Long (SEFM, 2003)

Viewpoint-Based Testing of Concurrent Components. - Luke Wildman; Roger Duke; Paul A. Strooper (IFM, 2004)

Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. - Brad Long; Roger Duke; Doug Goldson; Paul A. Strooper; Luke Wildman (IPDPS, 2004)

Integrating Formal Specification and Software Verification and Validation. - Roger Duke; Tim Miller 001; Paul A. Strooper (TFM, 2004)

A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems. - Soon-Kyeong Kim; Luke Wildman; Roger Duke (Australian Software Engineering Conference, 2005)

Integrating Object-Z with Timed Automata. - Jin Song Dong; Roger Duke; Ping Hao (ICECCS, 2005)

Formal Specification-based Online Monitoring. - Hui Liang; Jin Song Dong; Jing Sun 002; Roger Duke; Rudolph E. Seviora (ICECCS, 2006)

Exploring Model-Based Development for the Verification of Real-Time Java Code. - Niusha Hakimipour; Paul A. Strooper; Roger Duke (VERIFY, 2008)