Theory and Practice of Logic Programming
Test Case Generation by OCL Mutation and Constraint Solving
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Optimal union-find in Constraint Handling Rules
Theory and Practice of Logic Programming
Constraint handling rules: the story so far
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Proceedings of the 2007 ACM symposium on Applied computing
Expander2: Program Verification Between Interaction and Automation
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Random testing: from the classical approach to a global view and full test automation
Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
Constraint functional logic programming over finite domains
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Proceedings of the 2008 ACM symposium on Applied computing
Theory of finite or infinite trees revisited
Theory and Practice of Logic Programming
Tchr: A framework for tabled clp
Theory and Practice of Logic Programming
A Full First-Order Constraint Solver for Decomposable Theories
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
The computational power and complexity of constraint handling rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
A compositional semantics for CHR
ACM Transactions on Computational Logic (TOCL)
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
Recent Advances in Constraints
Snapshot Generation in a Constructive Object-Oriented Modeling Language
Logic-Based Program Synthesis and Transformation
From exponential to almost linear decomposability of finite or infinite trees
Proceedings of the 2009 ACM symposium on Applied Computing
Welcome to Constraint Handling Rules
Constraint Handling Rules
Constraint-Based Timetabling System for the German University in Cairo
Applications of Declarative Programming and Knowledge Management
Dynamic arc consistency for CSPs
International Journal of Knowledge-based and Intelligent Engineering Systems
From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
A full first-order constraint solver for decomposable theories
Annals of Mathematics and Artificial Intelligence
LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
Complexity of a CHR solver for existentially quantified conjunctions of equations over trees
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
Graph transformation systems in CHR
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Inference control in logic databases as a constraint satisfaction problem
ICISS'07 Proceedings of the 3rd international conference on Information systems security
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
A complete and terminating execution model for constraint handling rules
Theory and Practice of Logic Programming
Modeling interactive storytelling genres as application domains
Journal of Intelligent Information Systems
Testing techniques in software engineering
Testing techniques in software engineering
Constraint programming systems for modeling music theories and composition
ACM Computing Surveys (CSUR)
Parallelizing union-find in constraint handling rules using confluence analysis
ICLP'05 Proceedings of the 21st international conference on Logic Programming
On finding an inference-proof complete database for controlled query evaluation
DBSEC'06 Proceedings of the 20th IFIP WG 11.3 working conference on Data and Applications Security
Using CHRs to generate functional test cases for the java card virtual machine
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Formal Methods in Software and Systems Modeling
Specialization of concurrent guarded multi-set transformation rules
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Invited contribution: hybrid CSP solving
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
An interactive tool for the controlled execution of an automated timetabling constraint engine
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Quantifier elimination for constraint logic programming
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Extension of first-order theories into trees
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Complete propagation rules for lexicographic order constraints over arbitrary domains
CSCLP'05 Proceedings of the 2005 Joint ERCIM/CoLogNET international conference on Constraint Solving and Constraint Logic Programming
Computer Science Review
Compiling CHR to parallel hardware
Proceedings of the 14th symposium on Principles and practice of declarative programming
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
ACM Transactions on Computational Logic (TOCL)
Optimal valve placement in water distribution networks with CLP(FD)
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |