Stem voter$ (all stems)

4 papers:

DATE-2014-BurlyaevFG

Verification-guided voter minimization in triple-modular redundant circuits (DB, PF, AG), pp. 1–6.

GT-VMT-2014-HusseinHDS #adaptation #modelling #network

Modelling Adaptive Networks: The Case of the Petrified Voters (MH, RH, VD, PS).

SAC-2009-BiagioniDPS #distributed

Practical distributed voter-verifiable secret ballot system (EB, YD, WP, KS), pp. 16–21.

TAP-2009-AyraultHP #development

Development of a Generic Voter under FoCal (PA, TH, FP), pp. 10–26.