"Towards a Formal Integrated Model of Collaborative Healthcare Workflows", 1st International Workshop on Foundations of Health Information Engineering and Systems, 2011.
"Automated Reviewing of Healthcare Security Policies", FHIES 2012: Springer, 2012.
"A Timed Model for Healthcare Workflows Based on CSP", SEHC 2012 , Zurich, IEEE, 2012.
"Decision-Theoretic Refinement Planning using Inheritance Abstraction", Second International Conference on AI Planning Systems, 06/1994.
"Generating Bayesian Networks from Probability Logic Knowledge Bases", Tenth Conference on Uncertainty in Artificial Intelligence, 07/1994.
"Abstracting Probabilistic Actions", Tenth Conference on Uncertainty in Artificial Intelligence, 07/1994.
"An Educational Tool for High-Level Interaction with Bayesian Networks", Sixth IEEE International Conference on Tools with Artificial Intelligence, 11/1994.
"Optimizing Diagnostic and Therapeutic Strategies Using Decision-Theoretic Planning: Principles and Application", Eighth World Congress on Medical Informatics (Medinfo'95), 07/1995.