Jonathan P. Bowen

Available identifiers

zbMath Open bowen.jonathan-pWikidataQ93043 ScholiaQ93043MaRDI QIDQ207988

List of research outcomes

Publication	Date of Publication	Type
Jifeng He at Oxford and beyond: an appreciation	2024-02-28	Paper
Review on Theories of Programming: The Life and Works of Tony Hoare	2024-02-23	Paper
Communities and ancestors associated with Egon Börger and ASM	2022-03-22	Paper
On security in encrypted computing	2021-01-18	Paper
Theoretical and practical approaches to the denotational semantics for MDESL based on UTP	2020-09-09	Paper
Book review of: G. O'Regan, Concise guide to formal methods: theory, fundamentals and industry applications	2020-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q2847841	2013-09-11	Paper
A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng	2013-08-16	Paper
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language	2011-12-19	Paper
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis	2008-06-13	Paper
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria	2006-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4680194	2006-06-02	Paper
Formal Approaches to Software Testing	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4472188	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4471923	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4431335	2003-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q4412558	2003-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4787253	2003-01-09	Paper
An approach to the specification and verification of a hardware compilation scheme	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4857803	1995-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4842964	1995-09-17	Paper
Specification, verification and prototyping of an optimized compiler	1995-04-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jonathan P. Bowen