A Compact Free-Keyword File Structure for Author-Title-Keyword Searching. An Application to an NMR Bibliographic Database. - R. Geoff Dromey (J. Chem. Inf. Comput. Sci., 1978)

A Structural Molecular Formula for Flexible and Efficient Substructure Searching of Large Databases. - R. Geoff Dromey (J. Chem. Inf. Comput. Sci., 1978)

A Compact and Efficient File Structure for Searching Large Generic-Keyed Databases. An Application to Mass Spectral Data. - R. Geoff Dromey (J. Chem. Inf. Comput. Sci., 1978)

A Simple Tree-Structured Line Formula Notation for Representing Molecular Topology. - R. Geoff Dromey (J. Chem. Inf. Comput. Sci., 1978)

A Fast Algorithm for Text Comparison. - R. Geoff Dromey (Aust. Comput. J., 1979)

A Linked-Path Connection Table with Substructural Atom-Ordering. - R. Geoff Dromey (J. Chem. Inf. Comput. Sci., 1979)

Fast String Searching by Finding Subkeys in Subtext. - Thomas A. Bailey; R. Geoff Dromey (Inf. Process. Lett., 1980)

Exploiting Partial Order with Quicksort. - R. Geoff Dromey (Softw. Pract. Exp., 1984)

Program Development by Inductive Stepwise Refinement. - R. Geoff Dromey (Softw. Pract. Exp., 1985)

Forced Termination of Loops. - R. Geoff Dromey (Softw. Pract. Exp., 1985)

An Algorithm for The Selection Problem. - R. Geoff Dromey (Softw. Pract. Exp., 1986)

Derivation of Sorting Algorithms from a Specification. - R. Geoff Dromey (Comput. J., 1987)

Systematic Program Development. - R. Geoff Dromey (IEEE Trans. Software Eng., 1988)

Program derivation - the development of programs from specifications. - R. Geoff Dromey (Addison-Wesley, 1989)

Structure Clashes - An Alternative to Program Inversion. - R. Geoff Dromey; T. A. Chorvat (Comput. J., 1990)

Software Quality and Productivity Improvement. - R. Geoff Dromey (Software Quality and Productivity, 1994)

SAFE: A Programming Language for Software Quality. - B. K. Oliver; R. Geoff Dromey (Software Quality and Productivity, 1994)

Using Strongest Postconditions to Improve Software Quality. - Si Pan; R. Geoff Dromey (Software Quality and Productivity, 1994)

A Model for Software Product Quality. - R. Geoff Dromey (IEEE Trans. Software Eng., 1995)

Beyond Structured Programming. - Si Pan; R. Geoff Dromey (ICSE, 1996)

Re-engineering Loops. - Si Pan; R. Geoff Dromey (Comput. J., 1996)

A Formal Basis for Removing Goto Statements. - Si Pan; R. Geoff Dromey (Comput. J., 1996)

The Co-invariant Generator: An Aid in Deriving Loop Bodies. - David Billington; R. Geoff Dromey (Formal Aspects Comput., 1996)

Cornering the Chimera. - R. Geoff Dromey (IEEE Softw., 1996)

Software Design: In Search of Method. - R. Geoff Dromey (Australian Software Engineering Conference, 1998)

On Expressing and Monitoring Behaviour in Contracts. - Zoran Milosevic; R. Geoff Dromey (EDOC, 2002)

Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity. - R. Geoff Dromey (Scenarios: Models, Transformations and Tools, 2003)

Architecture as an Emergent Property of Requirements Integration. - R. Geoff Dromey (STRAW, 2003)

From Requirements to Design: Formalizing the Key Steps. - R. Geoff Dromey (SEFM, 2003)

Software Quality-Prevention versus Cure? - R. Geoff Dromey (Softw. Qual. J., 2003)

An Environment for Building a System out of its Requirements. - Cameron Smith; Kirsten Winter; Ian J. Hayes; R. Geoff Dromey; Peter A. Lindsay; David A. Carrington (ASE, 2004)

