Jonathan P. Bowen

zbMath Openbowen.jonathan-pDBLPb/JonathanPBowenWikidataQ93043 ScholiaQ93043MaRDI QIDQ207988

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Jifeng He at Oxford and beyond: an appreciation Theories of Programming and Formal Methods	2024-02-28	Paper
Review on Theories of Programming: The Life and Works of Tony Hoare Formal Aspects of Computing	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 Formal Aspects of Computing	2020-09-09	Paper
Book review of: G. O'Regan, Concise guide to formal methods: theory, fundamentals and industry applications Formal Aspects of Computing	2020-07-27	Paper
Retracted: On the visual representation of configuration in reconfigurable computing	2013-09-11	Paper
A relational approach to an algebraic community: from Paul Erdős to He Jifeng Theories of Programming and Formal Methods	2013-08-16	Paper
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language The Journal of Logic and Algebraic Programming	2011-12-19	Paper
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis Lecture Notes in Computer Science	2008-06-13	Paper
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria Formal Aspects of Computing	2006-10-25	Paper
scientific article; zbMATH DE number 2172807 (Why is no real title available?)	2006-06-02	Paper
Formal Approaches to Software Testing Lecture Notes in Computer Science	2005-12-02	Paper
scientific article; zbMATH DE number 2080006 (Why is no real title available?)	2004-08-03	Paper
scientific article; zbMATH DE number 2079820 (Why is no real title available?)	2004-07-30	Paper
scientific article; zbMATH DE number 1995120 (Why is no real title available?)	2003-10-21	Paper
scientific article; zbMATH DE number 1949639 (Why is no real title available?)	2003-07-15	Paper
scientific article; zbMATH DE number 1852174 (Why is no real title available?)	2003-01-09	Paper
An approach to the specification and verification of a hardware compilation scheme The Journal of Supercomputing	2002-07-22	Paper
scientific article; zbMATH DE number 824213 (Why is no real title available?)	1995-12-10	Paper
scientific article; zbMATH DE number 786483 (Why is no real title available?)	1995-09-17	Paper
Specification, verification and prototyping of an optimized compiler Formal Aspects of Computing	1995-04-06	Paper

Research outcomes over time

This page was built for person: Jonathan P. Bowen