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.

Marco Gaboardi
SearchCollections
Map detail
Marco Gaboardi11 visible / 11 total nodes / 10 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMarco GaboardiAMarco GaboardiResearcherGraded Hoare Logic and its Categorical SemanticsWGraded Hoare Logic and ...preprint / 2021The Complexity of Verifying Loop-Free Programs as Differentially PrivateWThe Complexity of Verif...preprint / 2020Categorical Models for a Semantically Linear Lambda-calculusWCategorical Models for ...preprint / 2010Linear Dependent Types for Domain Specific Program Analysis (Extended Abstract)WLinear Dependent Types ...preprint / 2013Differentially Private Chi-Squared Hypothesis Testing: Goodness of Fit and Independence TestingWDifferentially Private ...preprint / 2016Linear Dependent Types and Relative CompletenessWLinear Dependent Types ...preprint / 2012On Incorrectness Logic and Kleene Algebra with Top and TestsWOn Incorrectness Logic ...preprint / 2022Coupled Relational Symbolic Execution for Differential PrivacyWCoupled Relational Symb...preprint / 2020Estimating Smooth GLM in Non-interactive Local Differential Privacy Model with Public Unlabeled DataWEstimating Smooth GLM i...preprint / 2022Formal verification of higher-order probabilistic programsWFormal verification of ...preprint / 2020
Person10 links

Marco Gaboardi

Researcher

PaperGraded Hoare Logic and its Categorical SemanticsAuthorship / preprint / 2021PaperThe Complexity of Verifying Loop-Free Programs as Differentially PrivateAuthorship / preprint / 2020PaperCategorical Models for a Semantically Linear Lambda-calculusAuthorship / preprint / 2010PaperLinear Dependent Types for Domain Specific Program Analysis (Extended Abstract)Authorship / preprint / 2013PaperDifferentially Private Chi-Squared Hypothesis Testing: Goodness of Fit and Independence TestingAuthorship / preprint / 2016PaperLinear Dependent Types and Relative CompletenessAuthorship / preprint / 2012PaperOn Incorrectness Logic and Kleene Algebra with Top and TestsAuthorship / preprint / 2022PaperCoupled Relational Symbolic Execution for Differential PrivacyAuthorship / preprint / 2020

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)