| Approximate non-interference A Di Pierro, C Hankin, H Wiklicky Journal of Computer Security 12 (1), 37-81, 2004 | 198 | 2004 |
| Probabilistic λ-calculus and quantitative program analysis A Di Pierro, C Hankin, H Wiklicky Journal of Logic and Computation 15 (2), 159-179, 2005 | 70 | 2005 |
| Concurrent constraint programming: towards probabilistic abstract interpretation A Di Pierro, H Wiklicky PPDP 10, 351268.351284, 2000 | 68 | 2000 |
| Quantitative relations and approximate process equivalences A Di Pierro, C Hankin, H Wiklicky International Conference on Concurrency Theory, 508-522, 2003 | 61 | 2003 |
| An operational semantics for probabilistic concurrent constraint programming A Di Pierro, H Wiklicky Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998 | 58 | 1998 |
| Measuring the confinement of probabilistic systems A Di Pierro, C Hankin, H Wiklicky Theoretical Computer Science 340 (1), 3-56, 2005 | 49 | 2005 |
| Measuring the precision of abstract interpretations KK Lau, A Di Pierro, H Wiklicky Logic Based Program Synthesis and Transformation: 10th International …, 2001 | 48 | 2001 |
| Probabilistic constraint handling rules T Frühwirth, A Di Pierro, H Wiklicky Electronic Notes in Theoretical Computer Science 76, 115-130, 2002 | 43 | 2002 |
| Probabilistic klaim A Di Pierro, C Hankin, H Wiklicky International Conference on Coordination Languages and Models, 119-134, 2004 | 35 | 2004 |
| Two formal approaches for approximating noninterference properties A Aldini, M Bravetti, A Di Pierro, R Gorrieri, C Hankin, H Wiklicky Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial …, 2004 | 32 | 2004 |
| Reversible combinatory logic A Di Pierro, C Hankin, H Wiklicky Mathematical Structures in Computer Science 16 (4), 621-637, 2006 | 31 | 2006 |
| Quantifying timing leaks and cost optimisation A Di Pierro, C Hankin, H Wiklicky Information and Communications Security: 10th International Conference …, 2008 | 25 | 2008 |
| Quantitative static analysis of distributed systems A Di Pierro, C Hankin, H Wiklicky Journal of Functional Programming 15 (5), 703-749, 2005 | 25 | 2005 |
| Probabilistic concurrent constraint programming: Towards a fully abstract model A Di Pierro, H Wiklicky Mathematical Foundations of Computer Science 1998: 23rd International …, 1998 | 25 | 1998 |
| Continuous-time probabilistic KLAIM A Di Pierro, C Hankin, H Wiklicky Electronic Notes in Theoretical Computer Science 128 (5), 27-38, 2005 | 20 | 2005 |
| Quantitative observables and averages in probabilistic constraint programming AD Pierro, H Wiklicky New Trends in Constraints: Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus …, 2000 | 20 | 2000 |
| Probabilistic abstract interpretation and statistical testing A Di Pierro, H Wiklicky Joint International Workshop von Process Algebra and Probabilistic Methods …, 2002 | 19 | 2002 |
| Transitivity and ergodicity of Quantum systems H Narnhofer, W Thirring, H Wiklicky Journal of statistical physics 52, 1097-1112, 1988 | 17 | 1988 |
| Toward probabilistic constraint handling rules T Frühwirth, A Di Pierro, H Wiklicky Proceedings of the third Workshop on Rule-Based Constraint Reasoning and …, 2001 | 16 | 2001 |
| Probabilistic confinement in a declarative framework A Di Pierro, C Hankin, H Wiklicky Electronic Notes in Theoretical Computer Science 48, 108-130, 2001 | 15 | 2001 |
