Retargetable self-test program generation using constraint logic programming
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Progress in programming languages
ACM Computing Surveys (CSUR)
Efficient path conditions in dependence graphs
Proceedings of the 24th International Conference on Software Engineering
Automatic Verification of Mixed-Level Logic Circuits
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Constraint (Logic) Programming: A Survey on Research and Applications
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Efficient path conditions in dependence graphs for software safety analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
A constraint solver for model-based engineering
AI Communications
Sense variation and lexical semantics generative operations
NeMLaP3/CoNLL '98 Proceedings of the Joint Conferences on New Methods in Language Processing and Computational Natural Language Learning
Oz: a programming language for multi-agent systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
Mathematical and Computer Modelling: An International Journal
| Hi-index | 0.00 |