| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ombretta Gaggi, Annalisa Bossi |
Analysis and verification of SMIL documents.  |
Multimedia Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco |
A valuable experience in logic programming. |
Intelligenza Artificiale |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Maria Chiara Meo |
Theoretical Foundations and Semantics of Logic Programming. |
25 Years GULP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi |
S-semantics for logic programming: A retrospective look. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Carla Piazza, Sabina Rossi |
Compositional information flow security for concurrent programs. |
Journal of Computer Security |
2007 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Carla Piazza, Sabina Rossi |
Action Refinement in Process Algebra and Security Issues. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Ombretta Gaggi |
Enriching SMIL with assertions for temporal validation. |
ACM Multimedia |
2007 |
DBLP DOI BibTeX RDF |
authoring, SMIL, consistency checking |
| 1 | Annalisa Bossi, Michael J. Maher (eds.) |
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy |
PPDP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi |
Information flow in secure contexts. |
Journal of Computer Security |
2005 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi |
Unwinding in Information Flow Security. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus |
Termination of simply moded logic programs with dynamic scheduling. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
simply moded, Logic programs, termination, dynamic scheduling |
| 1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
Verifying persistent security properties. |
Computer Languages, Systems & Structures |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Carla Piazza, Sabina Rossi |
Modelling Downgrading in Information Flow Security. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi |
Declarative Semantics of Input Consuming Logic Programs. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Carla Piazza, Sabina Rossi |
Unwinding Conditions for Security in Imperative Languages. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
Refinement Operators and Information Flow Security. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi |
Information Flow Security and Recursive Systems. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi |
Secure Contexts for Confidential Data. |
CSFW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
Bisimulation and Unwinding for Verifying Possibilistic Security Properties. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi |
On modular termination proofs of general logic programs. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi |
Properties of input-consuming derivations. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
Transforming Processes to Check and Ensure Information Flow Security. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
Transformation Systems and Nondeclarative Properties. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
A Proof System for Information Flow Security. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi |
Properties of Input-Consuming Derivations |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus |
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Sabina Rossi |
Termination of Well-Typed Logic Programs. |
PPDP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus |
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie Verbaeten, Annalisa Bossi |
Composing Complete and Partial Knowledge. |
Journal of Functional and Logic Programming |
2000 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi |
On Modular Termination Proofs of General Logic Programs |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi |
Semantics of well-moded input-consuming logic programs. |
Comput. Lang. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi (eds.) |
Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected Papers |
LOPSTR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi |
Semantics of Input-Consuming Logic Programs. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
semantics, logic programming, dynamic scheduling |
| 1 | Annalisa Bossi, Yves Deville |
Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2. |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandro Etalle, Annalisa Bossi, Nicoletta Cocco |
Termination of Well-Moded Programs. |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle, Sabina Rossi |
Properties of Input-Consuming Derivations. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
Transformation of Left Terminating Programs. |
LOPSTR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Sabina Rossi |
Specialising Logic Programs with Respect to Call?Post Specifications. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco |
Success in Logic Programs. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
pure Prolog programs, failure/success analysis, program transformations |
| 1 | Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori |
Verification, Model Checking and Abstract Interpretation (Workshop Overview). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco |
Programs Without Failures. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
finitely failing derivations, program transformation, program verification |
| 1 | Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
Differential Logic Programs: Programming Methodologies and Semantics. |
Sci. Comput. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
Simultaneous Replacement in Normal Programs. |
J. Log. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco |
Replacement Can Preserve Termination. |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
Transformation of Left Terminating Programs: the Reordering Problem. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli |
The s-Semantics Approach: Theory and Applications. |
J. Log. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Massimo Fabris |
Norms on Terms and their use in Proving Universal Termination of a Logic Program. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
A Compositional Semantics for Logic Programs. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle |
Transforming Acyclic Programs. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
acyclic programs, terminating programs, termination |
| 1 | Annalisa Bossi, Nicoletta Cocco |
Preserving Universal Termination through Unfold/Fold. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
universal termination, program transformations |
| 1 | Annalisa Bossi, Massimo Fabris, Maria Chiara Meo |
A Bottom-up Semantics for Constructive Negation. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Sandro Etalle |
More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. |
META |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco |
Basic Transformation Operations which Preserve Computed Answer Substitutions of Logic Programs. |
J. Log. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Michele Bugliesi, Massimo Fabris |
A New Fixpoint Semantics for Prolog. |
GULP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Michele Bugliesi, Massimo Fabris |
A New Fixpoint Semantics for Prolog. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
Differential Logic Programming. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Silvio Valentini |
An Intuitionistic Theory of Types with Assumptions of High-Arity Variables. |
Ann. Pure Appl. Logic |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
Transforming Normal Programs by Replacement. |
META |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
Contributions to the Semantics of Open Logic Programs. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
On Safe Folding. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
computed answer substitution semantics, Program transformation, folding |
| 1 | Annalisa Bossi, Nicoletta Cocco, Massimo Fabris |
Typed Norms. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Massimo Fabris |
Proving Termination of Logic Programs by Exploiting Term Properties. |
TAPSOFT, Vol.2 |
1991 |
DBLP DOI BibTeX RDF |
Prolog programs, norm on terms, pre/post specifications, termination |
| 1 | Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo |
An OR-Compositional Semantics for Logic Programs. |
ICLP Workshop on Construction of Logic Programs |
1991 |
DBLP BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, S. Dulli |
A Method for Specializing Logic Programs. |
ACM Trans. Program. Lang. Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco |
Verifying Correctness of Logic Programs. |
TAPSOFT, Vol.2 |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Carlo Ghezzi |
Using FP As a Query Language for Relational Data-Bases. |
Comput. Lang. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Annalisa Bossi, Nicoletta Cocco, Livio Colussi |
A Divide-and-Conquer Approach to General Context-Free Parsing. |
Inf. Process. Lett. |
1983 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")