Nadeem Abdul Hamid
Nadeem Abdul Hamid publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Security and Verification in Computing.
- World rank
- #4,615,277 of 7,710,434 ranked researchers
- Rank in United States
- #1,220,834 of 1,627,098
- Works
- 32
- Citations
- 284
- Citations per work
- 8.9
What does Nadeem Abdul Hamid research?
Nadeem Abdul Hamid's work is mostly in Computer Science (71%).
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 Sciences2371.2%
- Computer Science2371.2%
- Everything else928.8%
- 1Artificial Intelligence30% of their works
- 2Computational Theory and Mathematics14% of their works
- 3Computer Networks and Communications9% of their works
- 4Software7% of their works
- 5Information Systems6% of their works
- 6Computer Science Applications6% of their works
Research topics
Which keywords describe Nadeem Abdul Hamid's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker, Security Policies, Side-Channel Attacks and High-Performance Computing.
- Scientific Workflows
- Programming Education
- Parallel Computing
- GPS Trajectories
- Computational Thinking
- High-Performance Computing
- Security Policies
- Satisfiability Modulo Theories
- Formal Verification
- Model Checking
- Static Analysis
- Symbolic Model Checker
- Side-Channel Attacks
- Workflow Management
- Distributed Systems
- Grid Computing
- Performance Optimization
- Reproducibility
- Trajectory Data Mining
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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 19 words, with their numbers
- Model Checking252 topics
- Formal Verification141 topic
- Static Analysis141 topic
- Satisfiability Modulo Theories111 topic
- Symbolic Model Checker111 topic
- Security Policies91 topic
- Side-Channel Attacks91 topic
- High-Performance Computing62 topics
- Workflow Management62 topics
- Computational Thinking31 topic
- Distributed Systems31 topic
- GPS Trajectories31 topic
- Grid Computing31 topic
- Parallel Computing31 topic
- Performance Optimization31 topic
- Programming Education31 topic
- Reproducibility31 topic
- Scientific Workflows31 topic
- Trajectory Data Mining31 topic
Where does Nadeem Abdul Hamid work?
Nadeem Abdul Hamid's main affiliation in the publication record is Berry College, United States.
How many publications and citations does Nadeem Abdul Hamid have?
OpenAlex counts 32 works and 284 citations for Nadeem Abdul Hamid, an h-index of 7, ranking #4,615,277 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation 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 Nadeem Abdul Hamid. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.