Allen Tien

According to our database, Allen Tien authored at least 3 papers between 2000 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care.

Jeff Dallien, Wendy MacCaull, Allen Tien

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2008

2005

An Electronic Health Record - Public Health (EHR-PH) System Prototype for Interoperability in 21^st Century Healthcare Systems.

Anna Orlova, Mark Dunnagan, Terese Finitzo, Michael Higgins, Todd Watkins, Allen Tien, Steven Beales

Proceedings of the AMIA 2005, 2005

2000

Psychiatric Diagnosis from the Viewpoint of Computational Logic.

Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira

Proceedings of the Computational Logic, 2000