Annalisa Bossi

According to our database, Annalisa Bossi authored at least 62 papers between 1980 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Analysis and verification of SMIL documents.

Ombretta Gaggi, Annalisa Bossi

Multim. Syst., 2011

A valuable experience in logic programming.

Annalisa Bossi, Nicoletta Cocco

Intelligenza Artificiale, 2011

2010

Theoretical Foundations and Semantics of Logic Programming.

Annalisa Bossi, Maria Chiara Meo

Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009

S-semantics for logic programming: A retrospective look.

Annalisa Bossi

Theor. Comput. Sci., 2009

2008

A Valuable Experience in Computational Logic.

Annalisa Bossi, Nicoletta Cocco

Proceedings of the Il Milione (i.e. 2^6), 2008

2007

Compositional information flow security for concurrent programs.

Annalisa Bossi, Carla Piazza, Sabina Rossi

J. Comput. Secur., 2007

Enriching SMIL with assertions for temporal validation.

Annalisa Bossi, Ombretta Gaggi

Proceedings of the 15th International Conference on Multimedia 2007, 2007

Action Refinement in Process Algebra and Security Issues.

Annalisa Bossi, Carla Piazza, Sabina Rossi

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

2005

Information flow in secure contexts.

Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi

J. Comput. Secur., 2005

2004

Termination of simply moded logic programs with dynamic scheduling.

Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus

ACM Trans. Comput. Log., 2004

Verifying persistent security properties.

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi

Comput. Lang. Syst. Struct., 2004

Unwinding Conditions for Security in Imperative Languages.

Annalisa Bossi, Carla Piazza, Sabina Rossi

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

Declarative Semantics of Input Consuming Logic Programs.

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Modelling Downgrading in Information Flow Security.

Annalisa Bossi, Carla Piazza, Sabina Rossi

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

2003

Unwinding in Information Flow Security.

Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Bisimulation and Unwinding for Verifying Possibilistic Security Properties.

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi

Proceedings of the Verification, 2003

Refinement Operators and Information Flow Security.

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

Information Flow Security and Recursive Systems.

Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Secure Contexts for Confidential Data.

Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

2002

Properties of input-consuming derivations.

Annalisa Bossi, Sandro Etalle, Sabina Rossi

Theory Pract. Log. Program., 2002

On modular termination proofs of general logic programs.

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi

Theory Pract. Log. Program., 2002

A Proof System for Information Flow Security.

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Transformation Systems and Nondeclarative Properties.

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Transforming Processes to Check and Ensure Information Flow Security.

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Termination of Well-Typed Logic Programs.

Annalisa Bossi, Nicoletta Cocco, Sabina Rossi

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling.

Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus

Proceedings of the Programming Languages and Systems, 2001

2000

Composing Complete and Partial Knowledge.

Sofie Verbaeten, Annalisa Bossi

J. Funct. Log. Program., 2000

Semantics of well-moded input-consuming logic programs.

Annalisa Bossi, Sandro Etalle, Sabina Rossi

Comput. Lang., 2000

Semantics of Input-Consuming Logic Programs.

Annalisa Bossi, Sandro Etalle, Sabina Rossi

Proceedings of the Computational Logic, 2000

1999

Termination of Well-Moded Programs.

Sandro Etalle, Annalisa Bossi, Nicoletta Cocco

J. Log. Program., 1999

Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2.

Annalisa Bossi, Yves Deville

J. Log. Program., 1999

Transformation of Left Terminating Programs.

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

Proceedings of the Logic Programming Synthesis and Transformation, 1999

1998

Specialising Logic Programs with Respect to Call?Post Specifications.

Annalisa Bossi, Sabina Rossi

Proceedings of the Logic Programming Synthesis and Transformation, 1998

Success in Logic Programs.

Annalisa Bossi, Nicoletta Cocco

Proceedings of the Logic Programming Synthesis and Transformation, 1998

1997

Verification, Model Checking and Abstract Interpretation (Workshop Overview).

Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori

Proceedings of the Logic Programming, 1997

Programs Without Failures.

Annalisa Bossi, Nicoletta Cocco

Proceedings of the Logic Programming Synthesis and Transformation, 1997

1996

Differential Logic Programs: Programming Methodologies and Semantics.

Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Sci. Comput. Program., 1996

Simultaneous Replacement in Normal Programs.

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

J. Log. Comput., 1996

Replacement Can Preserve Termination.

Annalisa Bossi, Nicoletta Cocco

Proceedings of the Logic Programming Synthesis and Transformation, 1996

1995

Transformation of Left Terminating Programs: the Reordering Problem.

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

Proceedings of the Logic Programming Synthesis and Transformation, 1995

1994

Transforming Acyclic Programs.

Annalisa Bossi, Sandro Etalle

ACM Trans. Program. Lang. Syst., 1994

A Compositional Semantics for Logic Programs.

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Theor. Comput. Sci., 1994

Norms on Terms and their use in Proving Universal Termination of a Logic Program.

Annalisa Bossi, Nicoletta Cocco, Massimo Fabris

Theor. Comput. Sci., 1994

The s-Semantics Approach: Theory and Applications.

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli

J. Log. Program., 1994

More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics.

Annalisa Bossi, Sandro Etalle

Proceedings of the Logic Programming Synthesis and Transformation, 1994

A Bottom-up Semantics for Constructive Negation.

Annalisa Bossi, Massimo Fabris, Maria Chiara Meo

Proceedings of the Logic Programming, 1994

Preserving Universal Termination through Unfold/Fold.

Annalisa Bossi, Nicoletta Cocco

Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

1993

Basic Transformation Operations which Preserve Computed Answer Substitutions of Logic Programs.

Annalisa Bossi, Nicoletta Cocco

J. Log. Program., 1993

Differential Logic Programming.

Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

A New Fixpoint Semantics for Prolog.

Annalisa Bossi, Michele Bugliesi, Massimo Fabris

Proceedings of the Logic Programming, 1993

1992

An Intuitionistic Theory of Types with Assumptions of High-Arity Variables.

Annalisa Bossi, Silvio Valentini

Ann. Pure Appl. Log., 1992

On Safe Folding.

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

Proceedings of the Programming Language Implementation and Logic Programming, 1992

Transforming Normal Programs by Replacement.

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle

Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

Contributions to the Semantics of Open Logic Programs.

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Typed Norms.

Annalisa Bossi, Nicoletta Cocco, Massimo Fabris

Proceedings of the ESOP '92, 1992

1991

Proving Termination of Logic Programs by Exploiting Term Properties.

Annalisa Bossi, Nicoletta Cocco, Massimo Fabris

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

An OR-Compositional Semantics for Logic Programs.

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo

Proceedings of the Constructing Logic Programs, 1991

1990

A Method for Specializing Logic Programs.

Annalisa Bossi, Nicoletta Cocco, Susi Dulli

ACM Trans. Program. Lang. Syst., 1990

1989

Verifying Correctness of Logic Programs.

Annalisa Bossi, Nicoletta Cocco

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1984

Using FP As a Query Language for Relational Data-Bases.

Annalisa Bossi, Carlo Ghezzi

Comput. Lang., 1984

1983

A Divide-and-Conquer Approach to General Context-Free Parsing.

Annalisa Bossi, Nicoletta Cocco, Livio Colussi

Inf. Process. Lett., 1983

1980

Identifiability of compartmental models: algorithms to solve an actual problem by means of symbolic calculus.

Annalisa Bossi, Livio Colussi, Claudio Cobelli, Giorgio Romanin-Jacur

SIGSAM Bull., 1980