Adriana Compagnoni

ASSOCIATE PROFESSOR Building: Lieb Room: 312 Phone: 201.216.5046 Fax: 201.216.8249 Email: abc@cs.stevens.edu

1. Yifei Bao, Adriana Compagnoni, Joseph Glavy, and Tommy White. (Aug 23-24, 2010). "Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors", 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany (MeCBIC 2010).
2. Eduardo Bonelli and Adriana Compagnoni. (Nov 2007). "Multipoint Session Types for a Distributed Calculus", Proceedings of Trustworthy Global Computing 2007.  Link  .

1. Philippe Bidinger, and Adriana Compagnoni. (Feb 2009). "Pict Correctness Revisited", Theoretical Computer Science, Elsevier. 410 (2-3), 114-127.  link  .
2. Philippe Bidinger and Adriana Compagnoni. (Feb 2009). "Pict Correctness Revisited", Theoretical Computer Science, 2-3 (410), 114-127.  Link  .
3. Adriana Compagnoni and Healfdene Goguen (Guest Editors). (Oct 2008). "Theory and Applications of Subtyping: Introduction", Mathematical Structures in Computer Science, Cambridge University Press. 18 (5), 795-796.
4. Adriana Compagnoni, Elsa L. Gunter, and Philippe Bidinger. (May 2008). "Role-based Access Control for Boxed Ambients", Theoretical Computer Science, Festschrift in Honor of Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca. 398 (1-3), 203-216.  Link  .
5. Adriana Compagnoni and Healfdene Goguen. (Dec 2007). "Subtyping a la Church", Festschrift in Honor of Henk Barendregt, Radboud University Nijmegen.  Link  .

• CS 496 Principles of Programming Languages
• CS 510 Principles of Programming Languages
• CH 691 Introduction to Systems Biology
• CS 691 Introduction to Systems Biology