Health

C. Bertolini, Z. Liu, M. Schäf, and V. Stolz, "Towards a Formal Integrated Model of Collaborative Healthcare Workflows", 1st International Workshop on Foundations of Health Information Engineering and Systems, 2011.

N. Qamar, J. Faber, Y. Ledru, and Z. Liu, "Automated Reviewing of Healthcare Security Policies", FHIES 2012: Springer, 2012.

J. Faber, "A Timed Model for Healthcare Workflows Based on CSP", SEHC 2012, R. Breu, and J. Hatcliff (Eds.), , Zurich, IEEE, 2012.

P. Haddawy, and M. Suwandi, "Decision-Theoretic Refinement Planning using Inheritance Abstraction", Second International Conference on AI Planning Systems, 06/1994.

P. Haddawy, "Generating Bayesian Networks from Probability Logic Knowledge Bases", Tenth Conference on Uncertainty in Artificial Intelligence, 07/1994.

P. Haddawy, and A. H. Doan, "Abstracting Probabilistic Actions", Tenth Conference on Uncertainty in Artificial Intelligence, 07/1994.

P. Haddawy, J. Charles E. Kahn, and J. Jacobson, "An Educational Tool for High-Level Interaction with Bayesian Networks", Sixth IEEE International Conference on Tools with Artificial Intelligence, 11/1994.

A. Doan, and P. Haddawy, Generating Macro Operators for Decision-Theoretic Planning, , 1995.

L. Ngo, and P. Haddawy, Representing Iterative Loops for Decision-Theoretic Planning (Preliminary Report), , 1995.

J. Charles E. Kahn, and P. Haddawy, "Optimizing Diagnostic and Therapeutic Strategies Using Decision-Theoretic Planning: Principles and Application", Eighth World Congress on Medical Informatics (Medinfo'95), 07/1995.