pith. sign in

LIST

Identifiers

  • name variant LIST 0.60 · backfill

Papers (3)

  1. Rationals vs Byzantines in Consensus-based Blockchains cs.DC · 2019 · author #2
  2. Hybrid Information Flow Analysis for Programs with Arrays cs.PL · 2016 · author #2
  3. The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero cs.LO · 2014 · author #2

Mentions

  • 1410.7470 #2 · backfill · confidence 0.70 LIST

Frequent Coauthors