Science Explorer Back to mapMap
Discussion
Researcher · McMaster University · Canada

Jacques Carette

Jacques Carette publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Information Systems, on topics such as Logic, programming, and type systems, Computability, Logic, AI Algorithms and Logic, Reasoning, and Knowledge.

ORCID 0000-0001-8993-9804 OpenAlex
World rank
#4,566,435
of 7,710,434 ranked researchers
Rank in Canada
#137,814
of 183,316
Works
156
Citations
1.2k
Citations per work
7.6
h-index
17
i10-index 29Top 18% in Artificial Intelligence
Jacques Carette

What does Jacques Carette research?

Jacques Carette's work is mostly in Computer Science (68%).

Physical Sciences: 105 works · 67.6% of their workComputer Science: 105 works · 67.6% of their workArtificial Intelligence: 49 works · 31.1% of their workComputational Theory and Mathematics: 26 works · 16.4% of their workInformation Systems: 11 works · 7.1% of their workComputer Networks and Communications: 9 works · 5.6% of their workSoftware: 7 works · 4.2% of their workComputer Vision and Pattern Recognition: 5 works · 3.2% of their workEverything else: 51 works · 32.4% of their workTHEIR WORKJacques Carette156works
Physical Sciences68%

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
    1. Computer Science10567.6%
  2. Everything else5132.4%
  1. 1Artificial Intelligence31% of their works
  2. 2Computational Theory and Mathematics16% of their works
  3. 3Information Systems7% of their works
  4. 4Computer Networks and Communications6% of their works
  5. 5Software4% of their works
  6. 6Computer Vision and Pattern Recognition3% of their works

Research topics

Which keywords describe Jacques Carette's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Algorithmic Information Theory, Computability, Answer Set Programming and Modal Logic.

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
  1. Model Checking813 topics
  2. Formal Verification501 topic
  3. Static Analysis501 topic
  4. Temporal Logic312 topics
  5. Algorithmic Information Theory231 topic
  6. Computability231 topic
  7. Answer Set Programming171 topic
  8. Modal Logic171 topic
  9. Satisfiability Modulo Theories141 topic
  10. Symbolic Model Checker141 topic
  11. Code Clone Detection131 topic
  12. Refactoring131 topic
  13. Continuous Queries111 topic
  14. Data Stream Management111 topic
  15. Domain-Specific Languages111 topic
  16. Model-Driven Engineering111 topic
  17. Quantum Computation101 topic
  18. Quantum Information101 topic

Where does Jacques Carette work?

Jacques Carette's main affiliation in the publication record is McMaster University, Canada.

How many publications and citations does Jacques Carette have?

OpenAlex counts 156 works and 1,190 citations for Jacques Carette, an h-index of 17, ranking #4,566,435 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 Jacques Carette. Posts are plain text and can be reported.