Concepedia

Monica Nesi

MN

Statistics

Publications

5

Citations

67

H-Index

5

Active since

1990

Affiliations

Consorzio Pisa Ricerche(Current)

University of L'Aquila

Monica Nesi is an author at Consorzio Pisa Ricerche specializing in computing, formal methods, and computer science.

Publications per year

1990–2005

5

Publications

5

A declarative framework for adaptable applications in heterogeneous environments

Paola Inverardi, Fabio Mancinelli, Monica Nesi · 2004 · 20 citations

, , +14

A rewriting strategy to verify observational congruence

Paola Inverardi, Monica Nesi · Information Processing Letters · 1990 · 14 citations

, , +5

Formalising a Value-Passing Calculus in HOL

Monica Nesi · Formal Aspects of Computing · 1999 · 12 citations

, , +9

Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting

Monica Nesi, Giuseppina Rucci · Electronic Notes in Theoretical Computer Science · 2005 · 11 citations · Full text

, , +16

Deciding observational congruence of finite-state CCS expressions by rewriting

Paola Inverardi, Monica Nesi · Theoretical Computer Science · 1995 · 10 citations

, , +7

1–5 of 5