Psychiatric Diagnosis from the Viewpoint of Computational Logic. - Joseph Gartner; Terrance Swift; Allen Tien; Carlos Viegas Damásio; Luís Moniz Pereira (Computational Logic, 2000)

An Electronic Health Record - Public Health (EHR-PH) System Prototype for Interoperability in 21st Century Healthcare Systems. - Anna Orlova; Mark Dunnagan; Terese Finitzo; Michael Higgins; Todd Watkins; Allen Tien; Steven Beales (AMIA, 2005)

Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care. - Jeff Dallien; Wendy MacCaull; Allen Tien (MOMPES, 2008)