The box calculus: a new causal algebra with multi-label communication. - Eike Best; Raymond Devillers; Jon G. Hall (Advances in Petri Nets: The DEMON Project, 1992)

A basic-net algebra for program semantics and its application to OCCAM. - Richard P. Hopkins; Jon G. Hall; Oliver Botti (Advances in Petri Nets: The DEMON Project, 1992)

Towards a Z Method: Axiomatic Specification in Z. - Jon G. Hall; John A. McDermid (Z User Workshop, 1994)

Extended RTL in the Specification and Verification of an Industrial Press. - Rogério de Lemos; Jon G. Hall (Hybrid Systems, 1995)

ERTL: An Extension to RTL for the Specification, Analysis, and Verification of Hybrid Systems. - Jon G. Hall; Rogério de Lemos (RTS, 1996)

A Model for a Causal Logic for Requirements Engineering. - Jonathan D. Moffett; Jon G. Hall; Andrew Charles Coombes; John A. McDermid (Requir. Eng., 1996)

W Reconstructed. - Jon G. Hall; Andrew P. Martin (ZUM, 1997)

Towards an Operational Semantics for a Parallel Non-Strict Functional Language. - Jon G. Hall; Clement A. Baker-Finch; Philip W. Trinder; David J. King (IFL, 1998)

A Strategic Profiler for Glasgow Parallel Haskell. - David J. King; Jon G. Hall; Philip W. Trinder (IFL, 1998)

Software architectures - advances and applications. - Leonor Barroca 001; Jon G. Hall; Patrick Hall (Springer, 2000)

Educational JavaBeans: a Requirements Driven Architecture. - Jon G. Hall; Lucia Rapanotti (WebNet, 2001)

Relating Software Requirements and Architectures Using Problem Frames. - Jon G. Hall; Michael Jackson 001; Robin C. Laney; Bashar Nuseibeh; Lucia Rapanotti (RE, 2002)

Refining specifications to programmable logic. - Adrian J. Hilton; Jon G. Hall (Refine, 2002)

FPGAs in critical hardware/software systems. - Adrian J. Hilton; Gemma Townson; Jon G. Hall (FPGA, 2003)

A Reference Model for Requirements Engineering. - Jon G. Hall; Lucia Rapanotti (RE, 2003)

High-Integrity Interfacing to Programmable Logic with Ada. - Adrian J. Hilton; Jon G. Hall (Ada-Europe, 2004)

1st International Workshop on Advances and Applications of Problem Frames. - Karl Cox; Jon G. Hall; Lucia Rapanotti (ICSE, 2004)

Architecture-driven Problem Decomposition. - Lucia Rapanotti; Jon G. Hall; Michael Jackson 001; Bashar Nuseibeh (RE, 2004)

1st international workshop on advances and applications of problem frames - summary. - Karl Cox; Jon G. Hall; Lucia Rapanotti (ACM SIGSOFT Softw. Eng. Notes, 2004)

Reactive Food Gathering. - Robert Logie; Jon G. Hall; Kevin G. Waugh (CLIMA, 2005)

Developing critical systems with PLD components. - Adrian J. Hilton; Jon G. Hall (FMICS, 2005)

Relating software requirements and architectures. - Jon G. Hall; Ivan Mistrík; Bashar Nuseibeh; Andrés Silva (IEE Proc. Softw., 2005)

A roadmap of problem frames research. - Karl Cox; Jon G. Hall; Lucia Rapanotti (Inf. Softw. Technol., 2005)

Problem frame semantics for software development. - Jon G. Hall; Lucia Rapanotti; Michael Jackson 001 (Softw. Syst. Model., 2005)

From requirements to specifications: a formal approach. - Zhi Li 017; Jon G. Hall; Lucia Rapanotti (IWAAPF@ICSE, 2006)

Problem-based analysis of organisational change: a real-world example. - John Brier; Lucia Rapanotti; Jon G. Hall (IWAAPF@ICSE, 2006)

2nd international workshop on advances and applications of problem frames. - Jon G. Hall; Lucia Rapanotti; Karl Cox; Zhi Jin (IWAAPF@ICSE, 2006)

Developer requirements in the PF approach. - Thein Than Tun; Jon G. Hall (IWAAPF@ICSE, 2006)

Introducing Regulatory Compliance Requirements Engineering. - Shahbaz Ali; Jon G. Hall (ISSE, 2006)

Deriving specifications from requirements through problem reduction. - Lucia Rapanotti; Jon G. Hall; Zhi Li 017 (IEE Proc. Softw., 2006)

