• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 14 matches

• 2012
• 
  Zhiming Liu, Alan Wassyng:
  Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7151, Springer 2012, ISBN 978-3-642-32354-6 [contents]
• 2011
• 
  Cristiano Bertolini, Martin Schäf, Volker Stolz:
  Towards a Formal Integrated Model of Collaborative Healthcare Workflows. FHIES 2011: 57-74
• 
  Jim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton, Steve Harris, Andrew Tsui:
  Form Follows Function - Model-Driven Engineering for Clinical Trials. FHIES 2011: 21-38
• 
  Naipeng Dong, Hugo Jonker, Jun Pang:
  Challenges in eHealth: From Enabling to Enforcing Privacy. FHIES 2011: 195-206
• 
  Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats:
  Declarative Modelling and Safe Distribution of Healthcare Workflows. FHIES 2011: 39-56
• 
  Jozef Hooman, Robert Huis in 't Veld, Mathijs Schuts:
  Experiences with a Compositional Model Checker in the Healthcare Domain. FHIES 2011: 93-110
• 
  Samuel Tusubira Kalyango, Gilbert Maiga:
  A Technique for Strengthening Weak Passwords in Electronic Medical Record Systems. FHIES 2011: 207-224
• 
  Wendy MacCaull, Fazle Rabbi:
  NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery. FHIES 2011: 75-92
• 
  Dominique Méry, Neeraj Kumar Singh:
  Medical Protocol Diagnosis Using Formal Methods. FHIES 2011: 1-20
• 
  Dominique Méry, Neeraj Kumar Singh:
  Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata. FHIES 2011: 140-159
• 
  Deshendran Moodley, Anban W. Pillay, Christopher J. Seebregts:
  Position Paper: Researching and Developing Open Architectures for National Health Information Systems in Developing African Countries. FHIES 2011: 129-139
• 
  Fazle Rabbi, Ahmed Shah Mashiyat, Wendy MacCaull:
  Model Checking Workflow Monitors and Its Application to a Pain Management Process. FHIES 2011: 111-128
• 
  Jens H. Weber-Jahnke, Fieran Mason-Blakley:
  On the Safety of Electronic Medical Records. FHIES 2011: 177-194
• 
  Hao Xu, Tom Maibaum:
  An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump. FHIES 2011: 160-176