Concepedia
Statistics
Publications
14
Citations
309
H-Index
12
Active since
1998
Affiliations
University of Bremen(Current)
German Research Centre for Artificial Intelligence
University of Leicester
University of Edinburgh
Christoph Lüth is an author at University of Bremen specializing in engineering, formal verification, and automated reasoning.
Top concepts
EngineeringFormal VerificationFormal MethodsComputer ScienceAutomated ReasoningVerificationProgram AnalysisSoftware AnalysisFormal SpecificationDesign
Publications per year
1998–2023
Composing monads using coproducts
Christoph Lüth, Neil Ghani · 2002 · 56 citations
Syntax, Engineering, Automated Reasoning +14
Guaranteeing functional safety: design for provability and computer-aided verification
Holger Täubig, Udo Frese, Christoph Hertzberg et al. · Autonomous Robots · 2011 · 42 citations
Safety-critical System, Engineering, Verification +8
On Wilhelm von Humboldt's Theory of Bildung Dedicated to Wolfgang Klafki for his 70th birthday
Christoph Lüth · Journal of Curriculum Studies · 1998 · 37 citations
History Of Science, German Educational Theory, Wilhelm Von Humboldt +10
Algebras, Coalgebras, Monads and Comonads
Neil Ghani, Christoph Lüth, Federico De Marchi et al. · Electronic Notes in Theoretical Computer Science · 2001 · 26 citations · Full text
Algebraic Logic, Final Coalgebras, Automated Reasoning +7
Functional design and implementation of graphical user interfaces for theorem provers
Christoph Lüth, Burkhart Wolff · Journal of Functional Programming · 1999 · 19 citations
Engineering, Verification, Theorem Provers +21
1–5 of 14