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.

Mingsheng Ying
SearchCollections
Map detail
Mingsheng Ying13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMingsheng YingAMingsheng YingResearcherBirkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum ProgramsWBirkhoff-von Neumann Qu...preprint / 2022An Algebra of Quantum ProcessesWAn Algebra of Quantum P...preprint / 2010Model-Checking Linear-Time Properties of Quantum SystemsWModel-Checking Linear-T...preprint / 2010Verification of Quantum ProgramsWVerification of Quantum...preprint / 2011Another Quantum Lovász Local LemmaWAnother Quantum Lovász ...preprint / 2011Quantum Information-Flow Security: Noninterference and Access ControlWQuantum Information-Flo...preprint / 2013Defining Quantum Control FlowWDefining Quantum Contro...preprint / 2012Alternation in Quantum Programming: From Superposition of Data to Superposition of ProgramsWAlternation in Quantum ...preprint / 2014Quantum Recursion and Second QuantisationWQuantum Recursion and S...preprint / 2014Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene AlgebraWAlgebraic Reasoning of ...preprint / 2022Quantum Hoare logic with classical variablesWQuantum Hoare logic wit...preprint / 2021Quantum Random Access Stored-Program MachinesWQuantum Random Access S...preprint / 2022
Person12 links

Mingsheng Ying

Researcher

PaperBirkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum ProgramsAuthorship / preprint / 2022PaperAn Algebra of Quantum ProcessesAuthorship / preprint / 2010PaperModel-Checking Linear-Time Properties of Quantum SystemsAuthorship / preprint / 2010PaperVerification of Quantum ProgramsAuthorship / preprint / 2011PaperAnother Quantum Lovász Local LemmaAuthorship / preprint / 2011PaperQuantum Information-Flow Security: Noninterference and Access ControlAuthorship / preprint / 2013PaperDefining Quantum Control FlowAuthorship / preprint / 2012PaperAlternation in Quantum Programming: From Superposition of Data to Superposition of ProgramsAuthorship / preprint / 2014

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)