Concepedia

Author

Gergely Héja

Also Known As

G Héja, G. Heja, G. Héja, Gergely Heja, Gergely Héja, Héja G, Heja Gergely

16

Publications

100

Citations

6

H-Index

7

Concepts

All Affiliations

GH

About

Gergely Héja is an author at Szent János Kórház specializing in formal verification, natural sciences, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

18

2

Natural Sciences

1

1

18

3

Physics

1

1

18

4

Automated Reasoning

1

1

18

5

Formal Methods

1

1

18

Gergely Héja

×

2

Publications

63

Citations

2

H-Index

YearCitations

Page 1