Concepedia

Henk Doornbos

HD

5

Publications

214

Citations

5

H-Index

1994

Active since

Affiliations

Eindhoven University of Technology(Current)

Henk Doornbos is an author at Eindhoven University of Technology specializing in automated reasoning, formal methods, and program analysis.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationEducationDiscrete MathematicsMathematics Teaching

Publications per year

1994–1997

5

Publications

5

Fixed-point calculus

C.J. Aarts, Roland Backhouse, Eerke Boiten et al. · Information Processing Letters · 1995 · 73 citations

A calculational approach to mathematical induction

Henk Doornbos, Roland Backhouse, Jaap van der Woude · Theoretical Computer Science · 1997 · 53 citations · Full text

Mathematics Education, Mathematical Induction, Automated Reasoning +5

Reductivity arguments and program construction

Henk Doornbos · Munich Personal RePEc Archive (Ludwig Maximilian University of Munich) · 1996 · 49 citations · Full text

Engineering, Automated Reasoning, Program Analysis +8

A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone Constructs

Henk Doornbos · IFIP International Conference on Programming Concepts and Methods · 1994 · 24 citations

Programming Language Theory, Relational Model, Declarative Programming +10

Henk Doornbos, Roland Backhouse · Science of Computer Programming · 1996 · 15 citations · Full text

Rows per page

1–5 of 5