Monica Nesi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2006

Deriving the Type Flaw Attacks in the Otway-Rees Protocol by RewritingMonica Nesi, Giustina Nocera. njc, 13(1-2):78-97, 2006.

2005

Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by RewritingMonica Nesi, Giuseppina Rucci. ENTCS, 135(1):95-114, 2005. [doi]

2004

A declarative framework for adaptable applications in heterogeneous environmentsPaola Inverardi, Fabio Mancinelli, Monica Nesi. SAC 2004: 1177-1183 [doi]

2003

On structural properties of eta-expansions of identityBenedetto Intrigila, Monica Nesi. ipl, 87(6):327-333, 2003. [doi]

A rewriting strategy for protocol verificationMonica Nesi, Giuseppina Rucci, Massimo Verdesca. ENTCS, 86(4):657-672, 2003. [doi]

1999

Adding sorts to TRSs: a result on modularity of terminationPaola Inverardi, Monica Nesi. agp 1999: 273-288

Formalising a Value-Passing Calculus in HOLMonica Nesi. fac, 11(2):160-199, 1999. [doi]

1997

Formalising process calculi in higher order logicMonica Nesi. PhD thesis, University of Cambridge, UK, 1997.

1996

Mechanising a modal logic for value-passing agents in HOLMonica Nesi. ENTCS, 5:31-46, 1996. [doi]

1995

Infinite Normal Forms for Non-Linear Term Rewritting SystemsPaola Inverardi, Monica Nesi. TCS, 152(2):285-303, 1995. [doi]

Deciding Observational Congruence of Finite-State CCS Expressions by RewritingPaola Inverardi, Monica Nesi. TCS, 139(1&2):315-354, 1995. [doi]

1993

Value-Passing CCS in HOLMonica Nesi. tphol 1994: 352-365

Rewriting Properties of Combinators for Rudimentary Linear LogicMonica Nesi, Valeria de Paiva, Eike Ritter. hoa 1994: 256-275

1992

Complete Sets of Axioms for Finite Basic LOTOS Behavioural EquivalencesMichele Boreale, Paola Inverardi, Monica Nesi. ipl, 43(3):155-160, 1992.

A Strategy to Deal with Divergent Rewrite SystemsPaola Inverardi, Monica Nesi. ctrs 1993: 458-467

Formalizing a Modal Logic for CSS in the HOL Theorem ProverMonica Nesi. tphol 1993: 279-294

1991

1990

A Rewriting Strategy to Verify Observational CongruencePaola Inverardi, Monica Nesi. ipl, 35(4):191-199, 1990.

1989

Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS SpecificationsRocco De Nicola, Paola Inverardi, Monica Nesi. avmfss 1990: 54-67

1988

A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural EquivalencesStefania Gnesi, Paola Inverardi, Monica Nesi. concur 1988: 181-196

Sign in or sign up to see more results.

runs on WebDSL