italiano | contact
PUBLICATIONS

Special Issues/Journals/Books Proceedings Chapter Technical Report

1   |   2      »      

2004

M. Nesi, G. Rucci, M. Verdesca. On Rewriting Protocol Specifications, International Workshop on Security Analysis of Systems: Formalisms and Tools - SASYFT2004

2003

B. Intrigila and M. Nesi. On Structural Properties of Eta-expansions of Identity, Information Processing Letters (87):6, pagg. 327-333

M. Nesi, G. Rucci, M. Verdesca. A Rewriting Strategy for Protocol Verification, WRS'03, pagg. 65-78

M. Flammini, P. Inverardi, D. Mango and M. Nesi. On the Complexity of Deciding the Derivation Length in Term Rewriting Systems, WST'03 - Valencia

1999

M. Nesi. Formalising a Value-Passing Calculus in HOL, Formal Aspects of Computing (11):, pagg. 160-199

P. Inverardi and M. Nesi. Adding sorts to TRSs: a result on modularity of termination, APPIA-GULP-PRODE'99, pagg. 273-288

P. Inverardi, M. Nesi e M. Venturini Zilli. Sistemi di Riscrittura per Termini del Prim'Ordine, Dip. Matematica Pura ed Applicata, Univ. di L'Aquila, Tech. Report 1999/35

1998

M. Nesi e M. Venturini Zilli. Sistemi di riduzione astratti, Facolta' di Scienze MM.FF.NN., Univ. "La Sapienza" di Roma, Tech. Report 1998/SI-98/06

1997

M. Nesi. Mechanising a Modal Logic for Value-Passing Agents in HOL, International Workshop `Infinity' on Verification of Infinite State Systems, ENTCS

M. Nesi. Formalising Process Calculi in Higher Order Logic, Computer Laboratory, University of Cambridge, Tech. Report 1997/411

1996

M. Nesi. Reasoning about Value-Passing Calculi in HOL, 5th Italian Conference on Theoretical Computer Science, pagg. 434-450

1995

P. Inverardi and M. Nesi. Infinite Normal Forms for Non-linear Term Rewriting Systems, Theoretical Computer Science (152):, pagg. 285-303

P. Inverardi and M. Nesi. Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting, Theoretical Computer Science (139):, pagg. 315-354

1994

M. Nesi, V. de Paiva and E. Ritter. Rewriting Properties of Combinators for Rudimentary Linear Logic, International Workshop on Higher Order Algebra, Logic and Term Rewriting - HOA'93, Lecture Notes in Computer Science, pagg. 256-275

1993

M. Nesi. Value-Passing CCS in HOL, 6th International Workshop on Higher Order Logic Theorem Proving and its Applications, Lecture Notes in Computer Science, pagg. 352-365

M. Nesi. Formalizing a Modal Logic for CCS in the HOL Theorem Prover, International Workshop on Higher Order Logic Theorem proving and Its Applications, IFIP Transactions, pagg. 279-294

P. Inverardi and M. Nesi. A Strategy to Deal with Divergent Rewrite Systems, 3rd International Workshop on Conditional Term Rewriting Systems - CTRS'92, Lecture Notes in Computer Science, pagg. 458-467

1992

M. Boreale, P. Inverardi and M. Nesi. Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences, Information Processing Letters (43):3, pagg. 155-160

P. Inverardi and M. Nesi. On Dealing with Divergent Rewrite Systems, 4th Italian Conference on Theoretical Computer Science, pagg. 256-257

M. Nesi. Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic, 3rd Workshop on Computer Aided Verification 1991, Lecture Notes in Computer Science, pagg. 288-298

 
 
 
 

Organization

Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›
 
 
 
 

Publications

Numerous articles published in international scientific journals, books, and ...

continua ›
 
 
 
 

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›