Adriana Compagnoni

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A calculus of located entities	2021-06-22	Paper
A calculus of located entities (available as arXiv preprint)	2021-06-22	Paper
Relating Church-style and Curry-style subtyping	2021-03-03	Paper
Relating Church-style and Curry-style subtyping (available as arXiv preprint)	2021-03-03	Paper
Splitting mobility and communication in boxed ambients	2013-10-02	Paper
Typechecking safe process synchronization	2013-09-26	Paper
Pict correctness revisited Theoretical Computer Science	2009-03-02	Paper
Role-based access control for boxed ambients Theoretical Computer Science	2008-06-24	Paper
Pict Correctness Revisited Lecture Notes in Computer Science	2007-11-28	Paper
Boxed ambients with communication interfaces Mathematical Structures in Computer Science	2007-09-06	Paper
Theoretical Computer Science Lecture Notes in Computer Science	2006-11-01	Paper
Trustworthy Global Computing Lecture Notes in Computer Science	2006-11-01	Paper
Anti-symmetry of higher-order subtyping and equality by subtyping Mathematical Structures in Computer Science	2006-05-22	Paper
Mathematical Foundations of Computer Science 2004 Lecture Notes in Computer Science	2005-08-22	Paper
Higher-order subtyping and its decidability Information and Computation	2004-08-06	Paper
Heap-bounded assembly language Journal of Automated Reasoning	2004-08-06	Paper
scientific article; zbMATH DE number 2079017 (Why is no real title available?)	2004-07-21	Paper
Typed operational semantics for higher-order subtyping. Information and Computation	2003-08-19	Paper
Subtyping dependent types Theoretical Computer Science	2002-03-03	Paper
scientific article; zbMATH DE number 1424051 (Why is no real title available?)	2000-06-07	Paper
scientific article; zbMATH DE number 954811 (Why is no real title available?)	1996-12-08	Paper

Research outcomes over time

This page was built for person: Adriana Compagnoni