# Monica Nesi

Affiliations:- University of L'Aquila, Italy

According to our database

Collaborative distances:

^{1}, Monica Nesi authored at least 25 papers between 1988 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### Online presence:

#### On csauthors.net:

## Bibliography

2021

CoRR, 2021

2006

Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting.

Nord. J. Comput., 2006

2005

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

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, 2005

2004

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

2003

Inf. Process. Lett., 2003

Proceedings of the 3rd International Workshop on Reduction Strategies in Rewriting and Programming, 2003

1999

Formal Aspects Comput., 1999

Adding sorts to TRSs: a result on modularity of termination.

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1997

Formalising process calculi in higher order logic.

PhD thesis, 1997

1996

Proceedings of the First International Workshop on Verification of Infinite State Systems, 1996

1995

Theor. Comput. Sci., 1995

Theor. Comput. Sci., 1995

1993

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

Proceedings of the Higher-Order Algebra, 1993

1992

Inf. Process. Lett., 1992

Formalizing a Modal Logic for CSS in the HOL Theorem Prover.

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1991

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

Mechanizing a Proof by Induction of Process Algebrs Specifications in Higher Order Logic.

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

On Rewriting Behavioral Semantics in Process Algebras.

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Inf. Process. Lett., 1990

1989

Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences.

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988