Monica Nesi

Publication Activity (10 Years)

Years Active: 1988-2021
Publications (10 Years): 1

Top Venues

CoRR

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Karthik Vaidhyanathan, Antonio Bruno, Eleonora Mendola, Filippo Mignosi, Mahyar Tourchi Moghaddam, Henry Muccini, Monica Nesi
A Service for Supporting Digital and Immersive Cultural Experiences. CoRR (2021)
Monica Nesi, Giustina Nocera
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting. Nord. J. Comput. 13 (1-2) (2006)
Monica Nesi, Giuseppina Rucci
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting. Electron. Notes Theor. Comput. Sci. 135 (1) (2005)
Paola Inverardi, Fabio Mancinelli, Monica Nesi
A declarative framework for adaptable applications in heterogeneous environments. SAC (2004)
Benedetto Intrigila, Monica Nesi
On structural properties of eta-expansions of identity. Inf. Process. Lett. 87 (6) (2003)
Monica Nesi, Giuseppina Rucci, Massimo Verdesca
A rewriting strategy for protocol verification. Electron. Notes Theor. Comput. Sci. 86 (4) (2003)
Paola Inverardi, Monica Nesi
Adding sorts to TRSs: a result on modularity of termination. APPIA-GULP-PRODE (1999)
Monica Nesi
Formalising a Value-Passing Calculus in HOL. Formal Aspects Comput. 11 (2) (1999)
Monica Nesi
Mechanising a modal logic for value-passing agents in HOL. INFINITY (1996)
Paola Inverardi, Monica Nesi
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting. Theor. Comput. Sci. 139 (1&2) (1995)
Paola Inverardi, Monica Nesi
Infinite Normal Forms for Non-Linear Term Rewritting Systems. Theor. Comput. Sci. 152 (2) (1995)
Monica Nesi, Valeria de Paiva, Eike Ritter
Rewriting Properties of Combinators for Rudimentary Linear Logic. HOA (1993)
Monica Nesi
Value-Passing CCS in HOL. HUG (1993)
Monica Nesi
Formalizing a Modal Logic for CSS in the HOL Theorem Prover. TPHOLs (1992)
Michele Boreale, Paola Inverardi, Monica Nesi
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. Inf. Process. Lett. 43 (3) (1992)
Paola Inverardi, Monica Nesi
A Strategy to Deal with Divergent Rewrite Systems. CTRS (1992)
Monica Nesi
Mechanizing a Proof by Induction of Process Algebrs Specifications in Higher Order Logic. CAV (1991)
Paola Inverardi, Monica Nesi
Infinite Normal Forms for Non-Linear Term Rewriting Systems. MFCS (1991)
Paola Inverardi, Monica Nesi
On Rewriting Behavioral Semantics in Process Algebras. AMAST (1991)
Rocco De Nicola, Paola Inverardi, Monica Nesi
Equational reasoning about LOTOS specifications: a rewriting approach. IWSSD (1991)
Albert John Camilleri, Paola Inverardi, Monica Nesi
Combining Interaction and Automation in Process Algebra Verification. TAPSOFT, Vol.2 (1991)
Paola Inverardi, Monica Nesi
A Rewriting Strategy to Verify Observational Congruence. Inf. Process. Lett. 35 (4) (1990)
Rocco De Nicola, Paola Inverardi, Monica Nesi
Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. Automatic Verification Methods for Finite State Systems (1989)
Stefania Gnesi, Paola Inverardi, Monica Nesi
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. Concurrency (1988)

Monica Nesi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Monica Nesi