Robert F. C. Walters
Robert F. C. Walters publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Mathematical Physics, on topics such as Logic, programming, and type systems, Homotopy and Cohomology in Algebraic Topology and Advanced Algebra and Logic.
- World rank
- #1,593,499 of 7,710,434 ranked researchers
- Rank in Australia
- #48,696 of 140,210
- Works
- 91
- Citations
- 2k
- Citations per work
- 22.4
What does Robert F. C. Walters research?
Robert F. C. Walters's work is mostly in Computer Science (49%), Mathematics (33%).
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 Sciences7581.9%
- Computer Science4549.1%
- Mathematics3032.8%
- Everything else1618.1%
- 1Computational Theory and Mathematics26% of their works
- 2Artificial Intelligence21% of their works
- 3Mathematical Physics14% of their works
- 4Geometry and Topology12% of their works
- 5Algebra and Number Theory8% of their works
- 6Computer Networks and Communications3% of their works
Research topics
Which keywords describe Robert F. C. Walters's research?
The keywords of their largest research topics: Model Checking, Automata, Deformation Quantization, Formal Verification, Poisson Manifolds, Static Analysis, Temporal Logic and Cluster Algebras.
- Satisfiability Modulo Theories
- Answer Set Programming
- Deformations
- Residuated Lattices
- Fuzzy Logic
- Cluster Algebras
- Static Analysis
- Formal Verification
- Automata
- Model Checking
- Deformation Quantization
- Poisson Manifolds
- Temporal Logic
- Formal Languages
- Regular Expressions
- Triangulated Categories
- Hom-Lie Algebras
- Modal Logic
- Symbolic Model Checker
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 Checking533 topics
- Automata302 topics
- Deformation Quantization291 topic
- Formal Verification291 topic
- Poisson Manifolds291 topic
- Static Analysis291 topic
- Temporal Logic242 topics
- Cluster Algebras181 topic
- Formal Languages181 topic
- Fuzzy Logic181 topic
- Regular Expressions181 topic
- Residuated Lattices181 topic
- Triangulated Categories181 topic
- Deformations131 topic
- Hom-Lie Algebras131 topic
- Answer Set Programming121 topic
- Modal Logic121 topic
- Satisfiability Modulo Theories121 topic
- Symbolic Model Checker121 topic
Where does Robert F. C. Walters work?
Robert F. C. Walters's main affiliation in the publication record is The University of Sydney, Australia.
How many publications and citations does Robert F. C. Walters have?
OpenAlex counts 91 works and 2,042 citations for Robert F. C. Walters, an h-index of 21, ranking #1,593,499 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 Robert F. C. Walters. Posts are plain text and can be reported.