Concepedia

Karsten Homann

KH

2

Publications

79

Citations

2

H-Index

1995

Active since

Affiliations

Karlsruhe Institute of Technology(Current)

Karsten Homann is an author at Karlsruhe Institute of Technology specializing in computational complexity, automated reasoning, and engineering.

Top concepts

EngineeringComputer ScienceAutomated ReasoningComputational ComplexityVerificationFormal MethodsAlgorithm DesignProof ComplexitySoftware AnalysisFormal Verification

Publications per year

1995–1999

2

Publications

2

Theorems and algorithms

Clemens Ballarin, Karsten Homann, Jacques Calmet · 1995 · 65 citations

Engineering, Automated Reasoning, Algorithm Design +6

Specification and Integration of Theorem Provers and Computer Algebra Systems

Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia et al. · Fundamenta Informaticae · 1999 · 14 citations

Mathematical Programming, Engineering, Computer Algebra Systems +16

Rows per page

1–2 of 2