Neal Glew
Neal Glew publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Security and Verification in Computing.
- World rank
- #228,853 of 1,633,909 ranked researchers
- Rank in United States
- #90,762 of 358,040
- Works
- 18
- Citations
- 264
- Citations per work
- 14.7
What does Neal Glew research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence40% of their works
- 2Computational Theory and Mathematics23% of their works
- 3Hardware and Architecture10% of their works
- 4Software10% of their works
- 5General Health Professions7% of their works
- 6Computer Networks and Communications3% of their works
Research topics
- Logic, programming, and type systems
- Formal Methods in Verification
- Security and Verification in Computing
- Parallel Computing and Optimization Techniques
- Software Testing and Debugging Techniques
- Advanced Software Engineering Methodologies
- semigroups and automata theory
- Constraint Satisfaction and Optimization
Which keywords describe Neal Glew's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Automata, Satisfiability Modulo Theories, Symbolic Model Checker, Security Policies and Side-Channel Attacks.
- Self-Adaptive Systems
- Formal Languages
- Constraint Optimization
- Software Fault Localization
- Parallel Computing
- Side-Channel Attacks
- Symbolic Model Checker
- Automata
- Formal Verification
- Model Checking
- Static Analysis
- Satisfiability Modulo Theories
- Security Policies
- Automated Testing
- Performance Optimization
- Autonomic Computing
- Distributed Algorithms
- Regular Expressions
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 18 words, with their numbers
- Model Checking142 topics
- Formal Verification81 topic
- Static Analysis81 topic
- Automata72 topics
- Satisfiability Modulo Theories61 topic
- Symbolic Model Checker61 topic
- Security Policies31 topic
- Side-Channel Attacks31 topic
- Automated Testing21 topic
- Parallel Computing21 topic
- Performance Optimization21 topic
- Software Fault Localization21 topic
- Autonomic Computing11 topic
- Constraint Optimization11 topic
- Distributed Algorithms11 topic
- Formal Languages11 topic
- Regular Expressions11 topic
- Self-Adaptive Systems11 topic
Where does Neal Glew work?
Neal Glew's main affiliation in the publication record is Intel (United States), United States.
How many publications and citations does Neal Glew have?
Science Explorer counts 18 works and 264 citations for Neal Glew, ranking #228,853 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.