Jesper G. Henriksen - Concepedia

Author

Jesper G. Henriksen

Also Known As

JESPER GULMANN HENRIKSEN, Jesper G. Henriksen, Jesper Gulmann Henriksen, Martin Leucker

Publications

794

Citations

H-Index

Concepts

All Affiliations

Jesper G. Henriksen is an author at Chennai Mathematical Institute specializing in engineering, formal methods, and automated reasoning.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	195
2	Computer Science	4	4	195
3	Linguistics	2	2	111
4	Systems Engineering	2	2	39
5	Computer Engineering	1	1	15

Jesper G. Henriksen

Publications

282

Citations

H-Index

Page 1

Page 1