(2007) Computerized adaptive testing using neural networks. Masters thesis, King Fahd University of Petroleum and Minerals.

(2005) Benchmarking framework for software watermarking. Masters thesis, King Fahd University of Petroleum and Minerals.

(2006) Dynamic projective coordinate system for elliptic curve crytography. PhD thesis, King Fahd University of Petroleum and Minerals.

(2004) Genetic algorithm based test data generator. Masters thesis, King Fahd University of Petroleum and Minerals.

(2005) Package cohesion metric for object oriented systems. Masters thesis, King Fahd University of Petroleum and Minerals.

(2005) Automatic classification of speech and music in digitized audio. Masters thesis, King Fahd University of Petroleum and Minerals.

(2005) Serial-serial finite field multiplication. Masters thesis, King Fahd University of Petroleum and Minerals.

(2004) Design and modeling of high speed modulo multipliers for cryptosystems. Masters thesis, King Fahd University of Petroleum and Minerals.

(2006) Adaptive fuzzy logic based framework for handling imprecision and uncertainty in software development effort prediction models. Masters thesis, King Fahd University of Petroleum and Minerals.

(2006) Collaborative autonomous interface agent for personalized web search. Masters thesis, King Fahd University of Petroleum and Minerals.

(2004) Invariant object recognition. Masters thesis, King Fahd University of Petroleum and Minerals.

(2005) Designing of objects using smooth cubic splines. Masters thesis, King Fahd University of Petroleum and Minerals.

(2004) Visualization with NURBS using simulated annealing optimization technique. Masters thesis, King Fahd University of Petroleum and Minerals.

(2005) An architecture for secure document flow and archival systems. Masters thesis, King Fahd University of Petroleum and Minerals.

(2006) Design and analysis of efficient and secure elliptic curve cryptoprocessors. PhD thesis, King Fahd University of Petroleum and Minerals.

(2005) Identification of Saudi Arabian License Plates. Masters thesis, King Fahd University of Petroleum and Minerals.

(2006) On the optimum communication cost problem in interconnection network. Masters thesis, King Fahd University of Petroleum and Minerals.

(1998) Building a framework for coupling measurement systems. Masters thesis, King Fahd University of Petroleum and Minerals.

(2001) Measuring class cohesion in object-oriented systems. Masters thesis, King Fahd University of Petroleum and Minerals.

(1996) Parallelizing the rete-match algorithm for distributed memory architecturs. Masters thesis, King Fahd University of Petroleum and Minerals.

(2002) Efficient test relaxation techniques for combinational logic circuits. Masters thesis, King Fahd University of Petroleum and Minerals.

(1996) Automated VHDL composition from AHPL. Masters thesis, King Fahd University of Petroleum and Minerals.

(2001) Development of a multiresolution framework for NURBS. Masters thesis, King Fahd University of Petroleum and Minerals.

(1997) Integrating heterogeneous database schemas using an on-line taxonomy: a methodology for creating a global schema. Masters thesis, King Fahd University of Petroleum and Minerals.

(2001) An Object-oriented model for semantic analysis of natural languages. Masters thesis, King Fahd University of Petroleum and Minerals.

(1992) An Arabic sentence generator. Masters thesis, King Fahd University of Petroleum and Minerals.

(1996) Reducing the complexity of rational cubics for designing the objects. Masters thesis, King Fahd University of Petroleum and Minerals.

(2003) Adaptive fuzzy logic based framework for software development effort prediction. Masters thesis, King Fahd University of Petroleum and Minerals.

(2003) New structural similarity metrics for UML models. Masters thesis, King Fahd University of Petroleum and Minerals.

(1996) A grafting approach to neural network construction. Masters thesis, King Fahd University of Petroleum and Minerals.

(2001) Visualization with spline using a genetic algorithm. Masters thesis, King Fahd University of Petroleum and Minerals.

(1993) A Framework for the development of distributed applications. Masters thesis, King Fahd University of Petroleum and Minerals.

(2002) Dynamic similarity metric for case-based planning under imperfection. Masters thesis, King Fahd University of Petroleum and Minerals.

(2003) Efficient static test compaction algorithms for combinational circuits based on test relaxation. Masters thesis, King Fahd University of Petroleum and Minerals.

