Gerard J. Holzmann - Concepedia

Author

Gerard J. Holzmann

Also Known As

G. Holzmann, G. J. Holzmann, G.J. Holzmann, Gerard Holzmann, Gerard J Holzmann, Gerard J. Holzmann, Gerard_J. Holzmann, Holzmann, Gerard, Holzmann, Gerard J.

136

Publications

6.9K

Citations

H-Index

Concepts

All Affiliations

Nokia (United States)AT&T (United States)Jet Propulsion Laboratory Mathematical Sciences Research Institute Reliable Software Resources (United States)

About

Gerard J. Holzmann is an author at Nokia (United States) specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	25	37	2.2K
2	Computer Science	25	31	2K
3	Computer Engineering	12	13	755
4	Data Science	2	2	209
5	Space Engineering	1	1	88

Gerard J. Holzmann

Publications

2.8K

Citations

H-Index

Page 1

	Year	Citations

Page 1