Annalisa Bossi

	2011
67		Annalisa Bossi, Nicoletta Cocco: A valuable experience in logic programming. Intelligenza Artificiale 5(1): 95-99 (2011)
66		Ombretta Gaggi, Annalisa Bossi: Analysis and verification of SMIL documents. Multimedia Syst. 17(6): 487-506 (2011)
	2010
65		Annalisa Bossi, Maria Chiara Meo: Theoretical Foundations and Semantics of Logic Programming. 25 Years GULP 2010: 15-36
	2009
64		Annalisa Bossi: S-semantics for logic programming: A retrospective look. Theor. Comput. Sci. 410(46): 4692-4703 (2009)
	2007
63		Annalisa Bossi, Ombretta Gaggi: Enriching SMIL with assertions for temporal validation. ACM Multimedia 2007: 107-116
62		Annalisa Bossi, Carla Piazza, Sabina Rossi: Action Refinement in Process Algebra and Security Issues. LOPSTR 2007: 201-217
61		Annalisa Bossi, Carla Piazza, Sabina Rossi: Compositional information flow security for concurrent programs. Journal of Computer Security 15(3): 373-416 (2007)
	2006
60		Annalisa Bossi, Michael J. Maher: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy ACM 2006
	2005
59		Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Information flow in secure contexts. Journal of Computer Security 13(3): 391-422 (2005)
	2004
58		Annalisa Bossi, Carla Piazza, Sabina Rossi: Modelling Downgrading in Information Flow Security. CSFW 2004: 187-
57		Annalisa Bossi, Carla Piazza, Sabina Rossi: Unwinding Conditions for Security in Imperative Languages. LOPSTR 2004: 85-100
56		Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi: Declarative Semantics of Input Consuming Logic Programs. Program Development in Computational Logic 2004: 90-114
55		Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus: Termination of simply moded logic programs with dynamic scheduling. ACM Trans. Comput. Log. 5(3): 470-507 (2004)
54		Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Verifying persistent security properties. Computer Languages, Systems & Structures 30(3-4): 231-258 (2004)
53		Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Unwinding in Information Flow Security. Electr. Notes Theor. Comput. Sci. 99: 127-154 (2004)
	2003
52		Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Secure Contexts for Confidential Data. CSFW 2003: 14-28
51		Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi: Information Flow Security and Recursive Systems. ICTCS 2003: 369-382
50		Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Refinement Operators and Information Flow Security. SEFM 2003: 44-53
49		Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Bisimulation and Unwinding for Verifying Possibilistic Security Properties. VMCAI 2003: 223-237
	2002
48		Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: Transforming Processes to Check and Ensure Information Flow Security. AMAST 2002: 271-286
47		Annalisa Bossi, Nicoletta Cocco, Sandro Etalle: Transformation Systems and Nondeclarative Properties. Computational Logic: Logic Programming and Beyond 2002: 162-186
46		Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi: A Proof System for Information Flow Security. LOPSTR 2002: 199-218
45		Annalisa Bossi, Sandro Etalle, Sabina Rossi: Properties of input-consuming derivations. TPLP 2(2): 125-154 (2002)
44		Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi: On modular termination proofs of general logic programs. TPLP 2(3): 263-291 (2002)
	2001
43		Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus: Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. ESOP 2001: 402-416
42		Annalisa Bossi, Nicoletta Cocco, Sabina Rossi: Termination of Well-Typed Logic Programs. PPDP 2001: 73-81
41		Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus: Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling CoRR cs.LO/0101022: (2001)
40		Annalisa Bossi, Sandro Etalle, Sabina Rossi: Properties of Input-Consuming Derivations CoRR cs.PL/0101023: (2001)
	2000
39		Annalisa Bossi: Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected Papers Springer 2000
38		Annalisa Bossi, Sandro Etalle, Sabina Rossi: Semantics of Input-Consuming Logic Programs. Computational Logic 2000: 194-208
37		Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi: On Modular Termination Proofs of General Logic Programs CoRR cs.LO/0005018: (2000)
36		Annalisa Bossi, Sandro Etalle, Sabina Rossi: Semantics of well-moded input-consuming logic programs. Comput. Lang. 26(1): 1-25 (2000)
35		Sofie Verbaeten, Annalisa Bossi: Composing Complete and Partial Knowledge. Journal of Functional and Logic Programming 2000(6): (2000)
	1999
34		Annalisa Bossi, Nicoletta Cocco, Sandro Etalle: Transformation of Left Terminating Programs. LOPSTR 1999: 156-175
33		Annalisa Bossi, Sandro Etalle, Sabina Rossi: Properties of Input-Consuming Derivations. Electr. Notes Theor. Comput. Sci. 30(1): 102-124 (1999)
32		Sandro Etalle, Annalisa Bossi, Nicoletta Cocco: Termination of Well-Moded Programs. J. Log. Program. 38(2): 243-257 (1999)
31		Annalisa Bossi, Yves Deville: Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2. J. Log. Program. 41(2-3): 139-140 (1999)
	1998
30		Annalisa Bossi, Sabina Rossi: Specialising Logic Programs with Respect to Call?Post Specifications. LOPSTR 1998: 159-178
29		Annalisa Bossi, Nicoletta Cocco: Success in Logic Programs. LOPSTR 1998: 219-239
	1997
28		Annalisa Bossi, Dennis Dams, Gilberto Filé, Elena Marchiori: Verification, Model Checking and Abstract Interpretation (Workshop Overview). ILPS 1997: 421-422
27		Annalisa Bossi, Nicoletta Cocco: Programs Without Failures. LOPSTR 1997: 28-48
	1996
