Alessandra Di Pierro

2007
46	EE	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: A Systematic Approach to Probabilistic Pointer Analysis. APLAS 2007: 335-350
45	EE	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: On Probabilistic Techniques for Data Flow Analysis. Electr. Notes Theor. Comput. Sci. 190(3): 59-77 (2007)
44	EE	Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky: Tempus fugit: How to plug it. J. Log. Algebr. Program. 72(2): 173-190 (2007)
43		Alessandra Di Pierro, Herbert Wiklicky: Preface: Quantitative aspects of programming languages. Theor. Comput. Sci. 382(1): 1-2 (2007)
2006
42	EE	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Abstract Interpretation for Worst and Average Case Analysis. Program Analysis and Compilation 2006: 160-174
41	EE	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: On Reversible Combinatory Logic. Electr. Notes Theor. Comput. Sci. 135(3): 25-35 (2006)
40	EE	Alessandra Di Pierro, Herbert Wiklicky: Operator Algebras and the Operational Semantics of Probabilistic Languages. Electr. Notes Theor. Comput. Sci. 161: 131-150 (2006)
39	EE	Alessandra Di Pierro, Herbert Wiklicky: Preface. Electr. Notes Theor. Comput. Sci. 164(3): 1-2 (2006)
2005
38	EE	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. FMCO 2005: 388-407
37	EE	Antonio Cerone, Alessandra Di Pierro: Preface. Electr. Notes Theor. Comput. Sci. 112: 1-3 (2005)
36	EE	Alessandro Aldini, Alessandra Di Pierro: On Quantitative Analysis of Probabilistic Protocols. Electr. Notes Theor. Comput. Sci. 112: 131-148 (2005)
35	EE	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Continuous-Time Probabilistic KLAIM. Electr. Notes Theor. Comput. Sci. 128(5): 27-38 (2005)
34	EE	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Quantitative static analysis of distributed systems. J. Funct. Program. 15(5): 703-749 (2005)
33	EE	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic /lambda-calculus and Quantitative Program Analysis. J. Log. Comput. 15(2): 159-179 (2005)
32	EE	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Measuring the confinement of probabilistic systems. Theor. Comput. Sci. 340(1): 3-56 (2005)
31	EE	Antonio Cerone, Alessandra Di Pierro: Preface. Theor. Comput. Sci. 346(1): 1-2 (2005)
2004
30	EE	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic KLAIM. COORDINATION 2004: 119-134
29	EE	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic Linda-Based Coordination Languages. FMCO 2004: 120-140
28	EE	Alessandro Aldini, Alessandra Di Pierro: A Quantitative Approach to Noninterference for Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 99: 155-182 (2004)
27		Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Approximate Non-interference. Journal of Computer Security 12(1): 37-82 (2004)
2003
26	EE	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Quantitative Relations and Approximate Process Equivalences. CONCUR 2003: 498-512
2002
25	EE	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Approximate Non-Interference. CSFW 2002: 3-17
24	EE	Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky: Two Formal Approaches for Approximating Noninterference Properties. FOSAD 2002: 1-43
23	EE	Alessandra Di Pierro, Herbert Wiklicky: Probabilistic Abstract Interpretation and Statistical Testing. PAPM-PROBMIV 2002: 211-212
22	EE	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Analysing Approximate Confinement under Uniform Attacks. SAS 2002: 310-325
21	EE	Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky: Probabilistic Constraint Handling Rules. Electr. Notes Theor. Comput. Sci. 76: (2002)
2001
20	EE	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic confinement in a declarative framework. Electr. Notes Theor. Comput. Sci. 48: (2001)
19	EE	Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky: Linear Embedding for a Quantitative Comparison of Language Expressiveness. Electr. Notes Theor. Comput. Sci. 59(3): (2001)
2000
18	EE	Alessandra Di Pierro, Herbert Wiklicky: On the precision of abstract interpretations. LOPSTR 2000
17	EE	Alessandra Di Pierro, Herbert Wiklicky: Measuring the Precision of Abstract Interpretations. LOPSTR (LNCS 2042: Selected Papers) 2000: 147-164
16	EE	Alessandra Di Pierro, Herbert Wiklicky: Concurrent constraint programming: towards probabilistic abstract interpretation. PPDP 2000: 127-138
15	EE	Alessandra Di Pierro, Herbert Wiklicky: Linear Structures for Concurrency in Probabilistic Programming Languages. Electr. Notes Theor. Comput. Sci. 40: (2000)
1999
14	EE	Alessandra Di Pierro, Herbert Wiklicky: Quantitative Observables and Averages in Probabilistic Constraint Programming. New Trends in Constraints 1999: 212-236
1998
13		Alessandra Di Pierro, Herbert Wiklicky: A Markov Model for Probabilistic Concurrent Constraint Programming. APPIA-GULP-PRODE 1998: 15-28
12	EE	Alessandra Di Pierro, Herbert Wiklicky: An Operational Semantics for Probabilistic Concurrent Constraint Programming. ICCL 1998: 174-183
11		Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky: Implementing Randomised Algorithms in Constraint Logic Programming. IJCSLP 1998: 355-356
10	EE	Alessandra Di Pierro, Herbert Wiklicky: Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model. MFCS 1998: 446-455
1997
9		Alessandra Di Pierro, Herbert Wiklicky: On Probabilistic CCP. APPIA-GULP-PRODE 1997: 225-234
8		Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi: An Algebraic Perspective of Constraint Logic Programming. J. Log. Comput. 7(1): 1-38 (1997)
1996
7		Alessandra Di Pierro, Wlodzimierz Drabent: On Negation As Instantiation. ALP 1996: 32-46
6		Alessandra Di Pierro, Wlodzimierz Drabent: On Quantified Negatives Queries. APPIA-GULP-PRODE 1996: 179-190
1995
5		Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi: Negation as Instantiation Inf. Comput. 120(2): 263-278 (1995)
4	EE	Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi: Nondeterminism and Infinite Computations in Constraint Programming. Theor. Comput. Sci. 151(1): 37-78 (1995)
1994
3		Alessandra Di Pierro, Catuscia Palamidessi: A Logical Denotational Semantics for Constraint Logic Programming. ESOP 1994: 195-210
1993
2		Alessandra Di Pierro: Amalgamating NAF with NAI. GULP 1993: 309-324
1991
1		Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi: Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. ICLP 1991: 32-45

Coauthor Index

1	Alessandro Aldini	[24] [28] [36]
2	Nicos Angelopoulos	[11]
3	Frank S. de Boer	[4] [8]
4	Mario Bravetti	[24]
5	Antonio Brogi	[19]
6	Antonio Cerone	[31] [37]
7	Wlodzimierz Drabent (Wlodek Drabent)	[6] [7]
8	Thom W. Frühwirth	[21]
9	Roberto Gorrieri	[24]
10	Chris Hankin	[20] [22] [24] [25] [26] [27] [29] [30] [32] [33] [34] [35] [38] [41] [42] [44] [45] [46]
11	Maurizio Martelli	[1] [5]
12	Catuscia Palamidessi	[1] [3] [4] [5] [8]
13	Igor Siveroni	[44]
14	Herbert Wiklicky	[9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [29] [30] [32] [33] [34] [35] [38] [39] [40] [41] [42] [43] [44] [45] [46]

Colors in the list of coauthors