Monica Nesi Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2006
j10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Monica Nesi, Giustina Nocera: Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting. Nord. J. Comput. 13(1-2): 78-97 (2006)
2005
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Monica Nesi, Giuseppina Rucci: Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting. Electr. Notes Theor. Comput. Sci. 135(1): 95-114 (2005)
2004
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paola Inverardi, Fabio Mancinelli, Monica Nesi: A declarative framework for adaptable applications in heterogeneous environments. SAC 2004: 1177-1183
2003
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Monica Nesi, Giuseppina Rucci, Massimo Verdesca: A rewriting strategy for protocol verification. Electr. Notes Theor. Comput. Sci. 86(4): 657-672 (2003)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benedetto Intrigila, Monica Nesi: On structural properties of eta-expansions of identity. Inf. Process. Lett. 87(6): 327-333 (2003)
1999
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Monica Nesi: Formalising a Value-Passing Calculus in HOL. Formal Asp. Comput. 11(2): 160-199 (1999)
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paola Inverardi, Monica Nesi: Adding sorts to TRSs: a result on modularity of termination. APPIA-GULP-PRODE 1999: 273-288
1996
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Monica Nesi: Mechanising a modal logic for value-passing agents in HOL. Electr. Notes Theor. Comput. Sci. 5: 31-46 (1996)
1995
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paola Inverardi, Monica Nesi: Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting. Theor. Comput. Sci. 139(1&2): 315-354 (1995)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paola Inverardi, Monica Nesi: Infinite Normal Forms for Non-Linear Term Rewritting Systems. Theor. Comput. Sci. 152(2): 285-303 (1995)
1993
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Monica Nesi, Valeria de Paiva, Eike Ritter: Rewriting Properties of Combinators for Rudimentary Linear Logic. HOA 1993: 256-275
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Monica Nesi: Value-Passing CCS in HOL. HUG 1993: 352-365
1992
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michele Boreale, Paola Inverardi, Monica Nesi: Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. Inf. Process. Lett. 43(3): 155-160 (1992)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paola Inverardi, Monica Nesi: A Strategy to Deal with Divergent Rewrite Systems. CTRS 1992: 458-467
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Monica Nesi: Formalizing a Modal Logic for CSS in the HOL Theorem Prover. TPHOLs 1992: 279-294
1991
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paola Inverardi, Monica Nesi: On Rewriting Behavioral Semantics in Process Algebras. AMAST 1991: 108-116
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Monica Nesi: Mechanizing a Proof by Induction of Process Algebrs Specifications in Higher Order Logic. CAV 1991: 288-298
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paola Inverardi, Monica Nesi: Infinite Normal Forms for Non-Linear Term Rewriting Systems. MFCS 1991: 231-239
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Albert John Camilleri, Paola Inverardi, Monica Nesi: Combining Interaction and Automation in Process Algebra Verification. TAPSOFT, Vol.2 1991: 283-296
1990
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paola Inverardi, Monica Nesi: A Rewriting Strategy to Verify Observational Congruence. Inf. Process. Lett. 35(4): 191-199 (1990)
1989
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 54-67
1988
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stefania Gnesi, Paola Inverardi, Monica Nesi: A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. Concurrency 1988: 181-196

Coauthor Index

1Michele Boreale
[j2]
2Albert John Camilleri
[c3]
3Stefania Gnesi
[c1]
4Benedetto Intrigila
[j7]
5Paola Inverardi
[c12] [c11] [j4] [j3] [j2] [c8] [c6] [c4] [c3] [j1] [c2] [c1]
6Fabio Mancinelli
[c12]
7Rocco De Nicola
[c2]
8Giustina Nocera
[j10]
9Valeria de Paiva
[c10]
10Eike Ritter
[c10]
11Giuseppina Rucci
[j9] [j8]
12Massimo Verdesca
[j8]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 03:03:52 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page