Stochastic processes as concurrent constraint programs
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
From logic to stochastic processes (abstract only)
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
Temporal Concurrent Constraint Programming: Applications and Behavior
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Quantitative Observables and Averages in Probabilistic Constraint Programming
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Temporal concurrent constraint programming: applications and behavior
Formal and natural computing
Algebraic Power Analysis by Abstract Interpretation
Higher-Order and Symbolic Computation
Non-determinism and Probabilities in Timed Concurrent Constraint Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Probabilistic and Concurrent Models for Security
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Stochastic Programs and Hybrid Automata for (Biological) Modeling
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Boosting probabilistic choice operators
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Compositional modelling of signalling pathways in timed concurrent constraint programming
Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology
Simulating Signalling Pathways With BioWayS
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |