IRIS

NESI, MONICA

NESI, MONICA  

Dipartimento di Ingegneria e scienze dell'informazione e matematica  

Mostra records
Risultati 1 - 20 di 34 (tempo di esecuzione: 0.055 secondi).
Titolo Data di pubblicazione Autore(i) File
Proceedings of SecReT'07 - Workshop on Security and Rewriting Techniques, Paris, June 2007 1-gen-2007 Nesi, Monica; Treinen, R.
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting 1-gen-2006 Nesi, Monica; G., Nocera
Specification and Analysis of Security Protocols by Rewriting 1-gen-2006 Nesi, Monica
Formalization and Verification of Security Protocols by Rewriting 1-gen-2005 Nesi, Monica; Nocera, G.
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting 1-gen-2005 Nesi, Monica; Rucci, G.
On Rewriting Protocol Specifications 1-gen-2004 Nesi, Monica; Rucci, G; Verdesca, M.
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 1-gen-2004 Inverardi, Paola; Mancinelli, F; Nesi, Monica
On Structural Properties of Eta-expansions of Identity 1-gen-2003 Intrigila, B.; Nesi, Monica
A Rewriting Strategy for Protocol Verification 1-gen-2003 Nesi, Monica; Rucci, G.; Verdesca, M.
On the Complexity of Deciding the Derivation Length in Term Rewriting Systems 1-gen-2003 Flammini, Michele; Inverardi, Paola; Mango, D; Nesi, Monica
A Rewriting Strategy for Protocol Verification (Extended Abstract) 1-gen-2003 Nesi, Monica; Rucci, G.; Verdesca, M.
Formalising a Value-Passing Calculus in HOL 1-gen-1999 Nesi, Monica
Adding sorts to TRSs: a result on modularity of termination 1-gen-1999 Inverardi, Paola; Nesi, Monica
Mechanising a Modal Logic for Value-Passing Agents in HOL 1-gen-1997 Nesi, Monica
Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis 1-gen-1997 Nesi, Monica
Reasoning about Value-Passing Calculi in HOL 1-gen-1996 Nesi, Monica
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 1-gen-1995 Inverardi, Paola; Nesi, Monica
Infinite Normal Forms for Non-linear Term Rewriting Systems 1-gen-1995 Inverardi, Paola; Nesi, Monica
Infinite Normal Forms for Non-Linear Term Rewritting Systems 1-gen-1995 Inverardi, Paola; Nesi, Monica
Value-Passing CCS in HOL 1-gen-1994 Nesi, Monica