Concepedia

A. Narayan

AN

Statistics

Publications

4

Citations

133

H-Index

4

Active since

2002

Affiliations

University of California, Berkeley(Current)

Fujitsu (United States)

A. Narayan is an author at University of California, Berkeley specializing in computer engineering, computer science, and formal methods.

Top concepts

Publications per year

2002–2022

4

Publications

4

Partitioned ROBDDs-a compact, canonical and efficiently manipulable representation for Boolean functions

A. Narayan, J. Jain, Masahiro Fujita et al. · 2002 · 63 citations

, , +20

Formal verification of combinational circuits

J. Jain, A. Narayan, Masahiro Fujita et al. · 2002 · 30 citations

, , +16

A Dynamic Pricing System for Electric Vehicle Charging Management Using Reinforcement Learning

A. Narayan, Aakash Krishna, Prasant Misra et al. · IEEE Intelligent Transportation Systems Magazine · 2022 · 21 citations

A survey of techniques for formal verification of combinational circuits

J. Jain, A. Narayan, Masahiro Fujita et al. · 2002 · 19 citations

, , +19

1–4 of 4