Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
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
Constraint Programming: Strategic Directions
Constraints
Constraints
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
A component-based approach to modeling and simulating mixed-signal and hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Multiscale Modeling of Alternative Splicing Regulation
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
A multi-scale constraint programming model of alternative splicing regulation
Theoretical Computer Science - Special issue: Computational systems biology
Decidability of infinite-state timed CCP processes and first-order LTL
Theoretical Computer Science - Expressiveness in concurrency
Automatic verification of timed concurrent constraint programs
Theory and Practice of Logic Programming
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
A hybrid denotational semantics for hybrid systems
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
Including ordinary differential equations based constraints in the standard CP framework
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Building and analysing an integrative model of HIV-1 RNA alternative splicing
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Linear time-dependent constraints programming with MSVL
Journal of Combinatorial Optimization
| Hi-index | 0.00 |