Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Compagnoni, Adriana - Department of Computer Science, Stevens Institute of Technology
A Typed Assembly Language for Non-Interference Ricardo Medel1
Typed Operational Semantics for Higher Order Subtyping
Anti-Symmetry of Higher-Order Subtyping Adriana Compagnoni and Healfdene Goguen
An Object Calculus with Algebraic Rewriting Adriana Compagnoni
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions
DCM 2005 Preliminary Version Splitting Mobility and Communication in
Higher-Order Subtyping And Its Decidability Adriana Compagnoni
SIFTAL: A Typed Assembly Language for Secure Information Flow Technical Report
HigherOrder Subtyping Intersection Types
Types for Security in a Mobile World # Adriana B. Compagnoni 1 and Elsa L. Gunter 2
A Typed Assembly Language for NonInterference Ricardo Medel 1 , Adriana Compagnoni 1 , and Eduardo Bonelli 2
Non-Interference for a Typed Assembly Language Ricardo Medel Adriana Compagnoni
Under consideration for publication in J. Functional Programming 1 Correspondence Assertions for Process
Pict Correctness Revisited Philippe Bidinger1
SUBTYPING `A LA CHURCH ADRIANA COMPAGNONI AND HEALFDENE GOGUEN
Multipoint Session Types for a Distributed Eduardo Bonelli1
Anti-Symmetry of Higher-Order Subtyping Equality by Subtyping
Types for Security in a Mobile World Adriana B. Compagnoni1
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks
Typechecking Safe Process Synchronization Eduardo Bonelli, a,b
Subtyping for Object Type Constructors Dominic Duggan \Lambda Adriana Compagnoni +
Decidability of HigherOrder Subtyping with Intersection Types
Decidability of HigherOrder Subtyping via Logical Relations Adriana Compagnoni
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks
Multiple Inheritance via Intersection Types
Role-based Access Control for Boxed Adriana Compagnoni a
Replace this le with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting.
Boxed Ambients with Communication Interfaces Pablo Garralda
Institute of Technology Typechecking Safe Process Synchronization
Boxed Ambients with Communication Interfaces Eduardo Bonelli1
FGUC 2004 Preliminary Version Typechecking Safe Process Synchronization
Implementing a Typed Assembly Language and its Machine Model
Correspondence Assertions for Process Synchronization in Concurrent Communications
FGUC 2004 Preliminary Version Typechecking Safe Process Synchronization
Higher-Order Subtyping with
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions Adriana Compagnoni
