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
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
On the expressive power of temporal concurrent constraint programming languages
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Constraint Programming: Strategic Directions
Constraints
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
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]
A Causal Semantics for Timed Default Concurrent Constraint Programming
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
An Axiomatic Semantics for the Synchronous Language Gentzen
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Proving Correctness of Timed Concurrent Constraint Programs
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
A Constraint-Based Language for Virtual Agents
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
On Timed Coordination Languages
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
A Temporal Concurrent Constraint Programming Calculus
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Combining Mobile Processes and Declarative Programming
CL '00 Proceedings of the First International Conference on Computational Logic
Multiscale Modeling of Alternative Splicing Regulation
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Temporal concurrent constraint programming: applications and behavior
Formal and natural computing
A denotational semantics for Timed Linda
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
An axiomatic semantics for the synchronous language Gentzen
Journal of Computer and System Sciences
Proving correctness of timed concurrent constraint programs
ACM Transactions on Computational Logic (TOCL)
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
Timed constraint programming: a declarative approach to usage control
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
On the expressiveness of timed coordination models
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
On the Expressiveness of Timed Coordination via Shared Dataspaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Executing reactive, model-based programs through graph-based temporal planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Mode estimation of model-based programs: monitoring systems with complex behavior
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
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
Channel-based coordination via constraint satisfaction
Science of Computer Programming
Dedalus: datalog in time and space
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
A survey of constraint-based programming paradigms
Computer Science Review
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
Applying Techniques of Asynchronous Concurrency to Synchronous Languages
Fundamenta Informaticae
A general proof system for modalities in concurrent constraint programming
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Linear time-dependent constraints programming with MSVL
Journal of Combinatorial Optimization
| Hi-index | 0.00 |