Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model

Quantitative Observables and Averages in Probabilistic Constraint Programming

Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints

Measuring the Precision of Abstract Interpretations

LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation

Probabilistic Rewrite Strategies. Applications to ELAN

RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications

Approximate Non-Interference

CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations

Induction for positive almost sure termination

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming

Timed soft concurrent constraint programs

COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages

Concurrent and reactive constraint programming

A 25-year perspective on logic programming

Probabilistic program analysis for parallelizing compilers

VECPAR'04 Proceedings of the 6th international conference on High Performance Computing for Computational Science

Models and emerging trends of concurrent constraint programming

Constraints