 | 2008 |
|---|
| 53 |       | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Quantifying Timing Leaks and Cost Optimisation.
ICICS 2008: 81-96 |
| 52 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Quantifying Timing Leaks and Cost Optimisation
CoRR abs/0807.3879: (2008) |
| 51 | | Alessandra Di Pierro,
Herbert Wiklicky:
Semantic Abstraction and Quantum Computation.
Electr. Notes Theor. Comput. Sci. 210: 49-63 (2008) |
| 50 | | Alessandra Di Pierro,
Pascal Sotin,
Herbert Wiklicky:
Relational Analysis and Precision via Probabilistic Abstract Interpretation.
Electr. Notes Theor. Comput. Sci. 220(3): 23-42 (2008) |
| 49 | | Alessandro Aldini,
Alessandra Di Pierro:
Estimating the maximum information leakage.
Int. J. Inf. Sec. 7(3): 219-242 (2008) |
| 2007 |
|---|
| 48 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
A Systematic Approach to Probabilistic Pointer Analysis.
APLAS 2007: 335-350 |
| 47 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
On Probabilistic Techniques for Data Flow Analysis.
Electr. Notes Theor. Comput. Sci. 190(3): 59-77 (2007) |
| 46 | | Alessandra Di Pierro,
Chris Hankin,
Igor Siveroni,
Herbert Wiklicky:
Tempus fugit: How to plug it.
J. Log. Algebr. Program. 72(2): 173-190 (2007) |
| 45 |  | Alessandra Di Pierro,
Herbert Wiklicky:
Preface: Quantitative aspects of programming languages.
Theor. Comput. Sci. 382(1): 1-2 (2007) |
| 2006 |
|---|
| 44 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Abstract Interpretation for Worst and Average Case Analysis.
Program Analysis and Compilation 2006: 160-174 |
| 43 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
On Reversible Combinatory Logic.
Electr. Notes Theor. Comput. Sci. 135(3): 25-35 (2006) |
| 42 | | Alessandra Di Pierro,
Herbert Wiklicky:
Operator Algebras and the Operational Semantics of Probabilistic Languages.
Electr. Notes Theor. Comput. Sci. 161: 131-150 (2006) |
| 41 | | Alessandra Di Pierro,
Herbert Wiklicky:
Preface.
Electr. Notes Theor. Comput. Sci. 164(3): 1-2 (2006) |
| 40 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Reversible combinatory logic.
Mathematical Structures in Computer Science 16(4): 621-637 (2006) |
| 2005 |
|---|
| 39 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages.
FMCO 2005: 388-407 |
| 38 | | Antonio Cerone,
Alessandra Di Pierro:
Preface.
Electr. Notes Theor. Comput. Sci. 112: 1-3 (2005) |
| 37 | | Alessandro Aldini,
Alessandra Di Pierro:
On Quantitative Analysis of Probabilistic Protocols.
Electr. Notes Theor. Comput. Sci. 112: 131-148 (2005) |
| 36 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Continuous-Time Probabilistic KLAIM.
Electr. Notes Theor. Comput. Sci. 128(5): 27-38 (2005) |
| 35 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Quantitative static analysis of distributed systems.
J. Funct. Program. 15(5): 703-749 (2005) |
| 34 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Probabilistic /lambda-calculus and Quantitative Program Analysis.
J. Log. Comput. 15(2): 159-179 (2005) |
| 33 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Measuring the confinement of probabilistic systems.
Theor. Comput. Sci. 340(1): 3-56 (2005) |
| 32 | | Antonio Cerone,
Alessandra Di Pierro:
Preface.
Theor. Comput. Sci. 346(1): 1-2 (2005) |
| 2004 |
|---|
| 31 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Probabilistic KLAIM.
COORDINATION 2004: 119-134 |
| 30 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Probabilistic Linda-Based Coordination Languages.
FMCO 2004: 120-140 |
| 29 | | Alessandro Aldini,
Alessandra Di Pierro:
A Quantitative Approach to Noninterference for Probabilistic Systems.
Electr. Notes Theor. Comput. Sci. 99: 155-182 (2004) |
| 28 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Approximate Non-interference.
Journal of Computer Security 12(1): 37-82 (2004) |
| 2003 |
|---|
| 27 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Quantitative Relations and Approximate Process Equivalences.
CONCUR 2003: 498-512 |
| 2002 |
|---|
| 26 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Approximate Non-Interference.
CSFW 2002: 3-17 |
| 25 | | Alessandro Aldini,
Mario Bravetti,
Alessandra Di Pierro,
Roberto Gorrieri,
Chris Hankin,
Herbert Wiklicky:
Two Formal Approaches for Approximating Noninterference Properties.
FOSAD 2002: 1-43 |
| 24 | | Alessandra Di Pierro,
Herbert Wiklicky:
Probabilistic Abstract Interpretation and Statistical Testing.
PAPM-PROBMIV 2002: 211-212 |
| 23 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Analysing Approximate Confinement under Uniform Attacks.
SAS 2002: 310-325 |
| 22 | | Thom W. Frühwirth,
Alessandra Di Pierro,
Herbert Wiklicky:
Probabilistic Constraint Handling Rules.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
| 2001 |
|---|
| 21 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Probabilistic confinement in a declarative framework.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
| 20 | | 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 |
|---|
| 19 | | Alessandra Di Pierro,
Herbert Wiklicky:
On the precision of abstract interpretations.
LOPSTR 2000 |
| 18 | | Alessandra Di Pierro,
Herbert Wiklicky:
Measuring the Precision of Abstract Interpretations.
LOPSTR (LNCS 2042: Selected Papers) 2000: 147-164 |
| 17 | | Alessandra Di Pierro,
Herbert Wiklicky:
Concurrent constraint programming: towards probabilistic abstract interpretation.
PPDP 2000: 127-138 |
| 16 | | Alessandra Di Pierro,
Herbert Wiklicky:
Linear Structures for Concurrency in Probabilistic Programming Languages.
Electr. Notes Theor. Comput. Sci. 40: (2000) |
| 1999 |
|---|
| 15 | | Alessandra Di Pierro,
Herbert Wiklicky:
Quantitative Observables and Averages in Probabilistic Constraint Programming.
New Trends in Constraints 1999: 212-236 |
| 1998 |
|---|
| 14 | | Alessandra Di Pierro,
Herbert Wiklicky:
A Markov Model for Probabilistic Concurrent Constraint Programming.
APPIA-GULP-PRODE 1998: 15-28 |
| 13 | | Alessandra Di Pierro,
Herbert Wiklicky:
A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming.
CATS 1998: 245-260 |
| 12 | | 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 | | 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 | | 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 |