(1997) Measuring the coupling of imperative computer programs. Masters thesis, King Fahd University of Petroleum and Minerals.

(1996) A process miggration subsystem for distributed applications: design & implementation. Masters thesis, King Fahd University of Petroleum and Minerals.

(1996) Investigation of optimization techniques for scheduling precedence computations with communication costs. Masters thesis, King Fahd University of Petroleum and Minerals.

(1996) Multimedia database systems: conceptual modeling. Masters thesis, King Fahd University of Petroleum and Minerals.

(1992) Software design language for concurrent distributed systems. Masters thesis, King Fahd University of Petroleum and Minerals.

(1993) A Methodology for the high level design of object-oriented software. Masters thesis, King Fahd University of Petroleum and Minerals.

(1998) New single asymmetric error correcting codes. Masters thesis, King Fahd University of Petroleum and Minerals.

(1991) A study of graph coloring heuristics and its application to a time tabling problem in a registration and scheduling system. Masters thesis, King Fahd University of Petroleum and Minerals.

(1995) Design & Implementation of a 3D graphics system an interactive hierarchical modeling approach. Masters thesis, King Fahd University of Petroleum and Minerals.

(1991) Join algorithms for parallel computers for relations based on interpolation based grid file. Masters thesis, King Fahd University of Petroleum and Minerals.

(2000) A system for prototyping optical architectures. Masters thesis, King Fahd University of Petroleum and Minerals.

(1990) A Load balancing algorithm for distributed computing systems. Masters thesis, King Fahd University of Petroleum and Minerals.

(2000) Error detection in algorithm-based fault tolerant systems. Masters thesis, King Fahd University of Petroleum and Minerals.

(1994) An integrated stereo algorithm based on coarse-to-fine features and intensity values. Masters thesis, King Fahd University of Petroleum and Minerals.

(1996) An enhanced convex-elastic net technique for solving E-TSP. Masters thesis, King Fahd University of Petroleum and Minerals.

(1991) A multi-level invariant representation of digital images. Masters thesis, King Fahd University of Petroleum and Minerals.

(1992) The design and implementation of a structured programming language for the description of optical architectures. Masters thesis, King Fahd University of Petroleum and Minerals.

(2004) Design level coupling metrics for UML models. Masters thesis, King Fahd University of Petroleum and Minerals.

(2001) An efficient font design method. Masters thesis, King Fahd University of Petroleum and Minerals.

(1994) A clustering-based algorithm for the rectilinear steiner tree problem. Masters thesis, King Fahd University of Petroleum and Minerals.

(2000) A java based load balancing framework for network parallel applications. Masters thesis, King Fahd University of Petroleum and Minerals.

(2001) Learning continuous functions using decision tree learning algorithms. Masters thesis, King Fahd University of Petroleum and Minerals.

(1997) An aid to similar-characteristics-code clustering. Masters thesis, King Fahd University of Petroleum and Minerals.

(1992) Parallel optical architectures for some comparison-based problems. Masters thesis, King Fahd University of Petroleum and Minerals.

(1997) Object modeling with conic splines. Masters thesis, King Fahd University of Petroleum and Minerals.

(1995) Timing driven global routing for standard cell design. Masters thesis, King Fahd University of Petroleum and Minerals.

(1996) A Load balancing framework for distributed and parallel applications. Masters thesis, King Fahd University of Petroleum and Minerals.

(1988) Investigation and implementation of some probabilistic algorithms. Masters thesis, King Fahd University of Petroleum and Minerals.

(1989) Code generation for dHAD on Vax. Masters thesis, King Fahd University of Petroleum and Minerals.

(1996) Component selection and pipelining using stochastic evolution. Masters thesis, King Fahd University of Petroleum and Minerals.

(1998) Reservoir formation facies identification using decision tree learning. Masters thesis, King Fahd University of Petroleum and Minerals.

(1994) Partitioning and mapping nested loops on message-passing multiprocessors. Masters thesis, King Fahd University of Petroleum and Minerals.

(1999) Measuring inheritance coupling in object-oriented systems. Masters thesis, King Fahd University of Petroleum and Minerals.

