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.

Robert Rand
SearchCollections
Map detail
Robert Rand5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipAuthorshipAuthorshipRobert RandARobert RandResearcherVyZX : A Vision for Verifying the ZX CalculusWVyZX : A Vision for Ver...preprint / 2022Ordered direct implicational basis of a finite closure systemWOrdered direct implicat...preprint / 2012MCBeth: A Measurement Based Quantum Programming LanguageWMCBeth: A Measurement B...preprint / 2022A Formally Certified End-to-End Implementation of Shor's Factorization AlgorithmWA Formally Certified En...preprint / 2022
Person4 links

Robert Rand

Researcher

PaperVyZX : A Vision for Verifying the ZX CalculusAuthorship / preprint / 2022PaperOrdered direct implicational basis of a finite closure systemAuthorship / preprint / 2012PaperMCBeth: A Measurement Based Quantum Programming LanguageAuthorship / preprint / 2022PaperA Formally Certified End-to-End Implementation of Shor's Factorization AlgorithmAuthorship / preprint / 2022

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)