About PROFESSOR Adriana Compagnoni
Education
Ph.D., Computer Science, University of Texas at Austin, 1992
B.A., Computer Science, University of Texas at Austin, 1982
Research
Visit my website at http://www.cs.stevens.edu/~abc
Honors & Awards
NSF CAREER 2001
Professional Societies
ACM Member
IEEE Member
Professional Service
Consulting Service
Microsoft Research
Honors & Awards
Appointments
Grants, Contracts & Funds
Selected Publications
Conference Proceedings
- 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).
- 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 .
Book Chapters
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
Contact
Building: Babbio Center
Room: 635
Phone: 201.216.5046
Fax: 201.216.8249
Email: abc@cs.stevens.edu
Hexo