Graeme Smith
Graeme Smith publishes mostly in Computer Networks and Communications, Artificial Intelligence and Hardware and Architecture, on topics such as Distributed systems and fault tolerance, Formal Methods in Verification and Parallel Computing and Optimization Techniques.
- World rank
- #955,389 of 1,633,909 ranked researchers
- Rank in Australia
- #24,437 of 35,497
- Works
- 43
- Citations
- 74
- Citations per work
- 1.7
What does Graeme Smith research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computer Networks and Communications22% of their works
- 2Artificial Intelligence17% of their works
- 3Hardware and Architecture15% of their works
- 4Computational Theory and Mathematics10% of their works
- 5Software8% of their works
- 6Information Systems5% of their works
Research topics
Which keywords describe Graeme Smith's research?
The keywords of their largest research topics: Fault Tolerance, Consistency, Distributed Systems, Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Domain-Specific Languages and Model-Driven Engineering.
- Static Analysis
- Side-Channel Attacks
- Scheduling Algorithms
- Hard Real-Time Systems
- Performance Optimization
- Model-Driven Engineering
- Symbolic Model Checker
- Model Checking
- Consistency
- Fault Tolerance
- Distributed Systems
- Satisfiability Modulo Theories
- Domain-Specific Languages
- Parallel Computing
- Formal Verification
- Radiation Effects
- Security Policies
- Soft Errors
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
- Fault Tolerance112 topics
- Consistency81 topic
- Distributed Systems81 topic
- Model Checking82 topics
- Satisfiability Modulo Theories51 topic
- Symbolic Model Checker51 topic
- Domain-Specific Languages41 topic
- Model-Driven Engineering41 topic
- Parallel Computing41 topic
- Performance Optimization41 topic
- Formal Verification31 topic
- Hard Real-Time Systems31 topic
- Radiation Effects31 topic
- Scheduling Algorithms31 topic
- Security Policies31 topic
- Side-Channel Attacks31 topic
- Soft Errors31 topic
- Static Analysis31 topic
Where does Graeme Smith work?
Graeme Smith's main affiliation in the publication record is The University of Queensland, Australia.
How many publications and citations does Graeme Smith have?
Science Explorer counts 43 works and 74 citations for Graeme Smith, ranking #955,389 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.
Other researchers named Graeme Smith
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.