| 2007 |
|---|
| 40 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
A Systematic Approach to Probabilistic Pointer Analysis.
APLAS 2007: 335-350 |
| 39 | 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) |
| 38 | 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) |
| 37 | | Alessandra Di Pierro,
Herbert Wiklicky:
Preface: Quantitative aspects of programming languages.
Theor. Comput. Sci. 382(1): 1-2 (2007) |
| 2006 |
|---|
| 36 | | Paolo Ciancarini,
Herbert Wiklicky:
Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Springer 2006 |
| 35 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Abstract Interpretation for Worst and Average Case Analysis.
Program Analysis and Compilation 2006: 160-174 |
| 34 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
On Reversible Combinatory Logic.
Electr. Notes Theor. Comput. Sci. 135(3): 25-35 (2006) |
| 33 | EE | Antonio Cerone,
Herbert Wiklicky:
Preface.
Electr. Notes Theor. Comput. Sci. 153(2): 1-3 (2006) |
| 32 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
Operator Algebras and the Operational Semantics of Probabilistic Languages.
Electr. Notes Theor. Comput. Sci. 161: 131-150 (2006) |
| 31 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
Preface.
Electr. Notes Theor. Comput. Sci. 164(3): 1-2 (2006) |
| 2005 |
|---|
| 30 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages.
FMCO 2005: 388-407 |
| 29 | EE | Luca Bortolussi,
Herbert Wiklicky:
A Distributed and Probabilistic Concurrent Constraint Programming Language.
ICLP 2005: 143-158 |
| 28 | EE | Chris Hankin,
Herbert Wiklicky:
lambda-calculus and Quantitative Program Analysis: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 112: 5-18 (2005) |
| 27 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Continuous-Time Probabilistic KLAIM.
Electr. Notes Theor. Comput. Sci. 128(5): 27-38 (2005) |
| 26 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Quantitative static analysis of distributed systems.
J. Funct. Program. 15(5): 703-749 (2005) |
| 25 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Probabilistic /lambda-calculus and Quantitative Program Analysis.
J. Log. Comput. 15(2): 159-179 (2005) |
| 24 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Measuring the confinement of probabilistic systems.
Theor. Comput. Sci. 340(1): 3-56 (2005) |
| 2004 |
|---|
| 23 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Probabilistic KLAIM.
COORDINATION 2004: 119-134 |
| 22 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Probabilistic Linda-Based Coordination Languages.
FMCO 2004: 120-140 |
| 21 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Approximate Non-interference.
Journal of Computer Security 12(1): 37-82 (2004) |
| 2003 |
|---|
| 20 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Quantitative Relations and Approximate Process Equivalences.
CONCUR 2003: 498-512 |
| 2002 |
|---|
| 19 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Approximate Non-Interference.
CSFW 2002: 3-17 |
| 18 | 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 |
| 17 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
Probabilistic Abstract Interpretation and Statistical Testing.
PAPM-PROBMIV 2002: 211-212 |
| 16 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Analysing Approximate Confinement under Uniform Attacks.
SAS 2002: 310-325 |
| 15 | EE | Thom W. Frühwirth,
Alessandra Di Pierro,
Herbert Wiklicky:
Probabilistic Constraint Handling Rules.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
| 2001 |
|---|
| 14 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Probabilistic confinement in a declarative framework.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
| 13 | 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 |
|---|
| 12 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
On the precision of abstract interpretations.
LOPSTR 2000 |
| 11 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
Measuring the Precision of Abstract Interpretations.
LOPSTR (LNCS 2042: Selected Papers) 2000: 147-164 |
| 10 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
Concurrent constraint programming: towards probabilistic abstract interpretation.
PPDP 2000: 127-138 |
| 9 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
Linear Structures for Concurrency in Probabilistic Programming Languages.
Electr. Notes Theor. Comput. Sci. 40: (2000) |
| 1999 |
|---|
| 8 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
Quantitative Observables and Averages in Probabilistic Constraint Programming.
New Trends in Constraints 1999: 212-236 |
| 1998 |
|---|
| 7 | | Alessandra Di Pierro,
Herbert Wiklicky:
A Markov Model for Probabilistic Concurrent Constraint Programming.
APPIA-GULP-PRODE 1998: 15-28 |
| 6 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
An Operational Semantics for Probabilistic Concurrent Constraint Programming.
ICCL 1998: 174-183 |
| 5 | | Nicos Angelopoulos,
Alessandra Di Pierro,
Herbert Wiklicky:
Implementing Randomised Algorithms in Constraint Logic Programming.
IJCSLP 1998: 355-356 |
| 4 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model.
MFCS 1998: 446-455 |
| 1997 |
|---|
| 3 | | Alessandra Di Pierro,
Herbert Wiklicky:
On Probabilistic CCP.
APPIA-GULP-PRODE 1997: 225-234 |
| 1993 |
|---|
| 2 | EE | Herbert Wiklicky:
On the Non-Existence of a Universal Learning Algorithm for Recurrent Neural Networks.
NIPS 1993: 431-436 |
| 1991 |
|---|
| 1 | | Georg Dorffner,
Erich Prem,
Claudia Ulbricht,
Herbert Wiklicky:
Theory and Practice of Neural Networks.
Wissensbasierte Systeme 1991: 476-485 |
