Concepedia

Jukka Hekanaho

JH

3

Publications

60

Citations

3

H-Index

1993

Active since

Affiliations

Turku Centre for Computer Science(Current)

Åbo Akademi University

Jukka Hekanaho is an author at Turku Centre for Computer Science specializing in computer science, automated reasoning, and software design.

Top concepts

Publications per year

1993–1997

3

Publications

3

Mechanizing some advanced refinement concepts

Joakim Wright, Jukka Hekanaho, P. Luostarinen et al. · Formal Methods in System Design · 1993 · 23 citations

, , +8

Background Knowledge in GA-based Concept Learning

Jukka Hekanaho · 1996 · 20 citations

GA-based rule enhancement in concept learning

Jukka Hekanaho · 1997 · 17 citations

Rows per page

1–3 of 3