Making object-oriented schemas more expressive
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Processing queries for first-few answers
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
On verifying consistency of XML specifications
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On XML integrity constraints in the presence of DTDs
Journal of the ACM (JACM)
On the implication problem for cardinality constraints and functional dependencies
Annals of Mathematics and Artificial Intelligence
Coping with Inconsistent Constraint Specifications
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Reasoning in expressive description logics
Handbook of automated reasoning
The description logic handbook
An analysis of structural validity in entity-relationship modeling
Data & Knowledge Engineering
Algorithms for analysing related constraint business rules
Data & Knowledge Engineering
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
On the global coherence of integrity constraints in UML class diagrams
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
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
Incorporating cardinality constraints and synonym rules into conditional functional dependencies
Information Processing Letters
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Characterization of type hierarchies with open specification
Proceedings of the 2nd international conference on Semantics in databases
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Reasoning over extended ER models
ER'07 Proceedings of the 26th international conference on Conceptual modeling
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Data & Knowledge Engineering
Consistency of XML specifications
Inconsistency Tolerance
On the use of association redefinition in UML class diagrams
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Consistency of UML class diagrams with hierarchy constraints
NGITS'06 Proceedings of the 6th international conference on Next Generation Information Technologies and Systems
Conceptual modeling of cardinality constraints in social publishing
International Journal of Intelligent Systems
Finite satisfiability of UML class diagrams with constrained class hierarchy
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
BUNDLE: a reasoner for probabilistic ontologies
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Efficiency frontiers of XML cardinality constraints
Data & Knowledge Engineering
Hi-index | 0.00 |