2008 |
46 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Quantifying Timing Leaks and Cost Optimisation.
ICICS 2008: 81-96 |
45 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Quantifying Timing Leaks and Cost Optimisation
CoRR abs/0807.3879: (2008) |
44 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
Semantic Abstraction and Quantum Computation.
Electr. Notes Theor. Comput. Sci. 210: 49-63 (2008) |
43 | EE | 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) |
2007 |
42 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
A Systematic Approach to Probabilistic Pointer Analysis.
APLAS 2007: 335-350 |
41 | 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) |
40 | 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) |
39 | | Alessandra Di Pierro,
Herbert Wiklicky:
Preface: Quantitative aspects of programming languages.
Theor. Comput. Sci. 382(1): 1-2 (2007) |
2006 |
38 | | Paolo Ciancarini,
Herbert Wiklicky:
Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Springer 2006 |
37 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Abstract Interpretation for Worst and Average Case Analysis.
Program Analysis and Compilation 2006: 160-174 |
36 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
On Reversible Combinatory Logic.
Electr. Notes Theor. Comput. Sci. 135(3): 25-35 (2006) |
35 | EE | Antonio Cerone,
Herbert Wiklicky:
Preface.
Electr. Notes Theor. Comput. Sci. 153(2): 1-3 (2006) |
34 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
Operator Algebras and the Operational Semantics of Probabilistic Languages.
Electr. Notes Theor. Comput. Sci. 161: 131-150 (2006) |
33 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
Preface.
Electr. Notes Theor. Comput. Sci. 164(3): 1-2 (2006) |
32 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Reversible combinatory logic.
Mathematical Structures in Computer Science 16(4): 621-637 (2006) |
2005 |
31 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages.
FMCO 2005: 388-407 |
30 | EE | Luca Bortolussi,
Herbert Wiklicky:
A Distributed and Probabilistic Concurrent Constraint Programming Language.
ICLP 2005: 143-158 |
29 | EE | Chris Hankin,
Herbert Wiklicky:
lambda-calculus and Quantitative Program Analysis: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 112: 5-18 (2005) |
28 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Continuous-Time Probabilistic KLAIM.
Electr. Notes Theor. Comput. Sci. 128(5): 27-38 (2005) |
27 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Quantitative static analysis of distributed systems.
J. Funct. Program. 15(5): 703-749 (2005) |
26 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Probabilistic /lambda-calculus and Quantitative Program Analysis.
J. Log. Comput. 15(2): 159-179 (2005) |
25 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Measuring the confinement of probabilistic systems.
Theor. Comput. Sci. 340(1): 3-56 (2005) |
2004 |
24 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Probabilistic KLAIM.
COORDINATION 2004: 119-134 |
23 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Probabilistic Linda-Based Coordination Languages.
FMCO 2004: 120-140 |
22 | | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Approximate Non-interference.
Journal of Computer Security 12(1): 37-82 (2004) |
2003 |
21 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Quantitative Relations and Approximate Process Equivalences.
CONCUR 2003: 498-512 |
2002 |
20 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Approximate Non-Interference.
CSFW 2002: 3-17 |
19 | 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 |
18 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
Probabilistic Abstract Interpretation and Statistical Testing.
PAPM-PROBMIV 2002: 211-212 |
17 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Analysing Approximate Confinement under Uniform Attacks.
SAS 2002: 310-325 |
16 | EE | Thom W. Frühwirth,
Alessandra Di Pierro,
Herbert Wiklicky:
Probabilistic Constraint Handling Rules.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
2001 |
15 | EE | Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky:
Probabilistic confinement in a declarative framework.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
14 | 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 |
13 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
On the precision of abstract interpretations.
LOPSTR 2000 |
12 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
Measuring the Precision of Abstract Interpretations.
LOPSTR (LNCS 2042: Selected Papers) 2000: 147-164 |
11 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
Concurrent constraint programming: towards probabilistic abstract interpretation.
PPDP 2000: 127-138 |
10 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
Linear Structures for Concurrency in Probabilistic Programming Languages.
Electr. Notes Theor. Comput. Sci. 40: (2000) |
1999 |
9 | EE | Alessandra Di Pierro,
Herbert Wiklicky:
Quantitative Observables and Averages in Probabilistic Constraint Programming.
New Trends in Constraints 1999: 212-236 |
1998 |
8 | | Alessandra Di Pierro,
Herbert Wiklicky:
A Markov Model for Probabilistic Concurrent Constraint Programming.
APPIA-GULP-PRODE 1998: 15-28 |
7 | | Alessandra Di Pierro,
Herbert Wiklicky:
A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming.
CATS 1998: 245-260 |
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 |