|
Search the dblp DataBase
Alessandra Di Pierro:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alessandra Di Pierro
Amalgamating NAF with NAI. [Citation Graph (0, 0)][DBLP] GULP, 1993, pp:309-324 [Conf]
- Alessandra Di Pierro, Wlodzimierz Drabent
On Quantified Negatives Queries. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1996, pp:179-190 [Conf]
- Alessandra Di Pierro, Herbert Wiklicky
On Probabilistic CCP. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1997, pp:225-234 [Conf]
- Alessandra Di Pierro, Herbert Wiklicky
A Markov Model for Probabilistic Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1998, pp:15-28 [Conf]
- Alessandra Di Pierro, Wlodzimierz Drabent
On Negation As Instantiation. [Citation Graph (0, 0)][DBLP] ALP, 1996, pp:32-46 [Conf]
- Alessandra Di Pierro, Herbert Wiklicky
Quantitative Observables and Averages in Probabilistic Constraint Programming. [Citation Graph (0, 0)][DBLP] New Trends in Constraints, 1999, pp:212-236 [Conf]
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantitative Relations and Approximate Process Equivalences. [Citation Graph (0, 0)][DBLP] CONCUR, 2003, pp:498-512 [Conf]
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic KLAIM. [Citation Graph (0, 0)][DBLP] COORDINATION, 2004, pp:119-134 [Conf]
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Approximate Non-Interference. [Citation Graph (0, 0)][DBLP] CSFW, 2002, pp:3-17 [Conf]
- Alessandra Di Pierro, Catuscia Palamidessi
A Logical Denotational Semantics for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] ESOP, 1994, pp:195-210 [Conf]
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic Linda-Based Coordination Languages. [Citation Graph (0, 0)][DBLP] FMCO, 2004, pp:120-140 [Conf]
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. [Citation Graph (0, 0)][DBLP] FMCO, 2005, pp:388-407 [Conf]
- Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
Two Formal Approaches for Approximating Noninterference Properties. [Citation Graph (0, 0)][DBLP] FOSAD, 2002, pp:1-43 [Conf]
- Alessandra Di Pierro, Herbert Wiklicky
An Operational Semantics for Probabilistic Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP] ICCL, 1998, pp:174-183 [Conf]
- Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky
Implementing Randomised Algorithms in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] IJCSLP, 1998, pp:355-356 [Conf]
- Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi
Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. [Citation Graph (0, 0)][DBLP] ICLP, 1991, pp:32-45 [Conf]
- Alessandra Di Pierro, Herbert Wiklicky
On the precision of abstract interpretations. [Citation Graph (0, 0)][DBLP] LOPSTR, 2000, pp:- [Conf]
- Alessandra Di Pierro, Herbert Wiklicky
Measuring the Precision of Abstract Interpretations. [Citation Graph (0, 0)][DBLP] LOPSTR (LNCS 2042: Selected Papers), 2000, pp:147-164 [Conf]
- Alessandra Di Pierro, Herbert Wiklicky
Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model. [Citation Graph (0, 0)][DBLP] MFCS, 1998, pp:446-455 [Conf]
- Alessandra Di Pierro, Herbert Wiklicky
Probabilistic Abstract Interpretation and Statistical Testing. [Citation Graph (0, 0)][DBLP] PAPM-PROBMIV, 2002, pp:211-212 [Conf]
- Alessandra Di Pierro, Herbert Wiklicky
Concurrent constraint programming: towards probabilistic abstract interpretation. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:127-138 [Conf]
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Analysing Approximate Confinement under Uniform Attacks. [Citation Graph (0, 0)][DBLP] SAS, 2002, pp:310-325 [Conf]
- Alessandro Aldini, Alessandra Di Pierro
A Quantitative Approach to Noninterference for Probabilistic Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:155-182 [Journal]
- Alessandro Aldini, Alessandra Di Pierro
On Quantitative Analysis of Probabilistic Protocols. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:131-148 [Journal]
- Antonio Cerone, Alessandra Di Pierro
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:1-3 [Journal]
- Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky
Probabilistic Constraint Handling Rules. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic confinement in a declarative framework. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Continuous-Time Probabilistic KLAIM. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:5, pp:27-38 [Journal]
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
On Reversible Combinatory Logic. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:25-35 [Journal]
- Alessandra Di Pierro, Herbert Wiklicky
Linear Structures for Concurrency in Probabilistic Programming Languages. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal]
- Alessandra Di Pierro, Herbert Wiklicky
Operator Algebras and the Operational Semantics of Probabilistic Languages. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:131-150 [Journal]
- Alessandra Di Pierro, Herbert Wiklicky
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:1-2 [Journal]
- Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi
Negation as Instantiation [Citation Graph (0, 0)][DBLP] Inf. Comput., 1995, v:120, n:2, pp:263-278 [Journal]
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Approximate Non-interference. [Citation Graph (0, 0)][DBLP] Journal of Computer Security, 2004, v:12, n:1, pp:37-82 [Journal]
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantitative static analysis of distributed systems. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2005, v:15, n:5, pp:703-749 [Journal]
- Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi
An Algebraic Perspective of Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1997, v:7, n:1, pp:1-38 [Journal]
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic /lambda-calculus and Quantitative Program Analysis. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2005, v:15, n:2, pp:159-179 [Journal]
- Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi
Nondeterminism and Infinite Computations in Constraint Programming. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1995, v:151, n:1, pp:37-78 [Journal]
- Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
Linear Embedding for a Quantitative Comparison of Language Expressiveness. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:59, n:3, pp:- [Journal]
- Antonio Cerone, Alessandra Di Pierro
Preface. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:346, n:1, pp:1-2 [Journal]
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Measuring the confinement of probabilistic systems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:340, n:1, pp:3-56 [Journal]
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Abstract Interpretation for Worst and Average Case Analysis. [Citation Graph (0, 0)][DBLP] Program Analysis and Compilation, 2006, pp:160-174 [Conf]
- Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
On Probabilistic Techniques for Data Flow Analysis. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:59-77 [Journal]
- Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky
Tempus fugit: How to plug it. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2007, v:72, n:2, pp:173-190 [Journal]
- Alessandra Di Pierro, Herbert Wiklicky
Preface: Quantitative aspects of programming languages. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2007, v:382, n:1, pp:1-2 [Journal]
A Systematic Approach to Probabilistic Pointer Analysis. [Citation Graph (, )][DBLP]
A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming. [Citation Graph (, )][DBLP]
Quantifying Timing Leaks and Cost Optimisation. [Citation Graph (, )][DBLP]
Probabilistic Semantics and Program Analysis. [Citation Graph (, )][DBLP]
Quantifying Timing Leaks and Cost Optimisation [Citation Graph (, )][DBLP]
Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages [Citation Graph (, )][DBLP]
Semantic Abstraction and Quantum Computation. [Citation Graph (, )][DBLP]
Relational Analysis and Precision via Probabilistic Abstract Interpretation. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Search in 0.027secs, Finished in 0.029secs
|