BOSSI, Annalisa

BOSSI, Annalisa  

Dipartimento di Informatica (attivo dal 01/01/2002 al 31/12/2010)  

Mostra records
Risultati 1 - 20 di 40 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A Compositional Semantics for Logic Programs 1-gen-1994 BOSSI, Annalisa + 2.1 Articolo su rivista -
A Proof System for Information Flow Security 1-gen-2003 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Action Refinement in Process Algebra and Security Issues 1-gen-2008 BOSSI, AnnalisaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Analysis of SMIL scripts 1-gen-2006 BOSSI, Annalisa + 7.02 Rapporto di ricerca -
Basic Transformation Operations which preserve Computed Answer Substitutions of Logic Programs 1-gen-1993 BOSSI, AnnalisaCOCCO, Nicoletta 2.1 Articolo su rivista -
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 1-gen-2003 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Call-Correct Specialisation of Logic Programs 1-gen-1998 BOSSI, AnnalisaROSSI, Sabina 4.1 Articolo in Atti di convegno -
Composing complete and partial knowledge 1-gen-2000 BOSSI, Annalisa + 2.1 Articolo su rivista -
Compositional Information Flow Security for Concurrent Programs 1-gen-2005 BOSSI, AnnalisaROSSI, Sabina + 7.02 Rapporto di ricerca -
Compositional information flow security for concurrent programs 1-gen-2007 BOSSI, AnnalisaROSSI, Sabina + 2.1 Articolo su rivista -
Declarative Semantics of Input Consuming Logic Programs 1-gen-2004 BOSSI, AnnalisaCOCCO, NicolettaROSSI, Sabina + 3.1 Articolo su libro -
Differential logic programs: Programming methodologies and semantics 1-gen-1996 BOSSI, AnnalisaBUGLIESI, Michele + 2.1 Articolo su rivista -
Enriching SMIL with assertions for temporal validation 1-gen-2007 BOSSI, Annalisa + 3.1 Articolo su libro -
Information Flow in Secure Contexts 1-gen-2005 BOSSI, AnnalisaMACEDONIO, DamianoROSSI, Sabina + 2.1 Articolo su rivista -
Information Flow Security and Recursive Systems 1-gen-2003 BOSSI, AnnalisaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Modelling Downgrading in Information Flow Security 1-gen-2004 BOSSI, AnnalisaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Ninth International Workshop on Logic-Based Program Synthesis and Transformation 1-gen-2000 BOSSI, Annalisa 7.16 Altro -
Norms on Terms and their use in Proving Universal Termination of a Logic Program 1-gen-1994 BOSSI, AnnalisaCOCCO, Nicoletta + 2.1 Articolo su rivista -
On Modular Termination Proofs of General Logic Programs 1-gen-2002 BOSSI, AnnalisaCOCCO, NicolettaROSSI, Sabina + 2.1 Articolo su rivista -
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy ACM 2006 1-gen-2006 BOSSI, Annalisa + 7.16 Altro -