14
Publications
480
Citations
11
H-Index
1998
Active since
Massimo Benerecetti is an author at University of Naples Federico II specializing in engineering, systems engineering, and computer science.
Top concepts
EngineeringSystems EngineeringComputer ScienceBusinessAutomationFormal MethodsFormal VerificationGamesSemanticsGame Theory
Publications per year
1998–2019
14
14
Model checking multiagent systems
Massimo Benerecetti · Journal of Logic and Computation · 1998 · 118 citations
Analysis of Timed Recursive State Machines
Massimo Benerecetti, Stefano Minopoli, Adriano Peron · 2010 · 32 citations
Rows per page
1–5 of 14