P. A. Subrahmanyam
P. A. Subrahmanyam publishes mostly in Hardware and Architecture, Artificial Intelligence and Computational Theory and Mathematics, on topics such as Embedded Systems Design Techniques, Formal Methods in Verification and Logic, programming, and type systems.
- World rank
- #4,944,388 of 7,710,434 ranked researchers
- Rank in United States
- #1,286,739 of 1,627,098
- Works
- 58
- Citations
- 495
- Citations per work
- 8.5
What does P. A. Subrahmanyam research?
P. A. Subrahmanyam's work is mostly in Computer Science (80%), Engineering (8%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences5188.1%
- Computer Science4679.7%
- Engineering58.4%
- Everything else711.9%
- 1Hardware and Architecture30% of their works
- 2Artificial Intelligence20% of their works
- 3Computational Theory and Mathematics17% of their works
- 4Electrical and Electronic Engineering8% of their works
- 5Computer Networks and Communications7% of their works
- 6Software4% of their works
Research topics
Which keywords describe P. A. Subrahmanyam's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, High-Level Synthesis, Reconfigurable Computing, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification and Static Analysis.
- Semantic Web
- VLSI Circuits
- Parallel Computing
- Low-Power
- Test Data Compression
- Embedded Cores
- Static Analysis
- Symbolic Model Checker
- Reconfigurable Computing
- Temporal Logic
- Model Checking
- High-Level Synthesis
- Satisfiability Modulo Theories
- Formal Verification
- Description Logics
- Knowledge Representation
- Answer Set Programming
- Modal Logic
- Performance Optimization
- Ontology
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 20 words, with their numbers
- Model Checking453 topics
- Temporal Logic302 topics
- High-Level Synthesis281 topic
- Reconfigurable Computing281 topic
- Satisfiability Modulo Theories221 topic
- Symbolic Model Checker221 topic
- Formal Verification151 topic
- Static Analysis151 topic
- Description Logics122 topics
- Embedded Cores121 topic
- Knowledge Representation122 topics
- Test Data Compression121 topic
- Answer Set Programming81 topic
- Low-Power81 topic
- Modal Logic81 topic
- Parallel Computing81 topic
- Performance Optimization81 topic
- VLSI Circuits81 topic
- Ontology41 topic
- Semantic Web41 topic
Where does P. A. Subrahmanyam work?
P. A. Subrahmanyam's main affiliation in the publication record is AT&T (United States), United States.
How many publications and citations does P. A. Subrahmanyam have?
OpenAlex counts 58 works and 495 citations for P. A. Subrahmanyam, an h-index of 14, ranking #4,944,388 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about P. A. Subrahmanyam. Posts are plain text and can be reported.