BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Simon Foster
SearchCollections
Map detail
Simon Foster10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSimon FosterASimon FosterResearcherUnifying Semantic Foundations for Automated Verification Tools in Isabelle/UTPWUnifying Semantic Found...preprint / 2020Unifying Theories of Reactive Design ContractsWUnifying Theories of Re...preprint / 2019Formally Verified Animation for RoboChart using Interaction TreesWFormally Verified Anima...preprint / 2023Dependently Typed Programming based on Automated Theorem ProvingWDependently Typed Progr...preprint / 2011Towards Verification of Constituent Systems through Automated ProofWTowards Verification of...preprint / 2014Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOLWCertifying Differential...preprint / 2021Automated image segmentation and division plane detection in single live Staphylococcus aureus cellsWAutomated image segment...preprint / 2016An automated image analysis framework for segmentation and division plane detection of single live Staphylococcus aureus cells which can operate at millisecond sampling time scales using bespoke Slimfield microscopyWAn automated image anal...preprint / 2016GC Insights: Space sector careers resources in the UK need a greater diversity of rolesWGC Insights: Space sect...preprint / 2022
Person9 links

Simon Foster

Researcher

PaperUnifying Semantic Foundations for Automated Verification Tools in Isabelle/UTPAuthorship / preprint / 2020PaperUnifying Theories of Reactive Design ContractsAuthorship / preprint / 2019PaperFormally Verified Animation for RoboChart using Interaction TreesAuthorship / preprint / 2023PaperDependently Typed Programming based on Automated Theorem ProvingAuthorship / preprint / 2011PaperTowards Verification of Constituent Systems through Automated ProofAuthorship / preprint / 2014PaperCertifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOLAuthorship / preprint / 2021PaperAutomated image segmentation and division plane detection in single live Staphylococcus aureus cellsAuthorship / preprint / 2016PaperAn automated image analysis framework for segmentation and division plane detection of single live Staphylococcus aureus cells which can operate at millisecond sampling time scales using bespoke Slimfield microscopyAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)