(1992) A fault independent test generation method for combinational logic circuits. Masters thesis, King Fahd University of Petroleum and Minerals.

(1996) Design and analysis of a hierarchical, fault tolerant, multicomputer network. Masters thesis, King Fahd University of Petroleum and Minerals.

(0011) Performance modeling of a computer system Saudi Arabian Ministry of Interior online system. Masters thesis, King Fahd University of Petroleum and Minerals.

(2001) Parallel genetic scheduling for parallel applications. Masters thesis, King Fahd University of Petroleum and Minerals.

(1995) Neocognitron: application to the handwritten Hindi numerals. Masters thesis, King Fahd University of Petroleum and Minerals.

(2003) Performance evaluation of interrupt handling schemes in gigabit network. Masters thesis, King Fahd University of Petroleum and Minerals.

(2001) New mechanisms for improved adaptive routing in wormhole networks. Masters thesis, King Fahd University of Petroleum and Minerals.

(1996) Routing in multicomputer netwroks: a classifcation and comparison. Masters thesis, King Fahd University of Petroleum and Minerals.

(1994) Scheduling and allocation in high-level synthesis using genetic algorithm. Masters thesis, King Fahd University of Petroleum and Minerals.

(2000) Generalization of formal concept analysis to fuzzy contexts: application for knowledge extraction. Masters thesis, King Fahd University of Petroleum and Minerals.

(2003) License plate recognition system. Masters thesis, King Fahd University of Petroleum and Minerals.

(1988) A retrieval and display system for the holy Quran. Masters thesis, King Fahd University of Petroleum and Minerals.

(2001) Multiselection on some interconnection networks. Masters thesis, King Fahd University of Petroleum and Minerals.

(2006) An analytical simulator for deploying IP telephony. Masters thesis, King Fahd University of Petroleum and Minerals.

(2005) Handling imprecision and uncertainty in software quality models. Masters thesis, King Fahd University of Petroleum and Minerals.

(1996) The Designing of objects using rational splines with shape control. Masters thesis, King Fahd University of Petroleum and Minerals.

(1996) On learning better decision trees. Masters thesis, King Fahd University of Petroleum and Minerals.

(1996) A parsing algorithm for iconic visual programming languages. Masters thesis, King Fahd University of Petroleum and Minerals.

(1993) A parallel list scheduling algorithm: design and performance. Masters thesis, King Fahd University of Petroleum and Minerals.

(2005) Implementation and validation of object-oriented design-level cohesion metrics. Masters thesis, King Fahd University of Petroleum and Minerals.

(1988) Concurrency in interpolation based grid files. Masters thesis, King Fahd University of Petroleum and Minerals.

(1993) A methodology for the design of multichannel network architectures. Masters thesis, King Fahd University of Petroleum and Minerals.

(1996) Computer aided instruction model for procedural programming languages. Masters thesis, King Fahd University of Petroleum and Minerals.

(1997) Higher-order statistics (HOS)-based deconvolution for ultrasonic nondestructive evaluation (NDE) of materials. Masters thesis, King Fahd University of Petroleum and Minerals.

(1993) A Methodology for the High Level Design Of Object-Oriented Software. Masters thesis, KING FAHD UNIVERSITY OF PETROLEUM & MINERALS.

(1993) A Parallel List Scheduling Algorithm: Design and Performance. Masters thesis, KING FAHD UNIVERSITY OF PETROLEUM & MINERALS.

(1992) An Arabic Sentence Generator. Masters thesis, KING FAHD UNIVERSITY OF PETROLEUM & MINERALS.

(1992) Parallel Optical Architectures For Some Comparison-Based Problems. Masters thesis, KING FAHD UNIVERSITY OF PETROLEUM & MINERALS.

(1992) The Design and Implementation of a Structured Programming Language for the Description of Optical Architectures. Masters thesis, KING FAHD UNIVERSITY OF PETROLEUM & MINERALS.

(1992) A Fault Independent Test Generation Method For Combinational Logic Circuits. Masters thesis, KING FAHD UNIVERSITY OF PETROLEUM & MINERALS.

(1992) Software Design Language for Concurrent Distributed Systems. Masters thesis, KING FAHD UNIVERSITY OF PETROLEUM & MINERALS.