The following pages link to Ahmed Mohsin Mahdi (Q3447706):
Displaying 7 items.
- Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems (Q3447707) (← links)
- Transformations for Compositional Verification of Assumption-Commitment Properties (Q3447708) (← links)
- A Low Complexity-High Throughput QC-LDPC Encoder (Q4579212) (← links)
- On the Encoding Complexity of Quasi-Cyclic LDPC Codes (Q4580921) (← links)
- (Q5099873) (← links)
- (Q5112862) (← links)
- Applications of the \(q\)-Wanas operator for a certain family of bi-univalent functions defined by subordination (Q6650358) (← links)
