Charles C. Pinter
Charles C. Pinter publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Geometry and Topology, on topics such as Logic, programming, and type systems, Advanced Algebra and Logic and Logic, Reasoning, and Knowledge.
- World rank
- #5,036,659 of 7,710,434 ranked researchers
- Rank in United States
- #1,304,579 of 1,627,098
- Works
- 27
- Citations
- 178
- Citations per work
- 6.6
What does Charles C. Pinter research?
Charles C. Pinter's work is mostly in Computer Science (71%), Mathematics (11%), Psychology (3%).
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 Sciences2281.7%
- Computer Science1971.1%
- Mathematics310.6%
- Everything else415.3%
- Social Sciences13.0%
- Psychology13.0%
- 1Artificial Intelligence35% of their works
- 2Computational Theory and Mathematics33% of their works
- 3Geometry and Topology8% of their works
- 4Experimental and Cognitive Psychology3% of their works
- 5Computer Networks and Communications3% of their works
- 6Algebra and Number Theory3% of their works
Research topics
Which keywords describe Charles C. Pinter's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Fuzzy Logic, Residuated Lattices, Answer Set Programming, Modal Logic and Algorithmic Information Theory.
- Neural Networks
- Geometry
- Automata
- Gröbner Bases
- Algorithmic Information Theory
- Answer Set Programming
- Fuzzy Logic
- Formal Verification
- Model Checking
- Static Analysis
- Residuated Lattices
- Modal Logic
- Computability
- Symbolic Computing
- Formal Languages
- Hyperbolic
- Self-Organizing Maps
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 17 words, with their numbers
- Model Checking202 topics
- Formal Verification131 topic
- Static Analysis131 topic
- Fuzzy Logic101 topic
- Residuated Lattices101 topic
- Answer Set Programming71 topic
- Modal Logic71 topic
- Algorithmic Information Theory41 topic
- Computability41 topic
- Gröbner Bases31 topic
- Symbolic Computing31 topic
- Automata21 topic
- Formal Languages21 topic
- Geometry21 topic
- Hyperbolic21 topic
- Neural Networks21 topic
- Self-Organizing Maps21 topic
Where does Charles C. Pinter work?
Charles C. Pinter's main affiliation in the publication record is Bucknell University, United States.
How many publications and citations does Charles C. Pinter have?
OpenAlex counts 27 works and 178 citations for Charles C. Pinter, an h-index of 6, ranking #5,036,659 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 Charles C. Pinter. Posts are plain text and can be reported.