A. Narayan - Concepedia

Author

A. Narayan

Also Known As

A. Narayan, Ajay Narayan, Ajith Narayan V, Narayan, A.

Publications

150

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	112
2	Computer Engineering	3	3	112
3	Computer Science	3	3	112
4	Systems Engineering	2	2	49
5	Combinatorial Optimization	1	1	63

A. Narayan

Publications

133

Citations

H-Index

Page 1

	Year	Citations
Partitioned ROBDDs-a compact, canonical and efficiently manipulable representation for Boolean functions A. Narayan, J. Jain, Masahiro Fujita, Mathematical ProgrammingCircuit ComplexityEngineeringBoolean FunctionComputer Architecture	2002	63
Formal verification of combinational circuits J. Jain, A. Narayan, Masahiro Fujita, Circuit ComplexityEngineeringVerificationComputer-aided VerificationCombinational Verification	2002	30
A Dynamic Pricing System for Electric Vehicle Charging Management Using Reinforcement Learning A. Narayan, Aakash Krishna, Prasant Misra, IEEE Intelligent Transportation Systems Magazine	2022	21
A survey of techniques for formal verification of combinational circuits J. Jain, A. Narayan, Masahiro Fujita, EngineeringVerificationComputer-aided VerificationCombinational VerificationModel Checking	2002	19

Page 1