IMT Alti Studi Lucca - Lucca Institute for Advanced Studies Home  »  Who's at IMT  »  Maria Grazia Buscemi
Text size: [+]  [-]  [R]

Maria Grazia Buscemi
Marzia Buscemi
Marzia Buscemi

Journal Papers

A Survey of Constraint-based Programming Paradigms
Maria Grazia Buscemi and Ugo Montanari
2008
Computer Science Review
2(3)
137-141
Elsevier
http://dx.doi.org/10.1016/j.cosrev.2008.10.001

A Compositional Coalgebraic Model of Fusion Calculus
http://dx.doi.org/10.1016/j.jlap.2007.05.001
Maria Grazia Buscemi and Ugo Montanari
2007
Journal of Logic and Algebraic Programming
72(1)
78--97
Elsevier

A Method for Symbolic Analysis of Security Protocols
Michele Boreale and Maria Grazia Buscemi
2005
Theoretical Computer Science
338(1-3)
393--425
Elsevier
Personal Information
PhD Program
Computer Science and Engineering
Email Addresses
m.buscemi@imtlucca.it
IMT is not responsible for the contents of this page, which are under the exclusive control of Maria Grazia Buscemi.