26		Annalisa Bossi, Nicoletta Cocco: Replacement Can Preserve Termination. LOPSTR 1996: 104-129
25		Annalisa Bossi, Nicoletta Cocco, Sandro Etalle: Simultaneous Replacement in Normal Programs. J. Log. Comput. 6(1): 79-120 (1996)
24		Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Differential Logic Programs: Programming Methodologies and Semantics. Sci. Comput. Program. 27(3): 217-262 (1996)
	1995
23		Annalisa Bossi, Nicoletta Cocco, Sandro Etalle: Transformation of Left Terminating Programs: the Reordering Problem. LOPSTR 1995: 33-45
	1994
22		Annalisa Bossi, Nicoletta Cocco: Preserving Universal Termination through Unfold/Fold. ALP 1994: 269-286
21		Annalisa Bossi, Massimo Fabris, Maria Chiara Meo: A Bottom-up Semantics for Constructive Negation. ICLP 1994: 520-534
20		Annalisa Bossi, Sandro Etalle: More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. META 1994: 311-331
19		Annalisa Bossi, Sandro Etalle: Transforming Acyclic Programs. ACM Trans. Program. Lang. Syst. 16(4): 1081-1096 (1994)
18		Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli: The s-Semantics Approach: Theory and Applications. J. Log. Program. 19/20: 149-197 (1994)
17		Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: A Compositional Semantics for Logic Programs. Theor. Comput. Sci. 122(1&2): 3-47 (1994)
16		Annalisa Bossi, Nicoletta Cocco, Massimo Fabris: Norms on Terms and their use in Proving Universal Termination of a Logic Program. Theor. Comput. Sci. 124(2): 297-328 (1994)
	1993
15		Annalisa Bossi, Michele Bugliesi, Massimo Fabris: A New Fixpoint Semantics for Prolog. GULP 1993: 617-632
14		Annalisa Bossi, Michele Bugliesi, Massimo Fabris: A New Fixpoint Semantics for Prolog. ICLP 1993: 374-389
13		Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Differential Logic Programming. POPL 1993: 359-370
12		Annalisa Bossi, Nicoletta Cocco: Basic Transformation Operations which Preserve Computed Answer Substitutions of Logic Programs. J. Log. Program. 16(1): 47-87 (1993)
	1992
11		Annalisa Bossi, Nicoletta Cocco, Massimo Fabris: Typed Norms. ESOP 1992: 73-92
10		Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Contributions to the Semantics of Open Logic Programs. FGCS 1992: 570-580
9		Annalisa Bossi, Nicoletta Cocco, Sandro Etalle: Transforming Normal Programs by Replacement. META 1992: 265-279
8		Annalisa Bossi, Nicoletta Cocco, Sandro Etalle: On Safe Folding. PLILP 1992: 172-186
7		Annalisa Bossi, Silvio Valentini: An Intuitionistic Theory of Types with Assumptions of High-Arity Variables. Ann. Pure Appl. Logic 57(2): 93-149 (1992)
	1991
6		Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: An OR-Compositional Semantics for Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 215-240
5		Annalisa Bossi, Nicoletta Cocco, Massimo Fabris: Proving Termination of Logic Programs by Exploiting Term Properties. TAPSOFT, Vol.2 1991: 153-180
	1990
4		Annalisa Bossi, Nicoletta Cocco, S. Dulli: A Method for Specializing Logic Programs. ACM Trans. Program. Lang. Syst. 12(2): 253-302 (1990)
	1989
3		Annalisa Bossi, Nicoletta Cocco: Verifying Correctness of Logic Programs. TAPSOFT, Vol.2 1989: 96-110
	1984
2		Annalisa Bossi, Carlo Ghezzi: Using FP As a Query Language for Relational Data-Bases. Comput. Lang. 9(1): 25-37 (1984)
	1983
1		Annalisa Bossi, Nicoletta Cocco, Livio Colussi: A Divide-and-Conquer Approach to General Context-Free Parsing. Inf. Process. Lett. 16(4): 203-208 (1983)

Coauthor Index

1	Michele Bugliesi	[13] [14] [15] [24]
2	Nicoletta Cocco	[1] [3] [4] [5] [8] [9] [11] [12] [16] [22] [23] [25] [26] [27] [29] [32] [34] [37] [42] [44] [47] [56] [67]
3	Livio Colussi	[1]
4	Dennis Dams	[28]
5	Yves Deville	[31]
6	S. Dulli	[4]
7	Sandro Etalle	[8] [9] [19] [20] [23] [25] [32] [33] [34] [36] [37] [38] [40] [41] [43] [44] [45] [47] [55] [56]
8	Massimo Fabris	[5] [11] [14] [15] [16] [21]
9	Gilberto Filé	[28]
10	Riccardo Focardi	[46] [48] [49] [50] [53] [54]
11	Maurizio Gabbrielli	[6] [10] [13] [17] [18] [24]
12	Ombretta Gaggi	[63] [66]
13	Carlo Ghezzi	[2]
14	Giorgio Levi	[6] [10] [13] [17] [18] [24]
15	Damiano Macedonio	[51] [52] [53] [59]
16	Michael J. Maher	[60]
17	Elena Marchiori	[28]
18	Maurizio Martelli	[18]
19	Maria Chiara Meo	[6] [10] [13] [17] [21] [24] [65]
20	Carla Piazza	[46] [48] [49] [50] [51] [52] [53] [54] [57] [58] [59] [61] [62]
21	Sabina Rossi	[30] [33] [36] [37] [38] [40] [41] [42] [43] [44] [45] [46] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [61] [62]
22	Jan-Georg Smaus	[41] [43] [55]
23	Silvio Valentini	[7]
24	Sofie Verbaeten	[35]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page