BibSonomy :: author  ::

bookmarks

publications

(29)

• Fremdbezugskalkulation in der Industrie
  {Christian} Claßen (1995)
  to imported by fbw on 2008-05-30 16:42:01
  | URL | BibTeX  
• A Situation-Calculus Semantics for an Expressive Fragment of PDDL.
  Jens Claßen and Yuxiao Hu and Gerhard Lakemeyer AAAI 956-961 (2007)
  to dblp by dblp on 2007-09-05 00:00:00
  | URL | BibTeX  
• Towards an Integration of Golog and Planning.
  Jens Claßen and Patrick Eyerich and Gerhard Lakemeyer and Bernhard Nebel IJCAI 1846-1851 (2007)
  to dblp by dblp on 2007-03-05 00:00:00
  | URL | BibTeX  
• Foundations for Knowledge-Based Programs using ES.
  Jens Claßen and Gerhard Lakemeyer KR 318-318 (2006)
  to dblp by dblp on 2006-06-09 00:00:00
  | URL | BibTeX  
• Herzinfarktregister: Interne Qualitätskontrolle.
  L. Heinemann and H. Löwel and E. Claßen and W. Barth and G. Voigt and D. Quietzsch and S. Brasche and S. Böthig GMDS 598-600 (1994)
  to dblp by dblp on 2005-05-11 00:00:00
  | URL | BibTeX  
• Graphs in METAFrame: The Unifying Power of Polymorphism.
  Michael von der Beeck and Volker Braun and Andreas Claßen and Achim Dannecker and Carsten Friedrich and Dirk Koschützki and Tiziana Margaria and Falk Schreiber and Bernhard Steffen TACAS 112-129 (1997)
  to dblp by dblp on 2004-08-24 00:00:00
  | URL | BibTeX  
• CUI to GUI Migration: Static Analysis of Character-Based Panels.
  Ingo Claßen and Klaus Hennig and Ingo Mohr and Michael Schulz CSMR 144-149 (1997)
  to dblp by dblp on 2004-05-07 00:00:00
  | URL | BibTeX  
• Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications.
  Hartmut Ehrig and Bernd Mahr and Ingo Claßen and Fernando Orejas Comput. J. 35 468-477 (1992)
  to dblp by dblp on 2003-11-24 00:00:00
  | URL | BibTeX  
• Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.
  Hartmut Ehrig and Bernd Mahr and Ingo Claßen and Fernando Orejas Comput. J. 35 460-467 (1992)
  to dblp by dblp on 2003-11-24 00:00:00
  | URL | BibTeX  
• Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems.
  Hartmut Ehrig and Ingo Claßen Bulletin of the EATCS 40 172-181 (1990)
  to dblp by dblp on 2003-07-08 00:00:00
  | URL | BibTeX