Annalisa Bossi

69 papers A* 2A 2B 4C 13Journal 28Unranked 18

Year	Rank	Type	Title / Venue / Authors
2011	J	`jnl`	A valuable experience in logic programming. Intelligenza Artificiale Annalisa Bossi, Nicoletta Cocco
2011	J	`jnl`	Analysis and verification of SMIL documents. Multim. Syst. Ombretta Gaggi, Annalisa Bossi
2010	—	`ch.`	Theoretical Foundations and Semantics of Logic Programming. 25 Years GULP Annalisa Bossi, Maria Chiara Meo
2009	J	`jnl`	S-semantics for logic programming: A retrospective look. Theor. Comput. Sci. Annalisa Bossi
2008	—	`conf`	A Valuable Experience in Computational Logic. Il Milione Annalisa Bossi, Nicoletta Cocco
2007	C	`conf`	Action Refinement in Process Algebra and Security Issues. LOPSTR Annalisa Bossi, Carla Piazza, Sabina Rossi
2007	J	`jnl`	Compositional information flow security for concurrent programs. J. Comput. Secur. Annalisa Bossi, Carla Piazza, Sabina Rossi
2007	A*	`conf`	Enriching SMIL with assertions for temporal validation. ACM Multimedia Annalisa Bossi, Ombretta Gaggi
2006	C	`ed.`	Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy PPDP Annalisa Bossi, Michael J. Maher
2005	J	`jnl`	Information flow in secure contexts. J. Comput. Secur. Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
2004	—	`ch.`	Declarative Semantics of Input Consuming Logic Programs. Program Development in Computational Logic Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
2004	—	`conf`	Modelling Downgrading in Information Flow Security. CSFW Annalisa Bossi, Carla Piazza, Sabina Rossi
2004	J	`jnl`	Termination of simply moded logic programs with dynamic scheduling. ACM Trans. Comput. Log. Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
2004	C	`conf`	Unwinding Conditions for Security in Imperative Languages. LOPSTR Annalisa Bossi, Carla Piazza, Sabina Rossi
2004	J	`jnl`	Verifying persistent security properties. Comput. Lang. Syst. Struct. Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2003	B	`conf`	Bisimulation and Unwinding for Verifying Possibilistic Security Properties. VMCAI Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2003	—	`conf`	Information Flow Security and Recursive Systems. ICTCS Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
2003	B	`conf`	Refinement Operators and Information Flow Security. SEFM Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2003	—	`conf`	Secure Contexts for Confidential Data. CSFW Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi
2003	—	`conf`	Unwinding in Information Flow Security. MEFISTO Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi
2002	C	`conf`	A Proof System for Information Flow Security. LOPSTR Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2002	J	`jnl`	On modular termination proofs of general logic programs. Theory Pract. Log. Program. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
2002	J	`jnl`	Properties of input-consuming derivations. Theory Pract. Log. Program. Annalisa Bossi, Sandro Etalle, Sabina Rossi
2002	—	`conf`	Transformation Systems and Nondeclarative Properties. Computational Logic: Logic Programming and Beyond Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
2002	—	`conf`	Transforming Processes to Check and Ensure Information Flow Security. AMAST Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi
2001	J	`jnl`	Properties of Input-Consuming Derivations CoRR Annalisa Bossi, Sandro Etalle, Sabina Rossi
2001	J	`jnl`	Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling CoRR Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
2001	A	`conf`	Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. ESOP Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
2001	C	`conf`	Termination of Well-Typed Logic Programs. PPDP Annalisa Bossi, Nicoletta Cocco, Sabina Rossi
2000	J	`jnl`	Composing Complete and Partial Knowledge. J. Funct. Log. Program. Sofie Verbaeten, Annalisa Bossi
2000	C	`ed.`	Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected Papers LOPSTR Annalisa Bossi
2000	J	`jnl`	On Modular Termination Proofs of General Logic Programs CoRR Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
2000	—	`conf`	Semantics of Input-Consuming Logic Programs. Computational Logic Annalisa Bossi, Sandro Etalle, Sabina Rossi
2000	J	`jnl`	Semantics of well-moded input-consuming logic programs. Comput. Lang. Annalisa Bossi, Sandro Etalle, Sabina Rossi
1999	J	`jnl`	Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2. J. Log. Program. Annalisa Bossi, Yves Deville
1999	—	`conf`	Properties of Input-Consuming Derivations. Verification of Logic Programs@ICLP Annalisa Bossi, Sandro Etalle, Sabina Rossi
1999	J	`jnl`	Termination of Well-Moded Programs. J. Log. Program. Sandro Etalle, Annalisa Bossi, Nicoletta Cocco
1999	C	`conf`	Transformation of Left Terminating Programs. LOPSTR Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
1998	C	`conf`	Specialising Logic Programs with Respect to Call?Post Specifications. LOPSTR Annalisa Bossi, Sabina Rossi
1998	C	`conf`	Success in Logic Programs. LOPSTR Annalisa Bossi, Nicoletta Cocco
1997	C	`conf`	Programs Without Failures. LOPSTR Annalisa Bossi, Nicoletta Cocco
1997	—	`conf`	Verification, Model Checking and Abstract Interpretation (Workshop Overview). ILPS Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori
1996	J	`jnl`	Differential Logic Programs: Programming Methodologies and Semantics. Sci. Comput. Program. Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1996	C	`conf`	Replacement Can Preserve Termination. LOPSTR Annalisa Bossi, Nicoletta Cocco
1996	J	`jnl`	Simultaneous Replacement in Normal Programs. J. Log. Comput. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
1995	C	`conf`	Transformation of Left Terminating Programs: the Reordering Problem. LOPSTR Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
1994	B	`conf`	A Bottom-up Semantics for Constructive Negation. ICLP Annalisa Bossi, Massimo Fabris, Maria Chiara Meo
1994	J	`jnl`	A Compositional Semantics for Logic Programs. Theor. Comput. Sci. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1994	C	`conf`	More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. META Annalisa Bossi, Sandro Etalle
1994	J	`jnl`	Norms on Terms and their use in Proving Universal Termination of a Logic Program. Theor. Comput. Sci. Annalisa Bossi, Nicoletta Cocco, Massimo Fabris
1994	—	`conf`	Preserving Universal Termination through Unfold/Fold. ALP Annalisa Bossi, Nicoletta Cocco
1994	J	`jnl`	The s-Semantics Approach: Theory and Applications. J. Log. Program. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
1994	J	`jnl`	Transforming Acyclic Programs. ACM Trans. Program. Lang. Syst. Annalisa Bossi, Sandro Etalle
1993	—	`conf`	A New Fixpoint Semantics for Prolog. GULP Annalisa Bossi, Michele Bugliesi, Massimo Fabris
1993	B	`conf`	A New Fixpoint Semantics for Prolog. ICLP Annalisa Bossi, Michele Bugliesi, Massimo Fabris
1993	J	`jnl`	Basic Transformation Operations which Preserve Computed Answer Substitutions of Logic Programs. J. Log. Program. Annalisa Bossi, Nicoletta Cocco
1993	A*	`conf`	Differential Logic Programming. POPL Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1992	J	`jnl`	An Intuitionistic Theory of Types with Assumptions of High-Arity Variables. Ann. Pure Appl. Log. Annalisa Bossi, Silvio Valentini
1992	—	`conf`	Contributions to the Semantics of Open Logic Programs. FGCS Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1992	—	`conf`	On Safe Folding. PLILP Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
1992	—	`conf`	Transforming Normal Programs by Replacement. META Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
1992	A	`conf`	Typed Norms. ESOP Annalisa Bossi, Nicoletta Cocco, Massimo Fabris
1991	—	`conf`	An OR-Compositional Semantics for Logic Programs. ICLP Workshop on Construction of Logic Programs Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
1991	—	`conf`	Proving Termination of Logic Programs by Exploiting Term Properties. TAPSOFT, Vol.2 Annalisa Bossi, Nicoletta Cocco, Massimo Fabris
1990	J	`jnl`	A Method for Specializing Logic Programs. ACM Trans. Program. Lang. Syst. Annalisa Bossi, Nicoletta Cocco, Susi Dulli
1989	—	`conf`	Verifying Correctness of Logic Programs. TAPSOFT, Vol.2 Annalisa Bossi, Nicoletta Cocco
1984	J	`jnl`	Using FP As a Query Language for Relational Data-Bases. Comput. Lang. Annalisa Bossi, Carlo Ghezzi
1983	J	`jnl`	A Divide-and-Conquer Approach to General Context-Free Parsing. Inf. Process. Lett. Annalisa Bossi, Nicoletta Cocco, Livio Colussi
1980	J	`jnl`	Identifiability of compartmental models: algorithms to solve an actual problem by means of symbolic calculus. SIGSAM Bull. Annalisa Bossi, Livio Colussi, Claudio Cobelli, Giorgio Romanin-Jacur