Bibsonomy :: author  ::

bookmarks

publications

(12)

• Maintaining Formal Models of Living Guidelines Efficiently.
  Andreas Seyfang and Begoña Martínez-Salvador and Radu Serban and Jolanda Wittenberg and Silvia Miksch and Mar Marcos and Annette ten Teije and Kitty Rosenbrand AIME 441-445 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Improving medical protocols by formal methods.
  Annette ten Teije and Mar Marcos and Michael Balser and Joyce van Croonenborg and Christoph Duelli and Frank van Harmelen and Peter J. F. Lucas and Silvia Miksch and Wolfgang Reif and Kitty Rosenbrand and Andreas Seyfang Artificial Intelligence in Medicine 36 193-209 (2006)
  to dblp by dblp on 2007-07-19 00:00:00
  | URL | BibTeX  
• Bridging the Gap Between Informal and Formal Guideline Representations.
  Andreas Seyfang and Silvia Miksch and Mar Marcos and Jolanda Wittenberg and Cristina Polo-Conde and Kitty Rosenbrand ECAI 447-451 (2006)
  to dblp by dblp on 2006-10-25 00:00:00
  | URL | BibTeX  
• Environment-Driven Skeletal Plan Execution for the Medical Domain.
  Peter Votruba and Andreas Seyfang and Michael Paesold and Silvia Miksch ECAI 847-848 (2006)
  to dblp by dblp on 2006-10-25 00:00:00
  | URL | BibTeX  
• MHB - A Many-Headed Bridge Between Informal and Formal Guideline Representations.
  Andreas Seyfang and Silvia Miksch and Cristina Polo-Conde and Jolanda Wittenberg and Mar Marcos and Kitty Rosenbrand AIME 146-150 (2005)
  to dblp by dblp on 2005-10-07 00:00:00
  | URL | BibTeX  
• Benefits of a Knowledge-based System for Parenteral Nutrition Support: a Report after 5 Years of Routine Daily Use.
  Werner Horn and Christian Popow and Silvia Miksch and Andreas Seyfang ECAI 613-617 (2002)
  to dblp by dblp on 2003-11-25 00:00:00
  | URL | BibTeX  
• Continual Planning with Time-Oriented, Skeletal Plans.
  Silvia Miksch and Andreas Seyfang ECAI 511-515 (2000)
  to dblp by dblp on 2003-06-30 00:00:00
  | URL | BibTeX  
• Abstracting Steady Qualitative Descriptions over Time from Noisy, High-Frequency Data.
  Silvia Miksch and Andreas Seyfang and Werner Horn and Christian Popow AIMDM 281-290 (1999)
  to dblp by dblp on 2003-01-14 00:00:00
  | URL | BibTeX  
• Smart Selective Competition Parallelism ATP.
  Geoff Sutcliffe and Darryl Seyfang FLAIRS Conference 341-345 (1999)
  to dblp by dblp on 2002-11-11 00:00:00
  | URL | BibTeX  
• Development and evaluation of VIE-PNN, a knowledge-based system for calculating the parenteral nutrition of newborn infants.
  Werner Horn and Christian Popow and Silvia Miksch and Lieselotte Kirchner and Andreas Seyfang Artificial Intelligence in Medicine 24 217-228 (2002)
  to dblp by dblp on 2002-06-18 00:00:00
  | URL | BibTeX