Concepedia

Hassan K. Reghbati

HK

Statistics

Publications

7

Citations

164

H-Index

7

Active since

1981

Affiliations

Simon Fraser University(Current)

University of Saskatchewan

University of Southern California

Hassan K. Reghbati is an author at Simon Fraser University specializing in engineering, computer engineering, and formal methods.

Top concepts

EngineeringComputer EngineeringFormal MethodsVerificationSoftware TestingDesign For TestingComputer ScienceSoftware AnalysisFormal VerificationSoftware Engineering

Publications per year

1981–1987

7

Publications

7

Special Feature An Overview of Data Compression Techniques

Hassan K. Reghbati · Computer · 1981 · 68 citations

Data Representation, Lossy Compression, Engineering +18

Comments on Program Slicing

Hareton Leung, Hassan K. Reghbati · IEEE Transactions on Software Engineering · 1987 · 29 citations

Mathematical Programming, Engineering, Compiler Technology +16

LSI Testing Techniques

Magdy S. Abadir, Hassan K. Reghbati · IEEE Micro · 1983 · 18 citations

Engineering, Measurement, Verification +17

Tutorial: VLSI testing and validation techniques

Hassan K. Reghbati · NASA STI/Recon Technical Report A · 1985 · 14 citations

Engineering, Testing Technique, Software Testing +9

Functional specification and testing of logic circuits

Magdy S. Abadir, Hassan K. Reghbati · Computers & Mathematics with Applications · 1985 · 13 citations

Logic Synthesis, Engineering, Automated Reasoning +8

1–5 of 7