Gary D. Knott
Gary D. Knott publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computational Mechanics, on topics such as Advanced Numerical Analysis Techniques, Logic, programming, and type systems and Algorithms and Data Compression.
- World rank
- #1,325,105 of 7,710,434 ranked researchers
- Rank in United States
- #420,680 of 1,627,098
- Works
- 88
- Citations
- 1.6k
- Citations per work
- 18.5
What does Gary D. Knott research?
Gary D. Knott's work is mostly in Computer Science (47%), Engineering (10%), Biochemistry, Genetics and Molecular Biology (7%).
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 Sciences5057.1%
- Computer Science4247.2%
- Engineering99.9%
- Everything else3236.3%
- Life Sciences66.6%
- 1Artificial Intelligence19% of their works
- 2Computational Theory and Mathematics18% of their works
- 3Computational Mechanics10% of their works
- 4Computer Networks and Communications7% of their works
- 5Molecular Biology7% of their works
- 6Computer Graphics and Computer-Aided Design3% of their works
Research topics
Which keywords describe Gary D. Knott's research?
The keywords of their largest research topics: Model Checking, Finite Elements, NURBS, Automata, Compression, Formal Verification, Static Analysis and Suffix Arrays.
- Visualization
- Regular Expressions
- Formal Languages
- Continuous Queries
- Symbolic Model Checker
- Suffix Arrays
- Formal Verification
- Automata
- Finite Elements
- Model Checking
- NURBS
- Compression
- Static Analysis
- Satisfiability Modulo Theories
- Computer Graphics
- Data Stream Management
- Fuzzy Logic
- Residuated Lattices
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 Checking212 topics
- Finite Elements181 topic
- NURBS181 topic
- Automata142 topics
- Compression121 topic
- Formal Verification121 topic
- Static Analysis121 topic
- Suffix Arrays121 topic
- Satisfiability Modulo Theories91 topic
- Symbolic Model Checker91 topic
- Computer Graphics51 topic
- Continuous Queries51 topic
- Data Stream Management51 topic
- Formal Languages51 topic
- Fuzzy Logic51 topic
- Regular Expressions51 topic
- Residuated Lattices51 topic
- Visualization51 topic
Where does Gary D. Knott work?
Gary D. Knott's main affiliation in the publication record is Civilized Software (United States), United States.
How many publications and citations does Gary D. Knott have?
OpenAlex counts 88 works and 1,628 citations for Gary D. Knott, an h-index of 16, ranking #1,325,105 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 Gary D. Knott. Posts are plain text and can be reported.