Richard P. Hopkins - Concepedia

Author

Richard P. Hopkins

Also Known As

R. P. Hopkins, Richard Hopkins, Richard P. Hopkins

Publications

647

Citations

H-Index

Concepts

All Affiliations

Richard P. Hopkins is an author at Newcastle University specializing in engineering, system software, and formal methods.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	104
2	Computer Engineering	3	3	49
3	Computer Science	3	3	94
4	Systems Engineering	2	2	26
5	Computer Architecture	2	2	39

Richard P. Hopkins

Publications

104

Citations

H-Index

Page 1

	Year	Citations
M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages Eike Best, Wojciech Frączak, Richard P. Hopkins, Acta Informatica Petri NetConcurrent Programming LanguagesEngineeringProgram AnalysisAutomated Reasoning	1998	55
A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2 Eike Best, Hans Fleischhack, Wojciech Frączak, Applications and Theory of Petri Nets Petri NetComputational LogicFormal SpecificationEngineeringAutomated Reasoning	1995	23
A recursive computer architecture for VLSI Philip Treleaven, Richard P. Hopkins ACM SIGARCH Computer Architecture News EngineeringComputer ArchitectureSoftware EngineeringRecursive Control FlowProcessor Architecture	1982	16
Two approaches to integrating UML and performance models Richard P. Hopkins, M. J. A. Smith, Peter J. B. King EngineeringComputer EngineeringSystems EngineeringSoftware EngineeringAbstract Object Theory	2002	10

Page 1