Publications Home » Authors » Dr Alessandra Di Pierro
Authors
Dr Alessandra Di Pierro
19 publications for this author.
Book Chapter
- Two formal approaches for approximating noninterference properties
- Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
- International school on foundations of security analysis and design, Bertinoro, ITALY, 2002
- Volume 2946, pp.1–43
- Springer Verlag
- 2004
Journal Articles
- Reversible Combinatory Logic
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- Mathematical Structures in Computer Science
- Volume 16, Issue 4, pp.1–17
- 2006
- Quantitative static analysis of distributed systems
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- Journal of Functional Programming
- Volume 15, Issue 5, pp.1–49
- Cambridge University Press
- September, 2005
- Measuring the confinement of probabilistic systems
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- Theoretical Computer Science
- Volume 340, Issue 1, pp.3–56
- June, 2005
- Probabilistic Lambda-calculus and Quantitative Program Analysis
![[PDF]](/decor/icon-pdf-mini.png)
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- Journal of Logic and Computation
- Volume 15, Issue 2, pp.159–179
- Oxford University Press
- April, 2005
- Approximate Non-Interference
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- Journal of Computer Security
- Volume 12, Issue 1, pp.37–81
- 2004
Conference and Workshop Papers
- On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005
- Volume 4111, pp.388–407
- Lecture Notes in Computer Science, Springer Verlag
- November, 2006
- On Reversible Combinatory Logic
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- First International Workshop on Developments in Computational Models (DCM 2005)
- Volume 135, Issue 3, pp.25–35
- Electronic Notes in Theoretical Computer Science, Elsevier
- March, 2006
- Probabilistic Linda-based coordination languages
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- 3rd International Symposium on Formal Methods for Components and Objects, 02 - 05 November 2004, Leiden, Netherlands
- Volume 3657, pp.120–140
- Springer Verlag
- October, 2005
- Continuous-Time Probabilistic KLAIM
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004)
- Volume 128, Issue 5, pp.27–38
- Electronic Notes in Theoretical Computer Science, Elsevier
- May, 2005
- Probabilistic KLAIM
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- 6th international conference on coordination models and languages (COORDINATION 2004), Pisa Univ, Comp Sci Dept, Pisa, ITALY
- Volume 2949, pp.119–134
- Springer Verlag
- 2004
- Measuring the confinement of concurrent probabilistic systems
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- Proceedings of WITS'03: workshop on issues in the theory of security. 2003 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS, Warsaw, Poland, 5 - 6 April 2003
- pp.1–10
- 2003
- Quantitative relations and approximate process equivalences
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- 14th international conference on concurrency theory, Marseille, France, 2003
- Volume 2761, pp.508–522
- Springer Verlag
- 2003
- Linear embedding for a quantitative comparison of language expressiveness
![[GZipped Postscript]](/decor/icon-gzps-mini.png)
- Antonio Brogi, Herbert Wiklicky, Alessandra Di Pierro
- QAPL'01, Quantitative Aspects of Programming Languages
- Volume 59, Issue 3, pp.207–237
- Electronic Notes in Theoretical Computer Science, Elsevier
- November, 2002
- Probabilistic constraint handling rules
- Thom Frühwirth, Alessandra Di Pierro, Herbert Wiklicky
- WFLP 2002, 11th International Workshop on Functional and (Constraint) Logic Programming
- Volume 76, pp.1–16
- Electronic Notes in Theoretical Computer Science, Elsevier
- November, 2002
- Analysing approximate confinement under uniform attacks
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- 9th international static analysis symposium, Madrid, Spain, 2002
- Volume 2477, pp.310–325
- Springer Verlag
- 2002
- Approximate non-interference
- Chris Hankin, Herbert Wiklicky, Alessandra Di Pierro
- 15th IEEE computer security foundations workshop (CSFW-15), 2002
- pp.3–17
- IEEE Computer Soc
- 2002
- Measuring the precision of abstract interpretations
- Alessandra Di Pierro, Herbert Wiklicky
- 10th international workshop on logic based program synthesis and transformation, London, England
- Volume 2042, pp.147–164
- Springer Verlag
- 2001
Proceedings Edited
- Proceedings of the First Workshop on Quantitative Aspects of Programming Languages (QAPL 2001)
- Alessandra Di Pierro, Herbert Wiklicky
- Volume 59, Issue 3
- Elsevier
- 2001
BibTeX file for these publications
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.