From Requirements Change to Design Change: A Formal Path. - Lian Wen; R. Geoff Dromey (SEFM, 2004)

Integrating Safety and Security Requirements into Design of an Embedded System. - Saad Zafar; R. Geoff Dromey (APSEC, 2005)

A Constraint Maintenance Strategy and Applications in Real-Time Collaborative Environments. - Kai Lin; David Chen 002; Chengzheng Sun; R. Geoff Dromey (CDVE, 2005)

Maintaining multi-way dataflow constraints in collaborative systems. - Kai Lin; David Chen 002; R. Geoff Dromey; Chengzheng Sun (CollaborateCom, 2005)

Maintaining Constraints in Collaborative Graphic Systems: the CoGSE Approach. - Kai Lin; David Chen 002; Chengzheng Sun; R. Geoff Dromey (ECSCW, 2005)

A Metamodel for the Behavior Trees Modelling Technique. - Cesar Gonzalez-Perez; Brian Henderson-Sellers; R. Geoff Dromey (ICITA (1), 2005)

Architecture Normalization for Component-based Systems. - Lian Wen; R. Geoff Dromey (FACS, 2005)

Multi-way Dataflow Constraint Propagation in Real-time Collaborative Systems. - Kai Lin; David Chen 002; R. Geoff Dromey; Chengzheng Sun (CollaborateCom, 2006)

Climbing over the "No Silver Bullet" Brick Wall. - R. Geoff Dromey (IEEE Softw., 2006)

Software Systems as Complex Networks. - Lian Wen; Diana Kirk; R. Geoff Dromey (IEEE ICCI, 2007)

Early Validation and Verification of a Distributed Role-Based Access Control Model. - Saad Zafar; Robert Colvin; Kirsten Winter; Nisansala Yatapanage; R. Geoff Dromey (APSEC, 2007)

Engineering Large-Scale Software-Intensive Systems. - R. Geoff Dromey (ASWEC, 2007)

Leveraging Single-User Microsoft Visio for Multi-user Real-Time Collaboration. - Kai Lin; David Chen 002; Chengzheng Sun; R. Geoff Dromey (CDVE, 2007)

"Integrare", a Collaborative Environment for Behavior-Oriented Design. - Lian Wen; Robert Colvin; Kai Lin; John Seagrott; Nisansala Yatapanage; R. Geoff Dromey (CDVE, 2007)

Maintaining constraints expressed as formulas in collaborative systems. - Kai Lin; David Chen 002; R. Geoff Dromey; Chengzheng Sun (CollaborateCom, 2007)

API design recommendations for facilitating conversion of single-user applications into collaborative applications. - Kai Lin; David Chen 002; R. Geoff Dromey; Steven Xia; Chengzheng Sun (CollaborateCom, 2007)

A tool to visualize behavior and design evolution. - Lian Wen; Diana Kirk; R. Geoff Dromey (IWPSE, 2007)

Seamlessly Integrating Software & Hardware Modelling for Large-Scale Systems. - Toby Myers; Peter Fritzson; R. Geoff Dromey (EOOLT, 2008)

From Requirements to Embedded Software - Formalising the Key Steps. - Toby Myers; R. Geoff Dromey (Australian Software Engineering Conference, 2009)

Dynamic Relational Behaviour for Large-Scale Systems. - Kirsten Winter; Robert Colvin; R. Geoff Dromey (Australian Software Engineering Conference, 2009)

Software Engineering and Scale-Free Networks. - Lian Wen; R. Geoff Dromey; Diana Kirk (IEEE Trans. Syst. Man Cybern. Part B, 2009)

Comodeling: From Requirements to an Integrated Software/Hardware Model. - Toby Myers; R. Geoff Dromey; Peter Fritzson (Computer, 2011)

Formalizing the transition from requirements' change to design change using an evolutionary traceability model. - Lian Wen; David Tuffley; R. Geoff Dromey (Innov. Syst. Softw. Eng., 2014)