publication venue for
- Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers 2012
- A Technique for Strengthening Weak Passwords in Electronic Medical Record Systems. 2011
- Challenges in eHealth: From Enabling to Enforcing Privacy. 2011
- Declarative Modelling and Safe Distribution of Healthcare Workflows. 2011
- Experiences with a Compositional Model Checker in the Healthcare Domain. 2011
- Form Follows Function - Model-Driven Engineering for Clinical Trials. 2011
- Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata. 2011
- Medical Protocol Diagnosis Using Formal Methods. 2011
- On the Safety of Electronic Medical Records. 2011
- Position Paper: Researching and Developing Open Architectures for National Health Information Systems in Developing African Countries. 2011
- Towards a Formal Integrated Model of Collaborative Healthcare Workflows. 2011