Henk Doornbos - Concepedia

Author

Henk Doornbos

Also Known As

Doornbos, H Henk, Doornbos, H., Henk Doornbos

Publications

253

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	73
2	Computer Science	2	2	73
3	Software Analysis	2	2	73
4	Education	1	1	53
5	Mathematics Education	1	1	53

Henk Doornbos

Publications

214

Citations

H-Index

Page 1

	Year	Citations
Fixed-point calculus C.J. Aarts, Roland Backhouse, Eerke Boiten, Information Processing Letters	1995	73
A calculational approach to mathematical induction Henk Doornbos, Roland Backhouse, Jaap van der Woude Theoretical Computer Science Mathematics EducationMathematical InductionAutomated ReasoningEducationMathematical Proof	1997	53
Reductivity arguments and program construction Henk Doornbos Munich Personal RePEc Archive (Ludwig Maximilian University of Munich) EngineeringAutomated ReasoningProgram AnalysisAbstract InterpretationFormal Methods	1996	49
A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone Constructs Henk Doornbos IFIP International Conference on Programming Concepts and Methods Programming Language TheoryRelational ModelDeclarative ProgrammingEngineeringAutomated Reasoning	1994	24
Reductivity Henk Doornbos, Roland Backhouse Science of Computer Programming	1996	15

Page 1