The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Monica Nesi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paola Inverardi, Monica Nesi
    Adding sorts to TRSs: a result on modularity of termination. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:273-288 [Conf]
  2. Paola Inverardi, Monica Nesi
    On Rewriting Behavioral Semantics in Process Algebras. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:108-116 [Conf]
  3. Rocco De Nicola, Paola Inverardi, Monica Nesi
    Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:54-67 [Conf]
  4. Monica Nesi
    Mechanizing a Proof by Induction of Process Algebrs Specifications in Higher Order Logic. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:288-298 [Conf]
  5. Stefania Gnesi, Paola Inverardi, Monica Nesi
    A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. [Citation Graph (0, 0)][DBLP]
    Concurrency, 1988, pp:181-196 [Conf]
  6. Paola Inverardi, Monica Nesi
    A Strategy to Deal with Divergent Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1992, pp:458-467 [Conf]
  7. Monica Nesi, Valeria de Paiva, Eike Ritter
    Rewriting Properties of Combinators for Rudimentary Linear Logic. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:256-275 [Conf]
  8. Paola Inverardi, Monica Nesi
    Infinite Normal Forms for Non-Linear Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:231-239 [Conf]
  9. Paola Inverardi, Fabio Mancinelli, Monica Nesi
    A declarative framework for adaptable applications in heterogeneous environments. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:1177-1183 [Conf]
  10. Albert John Camilleri, Paola Inverardi, Monica Nesi
    Combining Interaction and Automation in Process Algebra Verification. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:283-296 [Conf]
  11. Monica Nesi
    Formalizing a Modal Logic for CSS in the HOL Theorem Prover. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:279-294 [Conf]
  12. Monica Nesi
    Value-Passing CCS in HOL. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:352-365 [Conf]
  13. Monica Nesi
    Mechanising a modal logic for value-passing agents in HOL. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:5, n:, pp:- [Journal]
  14. Monica Nesi, Giuseppina Rucci
    Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:135, n:1, pp:95-114 [Journal]
  15. Monica Nesi, Giuseppina Rucci, Massimo Verdesca
    A rewriting strategy for protocol verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:4, pp:- [Journal]
  16. Monica Nesi
    Formalising a Value-Passing Calculus in HOL. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:2, pp:160-199 [Journal]
  17. Michele Boreale, Paola Inverardi, Monica Nesi
    Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1992, v:43, n:3, pp:155-160 [Journal]
  18. Benedetto Intrigila, Monica Nesi
    On structural properties of eta-expansions of identity. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2003, v:87, n:6, pp:327-333 [Journal]
  19. Paola Inverardi, Monica Nesi
    A Rewriting Strategy to Verify Observational Congruence. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1990, v:35, n:4, pp:191-199 [Journal]
  20. Paola Inverardi, Monica Nesi
    Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:139, n:1&2, pp:315-354 [Journal]
  21. Paola Inverardi, Monica Nesi
    Infinite Normal Forms for Non-Linear Term Rewritting Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:152, n:2, pp:285-303 [Journal]

Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002