5 citations · 5 across the 2 of their papers we have counts for
3 papers
cs.LO2022
Non-commutative propositional logic with short-circuited biconditional and NAND
Dalia Papuc, Alban Ponse
Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the v…
cs.DC2021
Frugal Byzantine Computing
M. K. Aguilera, N. Ben-David, R. Guerraoui +3
Traditional techniques for handling Byzantine failures are expensive: digital signatures are too costly, while using replicas is uneconomical ( denotes the maximum numb…
cs.HC2021★ 5 cited
Tournesol: A quest for a large, secure and trustworthy database of reliable human judgments
Lê-Nguyên Hoang, Louis Faucon, Aidan Jungo +13
Today's large-scale algorithms have become immensely influential, as they recommend and moderate the content that billions of humans are exposed to on a daily basis. They are the d…