BibSonomy :: author  ::

bookmarks

publications

(6)

• Kosten-Nutzen-Analyse zum Nachweis der Wirksamkeit gesundheitsrelevanter betrieblicher Maßnahmen
  {Brenda} Duelli (1997)
  to Gesundheitsförderung Kosten-Nutzen-Analyse Unternehmen by fbw on 2008-05-29 13:24:55
  | URL | BibTeX  
• Kundenorientierung beginnt bei der Mitarbeiterorientierung : Personalmanagement in der öffentichen Verwaltung ; vom Streben nach der Stabilisierung der Flexibilität
  {Martin} Duelli (1999)
  to imported by fbw on 2008-05-29 13:01:59
  | URL | BibTeX  
• Impact of Vertical Handovers on Cooperative Content Distribution Systems.
  Michael Duelli and Tobias Hoßfeld and Dirk Staehle Peer-to-Peer Computing 177-184 (2007)
  to dblp by dblp on 2008-02-27 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  
• Verifying Concurrent Systems with Symbolic Execution.
  Michael Balser and Christoph Duelli and Wolfgang Reif and Gerhard Schellhorn J. Log. Comput. 12 549-560 (2002)
  to dblp by dblp on 2003-12-22 00:00:00
  | URL | BibTeX  
• Experiences in the Formalisation and Verification of Medical Protocols.
  Mar Marcos and Michael Balser and Annette ten Teije and Frank van Harmelen and Christoph Duelli AIME 132-141 (2003)
  to dblp by dblp on 2003-11-27 00:00:00
  | URL | BibTeX