Michael Karr
Michael Karr publishes mostly in Artificial Intelligence, Hardware and Architecture and Computational Theory and Mathematics, on topics such as Parallel Computing and Optimization Techniques, Logic, programming, and type systems and Distributed and Parallel Computing Systems.
- World rank
- #2,634,495 of 7,710,434 ranked researchers
- Rank in United States
- #771,197 of 1,627,098
- Works
- 17
- Citations
- 872
- Citations per work
- 51.3
What does Michael Karr research?
Michael Karr's work is mostly in Computer Science (80%), Business, Management and Accounting (2%).
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 Sciences1480.4%
- Computer Science1480.4%
- Everything else317.4%
- Social Sciences02.2%
- 1Artificial Intelligence24% of their works
- 2Hardware and Architecture22% of their works
- 3Computational Theory and Mathematics20% of their works
- 4Computer Networks and Communications9% of their works
- 5Software6% of their works
- 6Management Information Systems2% of their works
Research topics
- Parallel Computing and Optimization Techniques
- Logic, programming, and type systems
- Distributed and Parallel Computing Systems
- Embedded Systems Design Techniques
- Formal Methods in Verification
- Polynomial and algebraic computation
- Model-Driven Software Engineering Techniques
- Virus-based gene therapy research
Which keywords describe Michael Karr's research?
The keywords of their largest research topics: High-Performance Computing, Model Checking, Parallel Computing, Performance Optimization, Distributed Systems, Formal Verification, Grid Computing and High-Level Synthesis.
- Viral Vectors
- Symbolic Computing
- Gröbner Bases
- Symbolic Model Checker
- Static Analysis
- High-Level Synthesis
- Formal Verification
- Performance Optimization
- Model Checking
- High-Performance Computing
- Parallel Computing
- Distributed Systems
- Grid Computing
- Reconfigurable Computing
- Satisfiability Modulo Theories
- Domain-Specific Languages
- Model-Driven Engineering
- Gene Therapy
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
- High-Performance Computing102 topics
- Model Checking72 topics
- Parallel Computing61 topic
- Performance Optimization61 topic
- Distributed Systems41 topic
- Formal Verification41 topic
- Grid Computing41 topic
- High-Level Synthesis41 topic
- Reconfigurable Computing41 topic
- Static Analysis41 topic
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Domain-Specific Languages21 topic
- Gröbner Bases21 topic
- Model-Driven Engineering21 topic
- Symbolic Computing21 topic
- Gene Therapy11 topic
- Viral Vectors11 topic
Where does Michael Karr work?
Michael Karr's main affiliation in the publication record is Community Options (United States), United States.
How many publications and citations does Michael Karr have?
OpenAlex counts 17 works and 872 citations for Michael Karr, an h-index of 8, ranking #2,634,495 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 Michael Karr. Posts are plain text and can be reported.