John Newsome Crossley
John Newsome Crossley publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Anthropology, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and History and Theory of Mathematics.
- World rank
- #3,400,430 of 7,710,434 ranked researchers
- Rank in Australia
- #89,440 of 140,210
- Works
- 239
- Citations
- 1.3k
- Citations per work
- 5.5
What does John Newsome Crossley research?
John Newsome Crossley's work is mostly in Computer Science (30%), Arts and Humanities (7%), Social Sciences (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
- Everything else12552.1%
- Physical Sciences8334.8%
- Computer Science7129.7%
- Mathematics125.1%
- Social Sciences3113.1%
- Arts and Humanities177.2%
- Social Sciences145.9%
- 1Artificial Intelligence18% of their works
- 2Computational Theory and Mathematics11% of their works
- 3Anthropology6% of their works
- 4Theoretical Computer Science5% of their works
- 5History4% of their works
- 6History and Philosophy of Science3% of their works
Research topics
Which keywords describe John Newsome Crossley's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Answer Set Programming, Modal Logic, Culture and History.
- Medieval
- Symbolic Model Checker
- Residuated Lattices
- Computability
- Philippines
- Mathematics Education
- History
- Modal Logic
- Static Analysis
- Temporal Logic
- Model Checking
- Formal Verification
- Answer Set Programming
- Culture
- Historical Sources
- Nationalism
- Algorithmic Information Theory
- Fuzzy Logic
- Satisfiability Modulo Theories
- Literature
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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 20 words, with their numbers
- Model Checking793 topics
- Temporal Logic432 topics
- Formal Verification361 topic
- Static Analysis361 topic
- Answer Set Programming311 topic
- Modal Logic311 topic
- Culture302 topics
- History302 topics
- Historical Sources251 topic
- Mathematics Education251 topic
- Nationalism211 topic
- Philippines211 topic
- Algorithmic Information Theory181 topic
- Computability181 topic
- Fuzzy Logic181 topic
- Residuated Lattices181 topic
- Satisfiability Modulo Theories121 topic
- Symbolic Model Checker121 topic
- Literature91 topic
- Medieval91 topic
Where does John Newsome Crossley work?
John Newsome Crossley's main affiliation in the publication record is Monash University, Australia.
How many publications and citations does John Newsome Crossley have?
OpenAlex counts 239 works and 1,304 citations for John Newsome Crossley, an h-index of 15, ranking #3,400,430 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation 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 John Newsome Crossley. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.