Friedrich W. von Henke

Statistics

Publications

Citations

H-Index

Active since

1972

Affiliations

Case Western Reserve University(Current)

Friedrich W. von Henke is an author at Case Western Reserve University specializing in computer science, primitive recursive functions, and computing.

Publications per year

1972–2003

Publications

Formal verification for time-triggered clock synchronization

Holger Pfeifer, D. Schwier, Friedrich W. von Henke · 2003 · 60 citations

Computing, Computer Engineering, Computer Science +17

Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata.

Friedrich W. von Henke, Klaus Indermark, Klaus Weihrauch · International Colloquium on Automata, Languages and Programming · 1972 · 11 citations

Computing, Computer Science, Algorithms +12

On primitive recursive wordfunctions

Friedrich W. von Henke, Gene F. Rose, Klaus Indermark et al. · Computing · 1975 · 10 citations

Humanities, Computer Science, Syntax +4

1–3 of 3