Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rokan Uddin Faruqui
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
Related publications
Ontology Transformation and Reasoning for Model-Driven Architecture
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Strategy Learning for Reasoning Agents
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Property-Driven Fence Insertion Using Reorder Bounded Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Model Checking and Non-Standard Multi-Objective Reasoning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Ontology Based Semantics Checking for UML Activity Model
Information Technology Journal
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
International Journal of Foundations of Computer Science
Computer Science
OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models
Journal of Applied Mathematics
Applied Mathematics
Symbolic Simulation, Model Checking and Abstraction With Partially Ordered Boolean Functional Vectors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