Towards Normal Design for Safety-Critical Systems. - Derek Mannering; Jon G. Hall; Lucia Rapanotti (FASE, 2007)

Arguing safety with Problem Oriented Software Engineering. - Jon G. Hall; Derek Mannering; Lucia Rapanotti (HASE, 2007)

Safety Process Improvement with POSE and Alloy. - Derek Mannering; Jon G. Hall; Lucia Rapanotti (SAFECOMP, 2007)

Problem Oriented Software Engineering: A design-theoretic framework for software engineering. - Jon G. Hall; Lucia Rapanotti; Michael Jackson 001 (SEFM, 2007)

Towards Mining for Influence in a Multi Agent Environment. - Robert Logie; Jon G. Hall; Kevin G. Waugh (IADIS European Conf. Data Mining, 2008)

Requirements and architectures: two sides of the same coin. - Jon G. Hall (SHARK, 2008)

Relating problem oriented engineering to current development processes: a research agenda. - Dariusz W. Kaminski; Jon G. Hall; Michel Wermelinger (IWAAPF@ICSE, 2008)

3rd international workshop on advances and applications of problem frames. - Thein Than Tun; Jon G. Hall; Lucia Rapanotti; Karl Cox; Zhi Jin (ICSE Companion, 2008)

Assurance-Driven Design. - Jon G. Hall; Lucia Rapanotti (ICSEA, 2008)

Special issue on applications and advances in problem frames. - Jon G. Hall; Lucia Rapanotti; Karl Cox; Zhi Jin (Expert Syst. J. Knowl. Eng., 2008)

Problem Oriented Software Engineering: Solving the Package Router Control Problem. - Jon G. Hall; Lucia Rapanotti; Michael Jackson 001 (IEEE Trans. Software Eng., 2008)

Towards a Problem Oriented Engineering Theory of Pattern-Oriented Analysis and Design. - Jerry Overton; Jon G. Hall; Lucia Rapanotti; Yijun Yu (COMPSAC (2), 2009)

Designing an Online Part-Time Master of Philosophy with Problem Oriented Engineering. - Lucia Rapanotti; Jon G. Hall (ICIW, 2009)

1983 and all that. - Jon G. Hall (Expert Syst. J. Knowl. Eng., 2009)

Beachbrains. - Jon G. Hall (Expert Syst. J. Knowl. Eng., 2009)

A singular intelligence. - Jon G. Hall (Expert Syst. J. Knowl. Eng., 2009)

34957+70764=105621. - Jon G. Hall (Expert Syst. J. Knowl. Eng., 2009)

The polychronic economy. - Jon G. Hall (Expert Syst. J. Knowl. Eng., 2009)

Lessons Learned in Developing a Second Life Educational Environment. - Lucia Rapanotti; Jon G. Hall (CSEDU (1), 2010)

2010 ICSE International Workshop on Advances and Applications of Problem Orientation (WAAPO-2010). - Jon G. Hall; Lucia Rapanotti; Liping Zhao 001; James Naish (ICSE (2), 2010)

Design Rationale Capture in the Globalised Enterprise: An Industrial Study. - Ann Nkwocha; Jon G. Hall; Lucia Rapanotti (ICSEA, 2010)

Welcome to Volume 27, Issue 1. - Jon G. Hall (Expert Syst. J. Knowl. Eng., 2010)

Thinking inside the box. - Jon G. Hall (Expert Syst. J. Knowl. Eng., 2010)

On tangling. - Jon G. Hall (Expert Syst. J. Knowl. Eng., 2010)

Experiences from Industrial Projects. - Paris Avgeriou; John Grundy 001; Jon G. Hall; Patricia Lago; Ivan Mistrík (Relating Software Requirements and Architectures, 2011)

Conclusions. - Paris Avgeriou; Patricia Lago; John Grundy 001; Ivan Mistrík; Jon G. Hall (Relating Software Requirements and Architectures, 2011)

Emerging Issues in Relating Software Requirements and Architecture. - John Grundy 001; Paris Avgeriou; Jon G. Hall; Patricia Lago; Ivan Mistrík (Relating Software Requirements and Architectures, 2011)

Theoretical Underpinnings and Reviews. - John Grundy 001; Patricia Lago; Paris Avgeriou; Jon G. Hall; Ivan Mistrík (Relating Software Requirements and Architectures, 2011)

Introduction: Relating Requirements and Architectures. - Jon G. Hall; John Grundy 001; Ivan Mistrík; Patricia Lago; Paris Avgeriou (Relating Software Requirements and Architectures, 2011)

