Search results for "medical guidelines"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt	Verification of Medical Guidelines by Model Checking - A Case Study.	SPIN	2006	DBLP DOI BibTeX RDF	Asbru, medical guidelines, Model checking, verification, formal methods, abstraction
2	Mercedes Argüello Casteleiro, Jose Julio Des Diz, A. Thompson, Hilary Paniagua, Maria Jesus Fernandez Prieto, Rogelio Perez	Enabling smooth integration between HL7 CDA and medical guidelines on the web with an initial focus on women's health in general practice.	ICDIM	2008	DBLP DOI BibTeX RDF
2	Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt	Verification of Medical Guidelines Using Background Knowledge in Task Networks.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Medical guidelines, formal verification, temporal logic, background knowledge
2	Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos	Interactive Verification of Medical Guidelines.	FM	2006	DBLP DOI BibTeX RDF
2	Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel, Theo P. van der Weide	A History-Based Algebra for Quality-Checking Medical Guidelines.	AIME	2005	DBLP DOI BibTeX RDF
2	Jana Zvárová, Arnost Veselý, Petr Hanzlícek, Josef Spidlen, David Buchtela	On Direct Comparing of Medical Guidelines with Electronic Health Record.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
2	Arjen Hommersom, Peter J. F. Lucas, Michael Balser	Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving.	JELIA	2004	DBLP DOI BibTeX RDF
2	Marije Geldof, Annette ten Teije, Frank van Harmelen, Mar Marcos, Peter Votruba	Informal and Formal Medical Guidelines: Bridging the Gap.	AIME	2003	DBLP DOI BibTeX RDF
2	Christian Heinlein, Klaus Kuhn, Peter Dadam	Representation of Medical Guidelines on Top of a Classification-Based System.	CIKM	1994	DBLP DOI BibTeX RDF
1	Jonathan Schmitt	Modellierung und Verifikation medizinischer Leitlinien (Modelling and Verification of Medical Guidelines).	it - Information Technology	2010	DBLP DOI BibTeX RDF
1	Rodrigo Bonacin, Marcos Da Silveira, Cédric Pruski	From medical guidelines to personalized careflows: The iCareflow ontological framework.	CBMS	2010	DBLP DOI BibTeX RDF
1	Kanhai Shah, Boleslaw Mikolajczak	Careflow System with Case-Handling Flexibility - Case Study of Gastric Cancer.	ITNG	2010	DBLP DOI BibTeX RDF	careflow soundness, medical guidelines, workflow flexibility, Yasper, InfoPath
1	Harri Oinas-Kukkonen, Teppo Räisänen, Katja Leiviska, Matti Seppänen, Markku Kallio	Physicians' User Experiences of Mobile Pharmacopoeias and Evidence-Based Medical Guidelines.	IJHISI	2009	DBLP BibTeX RDF
1	Mercedes Argüello Casteleiro, Jose Julio Des Diz, Maria Jesus Fernandez Prieto, Rogelio Perez, Hilary Paniagua	Executing medical guidelines on the web: Towards next generation healthcare.	Knowl.-Based Syst.	2009	DBLP DOI BibTeX RDF
1	Guido Sciavicco, José M. Juárez, Manuel Campos	Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study.	IWINAC	2009	DBLP DOI BibTeX RDF
1	Maarten van der Heijden, Peter J. F. Lucas	Extracting Qualitative Knowledge from Medical Guidelines for Clinical Decision-Support Systems.	KR4HC	2009	DBLP DOI BibTeX RDF
1	Mario Macedo, Pedro T. Isaías	Patient Standardization Identification as a Healthcare Issue.	HCI	2009	DBLP DOI BibTeX RDF	HER, Medical Guidelines, Healthcare Plan Workflow
1	John McGrory, Frank Clarke, Jane Grimson, Peter Gaffney	Software Agents Representing Medical Guidelines.	HEALTHINF	2008	DBLP BibTeX RDF
1	Radu Serban, Annette ten Teije, Frank van Harmelen, Mar Marcos, Cristina Polo-Conde	Extraction and use of linguistic patterns for modelling medical guidelines.	Artificial Intelligence in Medicine	2007	DBLP DOI BibTeX RDF
1	Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt	Combining task execution and background knowledge for the verification of medical guidelines.	Knowl.-Based Syst.	2007	DBLP DOI BibTeX RDF
1	Arnost Veselý, Jana Zvárová, Jan Peleska, David Buchtela, Zdenek Anger	Medical guidelines presentation and comparing with Electronic Health Record.	I. J. Medical Informatics	2006	DBLP DOI BibTeX RDF
1	Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt	Verification of Medical Guidelines Using Task Execution with Background Knowledge.	ECAI	2006	DBLP BibTeX RDF
1	Radu Serban, Anna Puig-Centelles, Annette ten Teije	Incremental guideline formalization with tool support.	AIAI	2006	DBLP DOI BibTeX RDF
1	Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, Sergio Storari	A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening.	ISMIS	2006	DBLP DOI BibTeX RDF
1	Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel	Argumentation Systems for History-Based Construction of Medical Guidelines.	BNAIC	2005	DBLP BibTeX RDF
1	Anna Ciampolini, Paola Mello, Marco Montali, Sergio Storari	Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols.	CBMS	2005	DBLP DOI BibTeX RDF
1	Marjolein van Gendt, Annette ten Teije, Radu Serban, Frank van Harmelen	Formalising Medical Quality Indicators to Improve Guidelines.	AIME	2005	DBLP DOI BibTeX RDF
1	Radu Serban, Annette ten Teije, Mar Marcos, Cristina Polo-Conde, Kitty Rosenbrand, Jolanda Wittenberg, Joyce van Croonenborg	Design Patterns for Modelling Guidelines.	AIME	2005	DBLP DOI BibTeX RDF
1	Richard Lenz, Manfred Reichert	IT Support for Healthcare Processes.	Business Process Management	2005	DBLP DOI BibTeX RDF
1	Jesús Favela, Marcela Rodríguez, Alfredo Preciado, Víctor M. González	Integrating context-aware public displays into a mobile hospital information system.	IEEE Transactions on Information Technology in Biomedicine	2004	DBLP DOI BibTeX RDF
1	Ivano Azzini, Toni Giorgino, Daniele Falavigna, Roberto Gretter	Application of Spoken Dialogue Technology in a Medical Domain.	TSD	2002	DBLP BibTeX RDF
1	Berardina De Carolis, Fiorella de Rosis, Chiara Andreoli, Vincenzo Cavallo, M. Luisa De Cicco	The dynamic generation of hypertext presentations of medical guidelines.	The New Review of Hypermedia and Multimedia	1998	DBLP DOI BibTeX RDF