Jonathan P. Bowen

From MaRDI portal
Person:207988

Available identifiers

zbMath Open bowen.jonathan-pDBLPb/JonathanPBowenWikidataQ93043 ScholiaQ93043MaRDI QIDQ207988

List of research outcomes





PublicationDate of PublicationType
Jifeng He at Oxford and beyond: an appreciation2024-02-28Paper
Review on Theories of Programming: The Life and Works of Tony Hoare2024-02-23Paper
Communities and ancestors associated with Egon Börger and ASM2022-03-22Paper
On security in encrypted computing2021-01-18Paper
Theoretical and practical approaches to the denotational semantics for MDESL based on UTP2020-09-09Paper
Book review of: G. O'Regan, Concise guide to formal methods: theory, fundamentals and industry applications2020-07-27Paper
Retracted: On the visual representation of configuration in reconfigurable computing2013-09-11Paper
A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng2013-08-16Paper
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language2011-12-19Paper
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis2008-06-13Paper
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria2006-10-25Paper
https://portal.mardi4nfdi.de/entity/Q46801942006-06-02Paper
Formal Approaches to Software Testing2005-12-02Paper
https://portal.mardi4nfdi.de/entity/Q44721882004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44719232004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44313352003-10-21Paper
https://portal.mardi4nfdi.de/entity/Q44125582003-07-15Paper
https://portal.mardi4nfdi.de/entity/Q47872532003-01-09Paper
An approach to the specification and verification of a hardware compilation scheme2002-07-22Paper
https://portal.mardi4nfdi.de/entity/Q48578031995-12-10Paper
https://portal.mardi4nfdi.de/entity/Q48429641995-09-17Paper
Specification, verification and prototyping of an optimized compiler1995-04-06Paper

Research outcomes over time

This page was built for person: Jonathan P. Bowen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:207988&oldid=10488355"
Powered by MediaWiki