Modularizing crosscutting concerns with ptolemy. - Hridesh Rajan; Sean L. Mooney; Gary T. Leavens; Robert Dyer 001; Rex D. Fernando; Mohammad Ali Darvish Darab; Bryan Welter (OOPSLA Companion, 2011)

Event type polymorphism. - Rex D. Fernando; Robert Dyer 001; Hridesh Rajan (FOAL, 2012)

Infinitely Many Carmichael Numbers for a Modified Miller-Rabin Prime Test. - Eric Bach 001; Rex D. Fernando (ISSAC, 2016)

Modular Reasoning in the Presence of Event Subtyping. - Mehdi Bagherzadeh 001; Robert Dyer 001; Rex D. Fernando; José Sánchez; Hridesh Rajan (LNCS Trans. Modul. Compos., 2016)