Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Syed Hussein S. Alwi
Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process
Lecture Notes in Electrical Engineering
Industrial
Manufacturing Engineering
Related publications
An Efficient Progressive Refinement Strategy for Hierarchical Radiosity
Piloting Simulations: A Systematic Refinement Strategy
Cureus
Component-Based Abstraction and Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Plant-Transpiration-Process-Inspired Strategy for Highly Efficient Solar Evaporation
Advanced Sustainable Systems
Renewable Energy
the Environment
Sustainability
Environmental Science
Probabilistic CEGAR
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Refinement of the Model of Two-Component Dosing Automated Control for the Process of Aerated Concrete Preparation
Electrical Engineering and Power Engineering
Exploiting Physico-Chemical Properties in String Kernels
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
Acyclic-And-Asymmetric Payoff Triplet Refinement of Pure Strategy Efficient Nash Equilibria in Trimatrix Games by Maximinimin and Superoptimality
Research Bulletin of the National Technical University of Ukraine "Kyiv Politechnic Institute"
Exploiting Accelerators for Efficient High Dimensional Similarity Search
ACM SIGPLAN Notices
Computer Science
