Concepedia

Author

HyoJung Han

Samsung (South Korea)

Also Known As

Han, HyoJung, Han, Hyojung, HyoJung Han, Hyojung Han

24

Publications

228

Citations

6

H-Index

14

Concepts

All Affiliations

Samsung (South Korea)
HH

About

HyoJung Han is an author at Samsung (South Korea) specializing in automated reasoning, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

40

2

Computer Science

2

2

40

3

Mathematical Foundations

1

1

11

4

Reasoning

1

1

11

5

Relational Queries

1

1

11

HyoJung Han

×

4

Publications

125

Citations

4

H-Index

YearCitations

Page 1