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.

Karl Palmskog
SearchCollections
Map detail
Karl Palmskog8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipKarl PalmskogAKarl PalmskogResearcherReliably Reproducing Machine-Checked Proofs with the Coq PlatformWReliably Reproducing Ma...preprint / 2022ABS-NET: Fully Decentralized Runtime Adaptation for Distributed ObjectsWABS-NET: Fully Decentra...preprint / 2013Learning to Format Coq Code Using Language ModelsWLearning to Format Coq ...preprint / 2020Deep Generation of Coq Lemma Names Using Elaborated TermsWDeep Generation of Coq ...preprint / 2020QED at Large: A Survey of Engineering of Formally Verified SoftwareWQED at Large: A Survey ...preprint / 2020Forward Symbolic Execution for Trustworthy Automation of Binary Code VerificationWForward Symbolic Execut...preprint / 2026Towards a Verified Model of the Algorand Consensus Protocol in CoqWTowards a Verified Mode...preprint / 2020
Person7 links

Karl Palmskog

Researcher

PaperReliably Reproducing Machine-Checked Proofs with the Coq PlatformAuthorship / preprint / 2022PaperABS-NET: Fully Decentralized Runtime Adaptation for Distributed ObjectsAuthorship / preprint / 2013PaperLearning to Format Coq Code Using Language ModelsAuthorship / preprint / 2020PaperDeep Generation of Coq Lemma Names Using Elaborated TermsAuthorship / preprint / 2020PaperQED at Large: A Survey of Engineering of Formally Verified SoftwareAuthorship / preprint / 2020PaperForward Symbolic Execution for Trustworthy Automation of Binary Code VerificationAuthorship / preprint / 2026PaperTowards a Verified Model of the Algorand Consensus Protocol in CoqAuthorship / 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)