SafeMPI - Extending MPI for Byzantine Error Detection on Parallel Clusters - Dmitry Mogilevsky; Sean Keller (CoRR, 2005)

A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits. - Sean Keller; Michael Katelman; Alain J. Martin (ASYNC, 2009)

Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits. - Michael Katelman; Sean Keller; José Meseguer 001 (WRLA, 2010)

Rewriting semantics of production rule sets. - Michael Katelman; Sean Keller; José Meseguer 001 (J. Log. Algebraic Methods Program., 2012)

A Compact Transregional Model for Digital CMOS Circuits Operating Near Threshold. - Sean Keller; David Money Harris; Alain J. Martin (IEEE Trans. Very Large Scale Integr. Syst., 2014)

Robust Near-Threshold QDI Circuit Analysis and Design. - Sean Keller (2014)

DD1: A QDI, Radiation-Hard-by-Design, Near-Threshold 18uW/MIPS Microcontroller in 40nm Bulk CMOS. - Sean Keller; Alain J. Martin; Chris Moore (ASYNC, 2015)