Concepedia

Christoph Klauck

CK

4

Publications

78

Citations

4

H-Index

1991

Active since

Affiliations

University of Bremen(Current)

Christoph Klauck is an author at University of Bremen specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsImage AnalysisMachine VisionComputer VisionSoftware DesignComputer ScienceAutomated ReasoningPattern RecognitionComputer-aided Design

Publications per year

1991–1997

4

Publications

4

Image retrieval for information systems

Thorsten Hermes, Christoph Klauck, J. Zhang · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 1995 · 45 citations

Image Analysis, Information Retrieval, Data Science +15

Formal business process engineering based on graph grammars

Christoph Klauck, H Muller · International Journal of Production Economics · 1997 · 12 citations

Engineering, Graph Theory, Automated Reasoning +9

FEAT-REP : representing features in CAD/CAM

Christoph Klauck, Ansgar Bernardi, Ralf Legleitner · Publications of the UdS (Saarland University) · 1991 · 11 citations · Full text

Engineering, Computer-aided Design, Semantics +27

PIM — Skeletal plan-based CAPP

Ansgar Bernardi, Ralf Legleitner, Christoph Klauck · Computers in Industry · 1993 · 10 citations

Engineering, Biomechanics, Mechanical Engineering +4

Rows per page

1–4 of 4