Concepedia

Norihisa Suzuki

NS

Statistics

Publications

13

Citations

541

H-Index

13

Active since

1975

Affiliations

Palo Alto Research Center(Current)

Stanford University

Carnegie Mellon University

The University of Tokyo

Norihisa Suzuki is an author at Palo Alto Research Center specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationVerificationComputer EngineeringSystem Software

Publications per year

1975–2019

13

Publications

13

1–5 of 13