| 2016 | Coordination | On Dynamical Probabilities, or: How to Learn to Shoot Straight. | Herbert Wiklicky |
| 2013 | APLAS | Semantics of Probabilistic Programs: A Weak Limit Approach. | Alessandra Di Pierro, Herbert Wiklicky |
| 2008 | ICICS | Quantifying Timing Leaks and Cost Optimisation. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2007 | APLAS | A Systematic Approach to Probabilistic Pointer Analysis. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2005 | ICLP | A Distributed and Probabilistic Concurrent Constraint Programming Language. | Luca Bortolussi, Herbert Wiklicky |
| 2004 | Coordination | Probabilistic KLAIM. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2003 | CONCUR | Quantitative Relations and Approximate Process Equivalences. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2002 | SAS | Analysing Approximate Confinement under Uniform Attacks. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2000 | LOPSTR | On the precision of abstract interpretations. | Alessandra Di Pierro, Herbert Wiklicky |
| 2000 | LOPSTR | Measuring the Precision of Abstract Interpretations. | Alessandra Di Pierro, Herbert Wiklicky |
| 2000 | PPDP | Concurrent constraint programming: towards probabilistic abstract interpretation. | Alessandra Di Pierro, Herbert Wiklicky |
| 1998 | ICLP | Implementing Randomised Algorithms in Constraint Logic Programming. | Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky |
| 1998 | MFCS | Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model. | Alessandra Di Pierro, Herbert Wiklicky |
| 1991 | WI | Theory and Practice of Neural Networks. | Georg Dorffner, Erich Prem, Claudia Ulbricht, Herbert Wiklicky |