Concepedia

Tomohiko Uyematsu

TU

1

Publications

11

Citations

1

H-Index

1996

Active since

Tomohiko Uyematsu is an author specializing in software analysis, formal verification, and computer science.

Top concepts

CompilersEngineeringCryptographyVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer Engineering

Publications per year

1996–1996

1

Publications

1

Proposal of an Automatic Signature Scheme Using a Compiler

Keisuke Usuda, Masahiro Mambo, Tomohiko Uyematsu et al. · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences · 1996 · 11 citations

Formal Specification, Engineering, Digital Signature +11

Rows per page

1–1 of 1