Jo\~ao C. Pereira

Identifiers

• name variant Jo\~ao C. Pereira 0.60 · backfill

Papers (2)

1. Protocols to Code: Formal Verification of a Next-Generation Internet Router cs.CR · 2024 · author #1
2. Gobra: Modular Specification and Verification of Go Programs (extended version) cs.PL · 2021 · author #5

Mentions

• 2405.06074 #1 · arxiv_oai · confidence 0.70 Jo\~ao C. Pereira
• 2105.13840 #5 · arxiv_oai · confidence 0.70 Jo\~ao C. Pereira

Frequent Coauthors

• Felix A. Wolf 2 shared papers
• Peter M\"uller 2 shared papers
• Adrian Perrig 1 shared papers
• Christoph Sprenger 1 shared papers
• David Basin 1 shared papers
• Dionysios Spiliopoulos 1 shared papers
• Linard Arquint 1 shared papers
• Marco Eilers 1 shared papers
• Markus Limbeck 1 shared papers
• Martin Clochard 1 shared papers
• Sofia Giampietro 1 shared papers
• Tobias Klenze 1 shared papers
• Wytse Oortwijn 1 shared papers