faculty profile

Adriana Compagnoni

ASSOCIATE PROFESSOR
Building: Lieb
Room: 312
Phone: 201.216.5046
Fax: 201.216.8249
Email: abc@cs.stevens.edu
Research
Visit my website at http://www.cs.stevens.edu/~abc
Honors & Awards
NSF CAREER 2001
Professional Societies

ACM Member

IEEE Member 

Selected Publications
Conference Proceedings
  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  .
Journals
  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  .
Courses
  • CS 496 Principles of Programming Languages
  • CS 510 Principles of Programming Languages
  • CH 691 Introduction to Systems Biology
  • CS 691 Introduction to Systems Biology