Di Pierro, Alessandra - Dipartimento di Informatica, Universita` di Verona

• Implementing Randomised Algorithms in Constraint Logic Programming
• UNIVERSIT ` A DEGLI STUDI DI PISA
• Approximate NonInterference Alessandra Di Pierro
• Abstract Interpretation for Worst and Average Case Analysis
• Analysing Approximate Con nement under Uniform Attacks
• Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model
• Randomised Algorithms and Probabilistic Constraint Programming
• A Banach Space Based Semantics for Probabilistic Concurrent Constraint
• Noninterference and the Most Powerful Probabilistic Adversary
• A Markov Model for Probabilistic Concurrent Constraint Programming
• Measuring the Con nement of Concurrent Probabilistic Systems
• An Operational Semantics for Probabilistic Concurrent Constraint Programming
• Amalgamating NAF and NAI Alessandra Di Pierro
• Probabilistic Abstract Interpretation and Statistical Testing
• Under consideration for publication in Math. Struct. in Comp. Science Reversible Combinatory Logic
• Electronic Notes in Theoretical Computer Science 40 (2001) URL: http://www.elsevier.nl/locate/entcs/volume40.html 44 pages
• Probabilistic KLAIM Alessandra Di Pierro 1 , Chris Hankin 2 , and Herbert Wiklicky 2
• Electronic Notes in Theoretical Computer Science 59 No. 3 (2002) URL: http://www.elsevier.nl/locate/entcs/volume59.html 31 pages
• MEFISTO 2003 Preliminary Version A Quantitative Approach to Noninterference
• Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation
• Ergodic Average in Constraint Programming (Extended Abstract)
• Measuring the Precision of Abstract Interpretations
• Probabilistic -Calculus and Quantitative Program Analysis
• Semantic abstraction and quantum computation
• Probabilistic Linda-based Coordination Alessandra Di Pierro1
• MFCSIT 2004 Preliminary Version Operator Algebras and the Operational
• On Probabilistic CCP Alessandra Di Pierro and Herbert Wiklicky
• Probabilistic Con nement in a Declarative Alessandra Di Pierro, Chris Hankin and Herbert Wiklicky
• Approximate NonInterference Alessandra Di Pierro
• SECCO 2004 Preliminary Version Continuous-Time Probabilistic KLAIM
• [In Proceedings of Algebraic and Logic Programming '96] On Negation As Instantiation
• Quantitative Relations and Approximate Process Equivalences
• On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
• Measuring the Confinement of Probabilistic Alessandra Di Pierro 1,3
• Quantitative Observables and Averages in Probabilistic Constraint Programming
• DCM 2005 Preliminary Version On Reversible Combinatory Logic
• To appear in the J. Functional Programming 1 Quantitative Static Analysis of
• Quantum Constraint Programming Alessandra Di Pierro and Herbert Wiklicky