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.

Steve Schneider
SearchCollections
Map detail
Steve Schneider6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSteve SchneiderASteve SchneiderResearcherA CSP Account of Event-B RefinementWA CSP Account of Event-...preprint / 2011Managing LTL properties in Event-B refinementWManaging LTL properties...preprint / 2014A Peered Bulletin Board for Robust Use in Verifiable Voting SystemsWA Peered Bulletin Board...preprint / 2014Secure and Verifiable Electronic Voting in Practice: the use of vVote in the Victorian State ElectionWSecure and Verifiable E...preprint / 2015vVote: a Verifiable Voting SystemWvVote: a Verifiable Vot...preprint / 2015
Person5 links

Steve Schneider

Researcher

PaperA CSP Account of Event-B RefinementAuthorship / preprint / 2011PaperManaging LTL properties in Event-B refinementAuthorship / preprint / 2014PaperA Peered Bulletin Board for Robust Use in Verifiable Voting SystemsAuthorship / preprint / 2014PaperSecure and Verifiable Electronic Voting in Practice: the use of vVote in the Victorian State ElectionAuthorship / preprint / 2015PapervVote: a Verifiable Voting SystemAuthorship / preprint / 2015

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)