The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Arjen Hommersom: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel, Theo P. van der Weide
    A History-Based Algebra for Quality-Checking Medical Guidelines. [Citation Graph (0, 0)][DBLP]
    AIME, 2005, pp:161-165 [Conf]
  2. Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel
    Argumentation Systems for History-Based Construction of Medical Guidelines. [Citation Graph (0, 0)][DBLP]
    BNAIC, 2005, pp:135-142 [Conf]
  3. Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
    Verification of Medical Guidelines Using Task Execution with Background Knowledge. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:835-836 [Conf]
  4. Arjen Hommersom, Peter J. F. Lucas, Michael Balser
    Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:654-666 [Conf]
  5. Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink
    Toward Reasoning about Security Protocols: A Semantic Approach. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:126, n:, pp:53-75 [Journal]
  6. Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
    Combining task execution and background knowledge for the verification of medical guidelines. [Citation Graph (0, 0)][DBLP]
    Knowl.-Based Syst., 2007, v:20, n:2, pp:113-119 [Journal]
  7. Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
    Verification of Medical Guidelines Using Background Knowledge in Task Networks. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2007, v:19, n:6, pp:832-846 [Journal]
  8. Perry Groot, Arjen Hommersom, Peter J. F. Lucas, Radu Serban, Annette ten Teije, Frank van Harmelen
    The Role of Model Checking in Critiquing Based on Clinical Guidelines. [Citation Graph (0, 0)][DBLP]
    AIME, 2007, pp:411-420 [Conf]

  9. Actions with Failures in Interval Temporal Logic. [Citation Graph (, )][DBLP]


  10. Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive. [Citation Graph (, )][DBLP]


  11. Integrating Logical Reasoning and Probabilistic Chain Graphs. [Citation Graph (, )][DBLP]


  12. Using model checking for critiquing based on clinical guidelines. [Citation Graph (, )][DBLP]


  13. Checking the Quality of Clinical Guidelines using Automated Reasoning Tools [Citation Graph (, )][DBLP]


Search in 0.052secs, Finished in 0.054secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002