output
20182023
most citedTowards a Verified Model of the Algorand Consensus Protocol in Coq

25 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2023 · cs.PLShow all

Nothing from here under that filter.

Their other years and fields are still on the left.

Show all their papers