1. Theory and Applications of Satisfiability Testing,2005
2. A calculus of bounded capacities;Barbanera,2003
3. A type inference algorithm for secure ambients;Barbanera,2002
4. Secure safe ambients;Bugliesi,2001
5. Communication and mobility control in boxed ambients;Bugliesi;Information and Computation,2005