Jesus Martinez‐Garcia

Author

Also Known As

Jesus Martinez, Jesus Martinez-Garcia, Jesus Martinez‐Garcia, Jesús Martinez, Jesús Martínez, Martinez Garcia, Jesus, Martinez, Jesus, Martinez-Garcia Jesus, Martinez-Garcia, Jesus

Publications

302

Citations

H-Index

Concepts

All Affiliations

Universidad de Málaga

About

Jesus Martinez‐Garcia is an author at Universidad de Málaga specializing in engineering, formal methods, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	119
2	Systems Engineering	5	5	79
3	Computer Science	4	4	63
4	Computer Engineering	1	1	18
5	Compilers	1	1	13

Jesus Martinez‐Garcia

Publications

119

Citations

H-Index

Page 1

	Year	Citations

Page 1