|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 48 publication records. Showing 48 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jeremy Gibbons, Wendy MacCaull (eds.) |
Foundations of Health Information Engineering and Systems - Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers  |
FHIES  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Franziska Kühn, Martin Leucker |
OR.NET: Safe Interconnection of Medical Devices - (Position Paper). |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yihai Chen, Mark Lawford, Hao Wang 0003, Alan Wassyng |
Insulin Pump Software Certification. |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Bessling, Michaela Huhn |
Towards Formal Safety Analysis in Feature-Oriented Product Line Development. |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew L. King, Lu Feng 0001, Oleg Sokolsky, Insup Lee 0001 |
A Modal Specification Approach for On-Demand Medical Systems. |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ngonidzashe Zanamwe, Kudakwashe Dube, Jasmine S. Thomson, Fredrick Japhet Mtenzi, Gilford T. Hapanyengwi |
Characterisation of Knowledge Incorporation into Solution Models for the Meal Planning Problem. |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kudakwashe Dube, Thomas Gallagher |
Approach and Method for Generating Realistic Synthetic Electronic Healthcare Records for Secondary Use. |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pádraig O'Leary, Patrick Buckley, Ita Richardson |
Modelling Care Pathways in a Connected Health Setting. |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pádraig O'Leary, John Noll, Ita Richardson |
A Resource Flow Approach to Modelling Care Pathways. |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal S. Brandt, Deshendran Moodley, Anban W. Pillay, Christopher J. Seebregts, Tulio de Oliveira |
An Investigation of Classification Algorithms for Predicting HIV Drug Resistance without Genotype Resistance Testing. |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Khalid, David A. Clifton, Lionel Tarassenko |
A Bayesian Patient-Based Model for Detecting Deterioration in Vital Signs Using Manual Observations. |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Anders Skovbo Christensen, Flemming Nielson, Hanne Riis Nielson, Thomas T. Hildebrandt, Martin Sølvkjær |
ICT-powered Health Care Processes - (Position Paper). |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens H. Weber, Isabelle Perseil (eds.) |
Foundations of Health Information Engineering and Systems - Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei-Hsuan Tsai, Jane W.-S. Liu |
Intelligent Tools for Reducing Medication Dispensing and Administration Error. |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kudakwashe Dube, Deshendran Moodley, Bill Thies, Jane W.-S. Liu, Joseph A. Cafazzo, Oleg Sokolsky |
Panel Position Statements. |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu 0001, Nafees Qamar, Jie Qian |
A Quantitative Analysis of the Performance and Scalability of De-identification Tools for Medical Data. |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjan J. Mooij, Jozef Hooman, Rob Albers |
Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment. |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro D. Santos, David A. Clifton, Lionel Tarassenko |
Performance of Early Warning Scoring Systems to Detect Patient Deterioration in the Emergency Department. |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciana Tricai Cavalini, Timothy Wayne Cook |
Use of XML Schema Definition for the Development of Semantically Interoperable Healthcare Applications. |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Deshendran Moodley, Christopher J. Seebregts, Anban W. Pillay, Thomas Meyer 0002 |
An Ontology for Regulating eHealth Interoperability in Developing African Countries. |
FHIES |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu 0001 |
Automated Reviewing of Healthcare Security Policies. |
FHIES |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiming Liu 0001, Alan Wassyng (eds.) |
Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers |
FHIES |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Starcke Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein |
Trustworthy Pervasive Healthcare Services via Multiparty Session Types. |
FHIES |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan Crichton, Deshendran Moodley, Anban W. Pillay, Richard Gakuba, Christopher J. Seebregts |
An Architecture and Reference Implementation of an Open Health Information Mediator: Enabling Interoperability in the Rwandan Health Information Exchange. |
FHIES |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Rutle, Hao Wang 0003, Wendy MacCaull |
A Formal Diagrammatic Approach to Compensable Workflow Modelling. |
FHIES |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Méry, Neeraj Kumar Singh 0001 |
Closed-Loop Modeling of Cardiac Pacemaker and Heart. |
FHIES |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Awatef Hicheur, Amel Ben Dhieb, Kamel Barkaoui |
Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets. |
FHIES |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Bertolini, Zhiming Liu 0001, Jirí Srba |
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. |
FHIES |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter Van Gorp, Irene T. P. Vanderfeesten, Willem Dalinghaus, Josh Mengerink, Bram van der Sanden, Pieter Leonard Kubben |
Towards Generic MDE Support for Extracting Purpose-Specific Healthcare Models from Annotated, Unstructured Texts. |
FHIES |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Felipe Maia, Rafael Viana Lopes Araújo, Luiz Carlos Muniz, Rayrone Zirtany, Luciano R. Coutinho, Samyr Vale, Francisco José Silva, Pierpaolo Cincilla, Ikram Chabbouh, Sébastien Monnet, Luciana Arantes, Marc Shapiro 0001 |
A Grid Based Distributed Cooperative Environment for Health Care Research. |
FHIES |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Oisín Cawley, Xiaofeng Wang 0001, Ita Richardson |
Regulated Software Development - An Onerous Transformation. |
FHIES |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elthon A. S. Oliveira, Leandro Dias da Silva, Hyggo Oliveira de Almeida, Angelo Perkusich |
Model-Based Solution for Controlling Physiology. |
FHIES |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rokan Uddin Faruqui, Wendy MacCaull |
O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes. |
FHIES |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michaela Huhn, Sara Bessling |
Enhancing Product Line Development by Safety Requirements and Verification. |
FHIES |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Carlini, Pierluigi Dalla Rosa, Bartolomeo Montrucchio, Ivan Cenci, Francesca Maria Claudio, Giovanni Luongo, Jacopo Spigaroli, Giuseppina Gini |
Defining New Structural and Mobile Support to Improve Hospital Facilities Access and Usability. |
FHIES |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fazle Rabbi 0001, Ahmed Shah Mashiyat, Wendy MacCaull |
Model Checking Workflow Monitors and Its Application to a Pain Management Process. |
FHIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Xu, Tom Maibaum |
An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump. |
FHIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats |
Declarative Modelling and Safe Distribution of Healthcare Workflows. |
FHIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Bertolini, Martin Schäf, Volker Stolz |
Towards a Formal Integrated Model of Collaborative Healthcare Workflows. |
FHIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens H. Weber-Jahnke, Fieran Mason-Blakley |
On the Safety of Electronic Medical Records. |
FHIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton, Steve Harris, Andrew Tsui |
Form Follows Function - Model-Driven Engineering for Clinical Trials. |
FHIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Tusubira Kalyango, Gilbert Maiga |
A Technique for Strengthening Weak Passwords in Electronic Medical Record Systems. |
FHIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Méry, Neeraj Kumar Singh 0001 |
Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata. |
FHIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naipeng Dong, Hugo Jonker, Jun Pang 0001 |
Challenges in eHealth: From Enabling to Enforcing Privacy. |
FHIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wendy MacCaull, Fazle Rabbi 0001 |
NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery. |
FHIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jozef Hooman, Robert Huis in 't Veld, Mathijs Schuts |
Experiences with a Compositional Model Checker in the Healthcare Domain. |
FHIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Méry, Neeraj Kumar Singh 0001 |
Medical Protocol Diagnosis Using Formal Methods. |
FHIES |
2011 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #48 of 48 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license