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.

Manfred Kerber
SearchCollections
Map detail
Manfred Kerber9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipManfred KerberAManfred KerberResearcherProofs, proofs, proofs, and proofsWProofs, proofs, proofs,...preprint / 2010An Introduction to Mechanized ReasoningWAn Introduction to Mech...preprint / 2016Applying the Isabelle Insider Framework to Airplane SecurityWApplying the Isabelle I...preprint / 2020Proving soundness of combinatorial Vickrey auctions and generating verified executable codeWProving soundness of co...preprint / 2013Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?WSet Theory or Higher Or...preprint / 2014Budget Imbalance Criteria for Auctions: A Formalized TheoremWBudget Imbalance Criter...preprint / 2014A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction TheoryWA Qualitative Compariso...preprint / 2013The ForMaRE Project - Formal Mathematical Reasoning in EconomicsWThe ForMaRE Project - F...preprint / 2013
Person8 links

Manfred Kerber

Researcher

PaperProofs, proofs, proofs, and proofsAuthorship / preprint / 2010PaperAn Introduction to Mechanized ReasoningAuthorship / preprint / 2016PaperApplying the Isabelle Insider Framework to Airplane SecurityAuthorship / preprint / 2020PaperProving soundness of combinatorial Vickrey auctions and generating verified executable codeAuthorship / preprint / 2013PaperSet Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?Authorship / preprint / 2014PaperBudget Imbalance Criteria for Auctions: A Formalized TheoremAuthorship / preprint / 2014PaperA Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction TheoryAuthorship / preprint / 2013PaperThe ForMaRE Project - Formal Mathematical Reasoning in EconomicsAuthorship / 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)