Concepedia

Yoshifumi Manabe

YM

18

Publications

431

Citations

13

H-Index

1988

Active since

Affiliations

NTT (Japan)(Current)

Kogakuin University

NTT Basic Research Laboratories

The University of Osaka

Nara Institute of Science and Technology

Yoshifumi Manabe is an author at NTT (Japan) specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceCryptographyFormal VerificationData SecurityMechanism DesignHardware SecurityInformation SecurityBlockchainData Privacy

Publications per year

1988–2022

18

Publications

18

k-Arbiter: A safe and general scheme for h-out of-k mutual exclusion

Yoshifumi Manabe, Roberto Baldoni, Michel Raynal et al. · Theoretical Computer Science · 1998 · 46 citations

Hardware Security, Engineering, General Scheme +3

Modeling and visualization for a pearl-quality evaluation simulator

Noriko Nagata, T. Dobashi, Yoshifumi Manabe et al. · IEEE Transactions on Visualization and Computer Graphics · 1997 · 45 citations

Realistic Rendering, Engineering, Simulation Modelling +18

Global conditions in debugging distributed programs

Yoshifumi Manabe, Makoto Imase · Journal of Parallel and Distributed Computing · 1992 · 40 citations

Software Maintenance, Engineering, Program Analysis +10

A Feasibility Decision Algorithm for Rate Monotonic and Deadline Monotonic Scheduling

Yoshifumi Manabe, Shigemi Aoyagi · Real-Time Systems · 1998 · 34 citations

Card-Based Cryptographic Logical Computations Using Private Operations

Hibiki Ono, Yoshifumi Manabe · New Generation Computing · 2020 · 34 citations · Full text

Hardware Security, Blockchain, Secure Multi-party Computation +15

Rows per page

1–5 of 18