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.

Mohamed Abdelghany
SearchCollections
Map detail
Mohamed Abdelghany5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipAuthorshipAuthorshipMohamed AbdelghanyAMohamed AbdelghanyResearcherFormal FT-based Cause-Consequence Reliability Analysis using Theorem ProvingWFormal FT-based Cause-C...preprint / 2021ETMA: A New Software for Event Tree Analysis with Application to Power ProtectionWETMA: A New Software fo...preprint / 2020A Formally Verified HOL4 Algebra for Event TreesWA Formally Verified HOL...preprint / 2020Observation of bulk boundary correspondence breakdown in topolectrical circuitsWObservation of bulk bou...preprint / 2019
Person4 links

Mohamed Abdelghany

Researcher

PaperFormal FT-based Cause-Consequence Reliability Analysis using Theorem ProvingAuthorship / preprint / 2021PaperETMA: A New Software for Event Tree Analysis with Application to Power ProtectionAuthorship / preprint / 2020PaperA Formally Verified HOL4 Algebra for Event TreesAuthorship / preprint / 2020PaperObservation of bulk boundary correspondence breakdown in topolectrical circuitsAuthorship / preprint / 2019

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)