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.

Pedro Antonino
SearchCollections
Map detail
Pedro Antonino5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipAuthorshipAuthorshipPedro AntoninoAPedro AntoninoResearcherSpecification is Law: Safe Creation and Upgrade of Ethereum Smart ContractsWSpecification is Law: S...preprint / 2022A Pattern-based deadlock-freedom analysis strategy for concurrent systemsWA Pattern-based deadloc...preprint / 2022Formalising and verifying smart contracts with Solidifier: a bounded model checker for SolidityWFormalising and verifyi...preprint / 2020Formally Verifying Noir Zero Knowledge Programs with NAVeWFormally Verifying Noir...preprint / 2026
Person4 links

Pedro Antonino

Researcher

PaperSpecification is Law: Safe Creation and Upgrade of Ethereum Smart ContractsAuthorship / preprint / 2022PaperA Pattern-based deadlock-freedom analysis strategy for concurrent systemsAuthorship / preprint / 2022PaperFormalising and verifying smart contracts with Solidifier: a bounded model checker for SolidityAuthorship / preprint / 2020PaperFormally Verifying Noir Zero Knowledge Programs with NAVeAuthorship / preprint / 2026

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)