Monica Nesi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Mechanizing a proof by induction of process algebra specifications in higher order logic	2024-04-29	Paper
A strategy to deal with divergent rewrite systems Conditional Term Rewriting Systems	2023-03-09	Paper
Formalizing and analyzing the Needham-Schroeder symmetric-key protocol by rewriting	2013-09-26	Paper
A rewriting strategy for protocol verification	2013-08-27	Paper
On structural properties of eta-expansions of identity Information Processing Letters	2009-04-28	Paper
scientific article; zbMATH DE number 5141412 (Why is no real title available?)	2007-04-10	Paper
Formalising a value-passing calculus in H0L Formal Aspects of Computing	2000-06-14	Paper
scientific article; zbMATH DE number 1231561 (Why is no real title available?)	1998-12-20	Paper
Deciding observational congruence of finite-state CCS expressions by rewriting Theoretical Computer Science	1997-02-28	Paper
Infinite normal forms for non-linear term rewriting systems Theoretical Computer Science	1997-02-27	Paper
scientific article; zbMATH DE number 176143 (Why is no real title available?)	1993-05-18	Paper
Complete sets of axioms for finite basic LOTOS behavioural equivalences Information Processing Letters	1993-01-16	Paper
A rewriting strategy to verify observational congruence Information Processing Letters	1990-01-01	Paper
scientific article; zbMATH DE number 4085007 (Why is no real title available?)	1988-01-01	Paper

Research outcomes over time

This page was built for person: Monica Nesi