Reasoning about participation constraints and Chen's constraints
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Algorithms for analysing related constraint business rules
Data & Knowledge Engineering
Scalable automatic test data generation from modeling diagrams
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Scalable satisfiability checking and test data generation from modeling diagrams
Automated Software Engineering
Numerical constraints on XML data
Information and Computation
Decomposition by pivoting and path cardinality constraints
ER'00 Proceedings of the 19th international conference on Conceptual modeling
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
| Hi-index | 5.23 |