BOSSI, Annalisa
BOSSI, Annalisa
Dipartimento di Informatica (attivo dal 01/01/2002 al 31/12/2010)
A Compositional Semantics for Logic Programs
1994-01-01 Bossi, Annalisa; M., Gabbrielli; G., Levi; M. C., Meo
A Proof System for Information Flow Security
2003-01-01 Bossi, Annalisa; Focardi, Riccardo; Piazza, C; Rossi, Sabina
Action Refinement in Process Algebra and Security Issues
2008-01-01 Bossi, Annalisa; Piazza, C; Rossi, Sabina
Analysis of SMIL scripts
2006-01-01 Bossi, Annalisa; O., Gaggi
Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs
1993-01-01 Bossi, Annalisa; Cocco, Nicoletta
Bisimulation and Unwinding for Verifying Possibilistic Security Properties
2003-01-01 Bossi, Annalisa; Focardi, Riccardo; Piazza, C; Rossi, Sabina
Call-Correct Specialisation of Logic Programs
1998-01-01 Bossi, Annalisa; Rossi, Sabina
Composing complete and partial knowledge
2000-01-01 Bossi, Annalisa; Verbaeten, S.
Compositional information flow security for concurrent programs
2007-01-01 Bossi, Annalisa; C., Piazza; Rossi, Sabina
Compositional Information Flow Security for Concurrent Programs
2005-01-01 Bossi, Annalisa; Piazza, C; Rossi, Sabina
Declarative Semantics of Input Consuming Logic Programs
2004-01-01 Bossi, Annalisa; Cocco, Nicoletta; S., Etalle; Rossi, Sabina
Differential logic programs: Programming methodologies and semantics
1996-01-01 Bossi, Annalisa; Bugliesi, Michele; M., Gabbrielli; G., Levi; E. M. C., Meo
Enriching SMIL with assertions for temporal validation
2007-01-01 Bossi, Annalisa; Gaggi, O.
Information Flow in Secure Contexts
2005-01-01 Bossi, Annalisa; Macedonio, Damiano; C., Piazza; Rossi, Sabina
Information Flow Security and Recursive Systems
2003-01-01 Bossi, Annalisa; Macedonio, D; Piazza, C; Rossi, Sabina
Modelling Downgrading in Information Flow Security
2004-01-01 Bossi, Annalisa; Piazza, C; Rossi, Sabina
Ninth International Workshop on Logic-Based Program Synthesis and Transformation
2000-01-01 Bossi, Annalisa
Norms on Terms and their use in Proving Universal Termination of a Logic Program
1994-01-01 Bossi, Annalisa; Cocco, Nicoletta; M., Fabris
On Modular Termination Proofs of General Logic Programs
2002-01-01 Bossi, Annalisa; Cocco, Nicoletta; Etalle, S; Rossi, Sabina
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy ACM 2006
2006-01-01 Bossi, Annalisa; Maher, M. J.