Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hehua Zhang
OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models
Journal of Applied Mathematics
Applied Mathematics
Design and Implementation of Animation Post-Processor Based on ACIS and HOOPS in MWorks
Related publications
An Integrated Tool for Supporting Ontology Driven Requirements Elicitation
Ontology Based Semantics Checking for UML Activity Model
Information Technology Journal
An Ontology Based Visual Tool for Query Formulation Support
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
FlowStats: An Ontology Based Network Management Tool
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Ontology‐driven Reasoning Agents Using Strategy and Abstraction
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software
Checking Correctness of TypeScript Interfaces for JavaScript Libraries
Ontology-Based Semantic Models for Databases
Towards a Semi-Automated Tool for Interoperability Assessment: An Ontology-Based Approach
Communications in Computer and Information Science
Mathematics
Computer Science
