Concepedia

Margherita Napoli

MN

Statistics

Publications

9

Citations

160

H-Index

9

Active since

1998

Affiliations

University of Salerno(Current)

University of Pennsylvania

Philadelphia University

Margherita Napoli is an author at University of Salerno specializing in computer science, computing, and formal methods.

Publications per year

1998–2020

9

Publications

9

On a Logic for Coalitional Games with Priced-Resource Agents

Dario Della Monica, Margherita Napoli, Mimmo Parente · Electronic Notes in Theoretical Computer Science · 2011 · 33 citations · Full text

Computing, Computer Science, Game Theory +12

Scope-Bounded Pushdown Languages

Salvatore La Torre, Margherita Napoli, Gennaro Parlato · International Journal of Foundations of Computer Science · 2016 · 22 citations

Computing, Computer Science, Formal Methods +16

Verification of scope-dependent hierarchical state machines

Salvatore La Torre, Margherita Napoli, Mimmo Parente et al. · Information and Computation · 2008 · 20 citations

Computing, Computer Engineering, Computer Science +12

Synchronization of a Line of Identical Processors at a Given Time

Salvatore La Torre, Margherita Napoli · Fundamenta Informaticae · 1998 · 19 citations

Computing, Computer Engineering, Computer Science +12

Model Checking for Graded CTL

Alessandro Ferrante, Margherita Napoli, Mimmo Parente · Fundamenta Informaticae · 2009 · 18 citations

Computing, Computer Science, Mathematics +12

1–5 of 9