![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
FHIES 2012: Paris, France
- Jens H. Weber, Isabelle Perseil:
Foundations of Health Information Engineering and Systems - Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7789, Springer 2013, ISBN 978-3-642-39087-6 - Awatef Hicheur, Amel Ben Dhieb, Kamel Barkaoui:
Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets. 1-18 - Cristiano Bertolini, Zhiming Liu, Jirí Srba
:
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. 19-36 - Michaela Huhn, Sara Bessling:
Enhancing Product Line Development by Safety Requirements and Verification. 37-54 - 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. 55-71 - Oisín Cawley
, Xiaofeng Wang
, Ita Richardson
:
Regulated Software Development - An Onerous Transformation. 72-86 - 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. 87-104 - Rokan Uddin Faruqui
, Wendy MacCaull:
O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes. 105-123 - Anders Starcke Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida
, Fritz Henglein:
Trustworthy Pervasive Healthcare Services via Multiparty Session Types. 124-141 - 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:
A Grid Based Distributed Cooperative Environment for Health Care Research. 142-150 - Dominique Méry, Neeraj Kumar Singh:
Closed-Loop Modeling of Cardiac Pacemaker and Heart. 151-166 - Elthon A. S. Oliveira, Leandro Dias da Silva, Hyggo Oliveira de Almeida
, Angelo Perkusich
:
Model-Based Solution for Controlling Physiology. 167-175 - Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu:
Automated Reviewing of Healthcare Security Policies. 176-193 - Adrian Rutle, Hao Wang
, Wendy MacCaull:
A Formal Diagrammatic Approach to Compensable Workflow Modelling. 194-212 - 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. 213-221
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.