Nathaniel Charlton
Nathaniel Charlton publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Statistical and Nonlinear Physics, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Security and Verification in Computing.
- World rank
- #5,707,958 of 7,710,434 ranked researchers
- Rank in United Kingdom
- #327,089 of 367,258
- Works
- 28
- Citations
- 239
- Citations per work
- 8.5
What does Nathaniel Charlton research?
Nathaniel Charlton's work is mostly in Computer Science (60%), Physics and Astronomy (10%), Engineering (6%).
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 Sciences2175.1%
- Computer Science1759.6%
- Physics and Astronomy39.5%
- Engineering26.0%
- Everything else724.9%
- 1Artificial Intelligence27% of their works
- 2Computational Theory and Mathematics21% of their works
- 3Statistical and Nonlinear Physics10% of their works
- 4Electrical and Electronic Engineering6% of their works
- 5Software6% of their works
- 6Hardware and Architecture5% of their works
Research topics
Which keywords describe Nathaniel Charlton's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Satisfiability Modulo Theories, Static Analysis, Symbolic Model Checker, Network Dynamics, Social Influence and Security Policies.
- Refactoring
- Parallel Computing
- Community Structure
- Bounded Confidence
- Automated Testing
- Security Policies
- Network Dynamics
- Static Analysis
- Formal Verification
- Model Checking
- Satisfiability Modulo Theories
- Symbolic Model Checker
- Social Influence
- Side-Channel Attacks
- Software Fault Localization
- Code Clone Detection
- Opinion Dynamics
- Performance Optimization
- Scale-Free Networks
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 19 words, with their numbers
- Model Checking282 topics
- Formal Verification141 topic
- Satisfiability Modulo Theories141 topic
- Static Analysis141 topic
- Symbolic Model Checker141 topic
- Network Dynamics82 topics
- Social Influence82 topics
- Security Policies61 topic
- Side-Channel Attacks61 topic
- Automated Testing51 topic
- Software Fault Localization51 topic
- Bounded Confidence41 topic
- Code Clone Detection41 topic
- Community Structure41 topic
- Opinion Dynamics41 topic
- Parallel Computing41 topic
- Performance Optimization41 topic
- Refactoring41 topic
- Scale-Free Networks41 topic
Where does Nathaniel Charlton work?
Nathaniel Charlton's main affiliation in the publication record is University of Sussex, United Kingdom.
How many publications and citations does Nathaniel Charlton have?
OpenAlex counts 28 works and 239 citations for Nathaniel Charlton, an h-index of 7, ranking #5,707,958 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 Nathaniel Charlton. Posts are plain text and can be reported.