Partial automorphism semigroups. - Jennifer Chubb; Valentina S. Harizanov; Andrei S. Morozov; Sarah Pingrey; Eric Ufferman (Ann. Pure Appl. Log., 2008)

A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes. - Eric Ufferman; Pedro Arturo Góngora; Francisco Hernández Quiroz (Advances in Modal Logic, 2010)

Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of pi-Calculus Processes. - Pedro Arturo Góngora; Eric Ufferman; Francisco Hernández Quiroz (CLIMA, 2010)