Tools and Techniques. - Patricia Lago; Paris Avgeriou; John Grundy 001; Jon G. Hall; Ivan Mistrík (Relating Software Requirements and Architectures, 2011)

On the construction of specifications from requirements. - Zhi Li 017; Jon G. Hall; Lucia Rapanotti (WER, 2011)

Design concerns in the engineering of virtual worlds for learning. - Lucia Rapanotti; Jon G. Hall (Behav. Inf. Technol., 2011)

Neuronomics: connectionist economics. - Jon G. Hall (Expert Syst. J. Knowl. Eng., 2011)

Building the knowledge society begins with breakfast. - Jon G. Hall (Expert Syst. J. Knowl. Eng., 2011)

Special issue: business decision support systems. - Desheng Dash Wu; Jon G. Hall (Expert Syst. J. Knowl. Eng., 2011)

The cult of the (so-called) Expert System. - Jon G. Hall (Expert Syst. J. Knowl. Eng., 2012)

Computing education that doesn't compute. - Jon G. Hall (Expert Syst. J. Knowl. Eng., 2012)

The knowledge engineers' oath. - Jon G. Hall (Expert Syst. J. Knowl. Eng., 2012)

Engineering knowledge engineering. - Jon G. Hall (Expert Syst. J. Knowl. Eng., 2012)

Software engineering as the design theoretic transformation of software problems. - Jon G. Hall; Lucia Rapanotti (Innov. Syst. Softw. Eng., 2012)

Beauty in Software Engineering. - Jon G. Hall; Lucia Rapanotti (Computer, 2013)

Editorial. - Jon G. Hall (Expert Syst. J. Knowl. Eng., 2013)

Is tangled the new wicked? - Jon G. Hall (Expert Syst. J. Knowl. Eng., 2013)

Special section on advances and applications of problem orientation. - Lucia Rapanotti; Liping Zhao 001; Jon G. Hall (Expert Syst. J. Knowl. Eng., 2013)

Enterprise Architecture: A Snapshot from Practice. - Michael Clarke; Jon G. Hall; Lucia Rapanotti (Int. J. IT Bus. Alignment Gov., 2013)

Design rationale capture for process improvement in the globalised enterprise: an industrial study. - Ann Nkwocha; Jon G. Hall; Lucia Rapanotti (Softw. Syst. Model., 2013)

On the systematic transformation of requirements to specifications. - Zhi Li 017; Jon G. Hall; Lucia Rapanotti (Requir. Eng., 2014)

Towards a Design-Theoretic Characterisation of Software Development Process Models. - Jon G. Hall; Lucia Rapanotti (GTSE@ICSE, 2015)

Masters-Level Software Engineering Education and the Enriched Student Context. - Jon G. Hall; Lucia Rapanotti (ICSE (2), 2015)

Teaching Software Systems Thinking at The Open University. - Michel Wermelinger; Jon G. Hall; Lucia Rapanotti; Leonor Barroca 001; Magnus Ramage; Arosha K. Bandara (ICSE (2), 2015)

Parameterising a theory of software problem solving. - Jon G. Hall; Lucia Rapanotti (TOSE@ICSE, 2016)

Problem Drift: a Risk Model for Complex Socio-technical Projects. - Silvana Costantini; Jon G. Hall; Lucia Rapanotti (STPIS@CAiSE, 2017)

A Phenomenal Basis for Hybrid Modelling. - Jon G. Hall; Lucia Rapanotti; Georgi A. Markov (IRI, 2017)

A design theory for software engineering. - Jon G. Hall; Lucia Rapanotti (Inf. Softw. Technol., 2017)

Safety engineering with COTS components. - Mark O'Halloran; Jon G. Hall; Lucia Rapanotti (Reliab. Eng. Syst. Saf., 2017)

Complex Project Management: Using Complexity and Volatility to Guide Hybrid Methodological Practices. - Silvana Costantini; Jon G. Hall; Lucia Rapanotti (STPIS, 2020)

XAI for Cybersecurity: State of the Art, Challenges, Open Issues and Future Directions. - Gautam Srivastava 001; Rutvij H. Jhaveri; Sweta Bhattacharya; Sharnil Pandya; Rajeswari; Praveen Kumar Reddy Maddikunta; Gokul Yenduri; Jon G. Hall; Mamoun Alazab; Thippa Reddy Gadekallu (CoRR, 2022)

POE-Δ: a framework for change engineering. - Georgi A. Markov; Jon G. Hall; Lucia Rapanotti (CoRR, 2025)