The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alessandra Di Pierro: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alessandra Di Pierro
    Amalgamating NAF with NAI. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:309-324 [Conf]
  2. Alessandra Di Pierro, Wlodzimierz Drabent
    On Quantified Negatives Queries. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:179-190 [Conf]
  3. Alessandra Di Pierro, Herbert Wiklicky
    On Probabilistic CCP. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:225-234 [Conf]
  4. 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]
  5. Alessandra Di Pierro, Wlodzimierz Drabent
    On Negation As Instantiation. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:32-46 [Conf]
  6. 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]
  7. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Quantitative Relations and Approximate Process Equivalences. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:498-512 [Conf]
  8. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Probabilistic KLAIM. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:119-134 [Conf]
  9. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Approximate Non-Interference. [Citation Graph (0, 0)][DBLP]
    CSFW, 2002, pp:3-17 [Conf]
  10. Alessandra Di Pierro, Catuscia Palamidessi
    A Logical Denotational Semantics for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:195-210 [Conf]
  11. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Probabilistic Linda-Based Coordination Languages. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:120-140 [Conf]
  12. 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]
  13. 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]
  14. Alessandra Di Pierro, Herbert Wiklicky
    An Operational Semantics for Probabilistic Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ICCL, 1998, pp:174-183 [Conf]
  15. 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]
  16. 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]
  17. Alessandra Di Pierro, Herbert Wiklicky
    On the precision of abstract interpretations. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  18. 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]
  19. 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]
  20. Alessandra Di Pierro, Herbert Wiklicky
    Probabilistic Abstract Interpretation and Statistical Testing. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:211-212 [Conf]
  21. Alessandra Di Pierro, Herbert Wiklicky
    Concurrent constraint programming: towards probabilistic abstract interpretation. [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:127-138 [Conf]
  22. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Analysing Approximate Confinement under Uniform Attacks. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:310-325 [Conf]
  23. 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]
  24. 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]
  25. Antonio Cerone, Alessandra Di Pierro
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:1-3 [Journal]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. Antonio Cerone, Alessandra Di Pierro
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:1-2 [Journal]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]

  46. A Systematic Approach to Probabilistic Pointer Analysis. [Citation Graph (, )][DBLP]


  47. A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming. [Citation Graph (, )][DBLP]


  48. Quantifying Timing Leaks and Cost Optimisation. [Citation Graph (, )][DBLP]


  49. Probabilistic Semantics and Program Analysis. [Citation Graph (, )][DBLP]


  50. Quantifying Timing Leaks and Cost Optimisation [Citation Graph (, )][DBLP]


  51. Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages [Citation Graph (, )][DBLP]


  52. Semantic Abstraction and Quantum Computation. [Citation Graph (, )][DBLP]


  53. Relational Analysis and Precision via Probabilistic Abstract Interpretation. [Citation Graph (, )][DBLP]


  54. Preface. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002