◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Karl Crary

7 papers hereh-index 263.8k citations92 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author2
  • first author2
  • middle author1
  • last author1

Across the 6 of 7 papers where every author was matched, so the position is known.

fields
  • cs.LO4
  • cs.PL3

identity via Semantic Scholar / OpenAlex

activity
20062025
most citedProceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

4 citations · 9 across the 5 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.LO2021★ 2 cited

Verifying the Hashgraph Consensus Algorithm

Karl Crary

The Hashgraph consensus algorithm is an algorithm for asynchronous Byzantine fault tolerance intended for distributed shared ledgers. Its main distinguishing characteristic is it a…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.