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.

Ross Horne
SearchCollections
Map detail
Ross Horne7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRoss HorneARoss HorneResearcherUnlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen PaymentsWUnlinkability of an Imp...preprint / 2022De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative LogicWDe Morgan Dual Nominal ...preprint / 2020A Verified Algebra for Linked DataWA Verified Algebra for ...preprint / 2011Bisimulations Respecting Duration and Causality for the Non-interleaving Applied $π$-CalculusWBisimulations Respectin...preprint / 2022A Provenance Tracking Model for Data UpdatesWA Provenance Tracking M...preprint / 2012Local Type Checking for Linked Data ConsumersWLocal Type Checking for...preprint / 2013
Person6 links

Ross Horne

Researcher

PaperUnlinkability of an Improved Key Agreement Protocol for EMV 2nd Gen PaymentsAuthorship / preprint / 2022PaperDe Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative LogicAuthorship / preprint / 2020PaperA Verified Algebra for Linked DataAuthorship / preprint / 2011PaperBisimulations Respecting Duration and Causality for the Non-interleaving Applied ππ-CalculusAuthorship / preprint / 2022PaperA Provenance Tracking Model for Data UpdatesAuthorship / preprint / 2012PaperLocal Type Checking for Linked Data ConsumersAuthorship / preprint / 2013

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)