Michael J. Maher
Michael J. Maher publishes mostly in Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics, on topics such as Logic, Reasoning, and Knowledge, Logic, programming, and type systems and Multi-Agent Systems and Negotiation.
- World rank
- #99,313 of 1,633,909 ranked researchers
- Rank in Australia
- #2,745 of 35,497
- Works
- 65
- Citations
- 307
- Citations per work
- 4.7
What does Michael J. Maher research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence53% of their works
- 2Computer Networks and Communications13% of their works
- 3Computational Theory and Mathematics6% of their works
- 4Signal Processing3% of their works
- 5Software3% of their works
- 6Sociology and Political Science3% of their works
Research topics
Which keywords describe Michael J. Maher's research?
The keywords of their largest research topics: Model Checking, Description Logics, Knowledge Representation, Temporal Logic, Answer Set Programming, Modal Logic, Formal Verification and Static Analysis.
- Symbolic Model Checker
- Planning Systems
- Distributed Algorithms
- Semantic Web
- Multi-Agent Systems
- Continuous Queries
- Static Analysis
- Modal Logic
- Temporal Logic
- Description Logics
- Model Checking
- Knowledge Representation
- Answer Set Programming
- Formal Verification
- Agent-Based Modeling
- Data Stream Management
- Ontology
- Constraint Optimization
- Heuristic Search
- Satisfiability Modulo Theories
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 20 words, with their numbers
- Model Checking293 topics
- Description Logics222 topics
- Knowledge Representation222 topics
- Temporal Logic202 topics
- Answer Set Programming181 topic
- Modal Logic181 topic
- Formal Verification91 topic
- Static Analysis91 topic
- Agent-Based Modeling61 topic
- Continuous Queries61 topic
- Data Stream Management61 topic
- Multi-Agent Systems61 topic
- Ontology41 topic
- Semantic Web41 topic
- Constraint Optimization31 topic
- Distributed Algorithms31 topic
- Heuristic Search21 topic
- Planning Systems21 topic
- Satisfiability Modulo Theories21 topic
- Symbolic Model Checker21 topic
Where does Michael J. Maher work?
Michael J. Maher's main affiliation in the publication record is Griffith University, Australia.
How many publications and citations does Michael J. Maher have?
Science Explorer counts 65 works and 307 citations for Michael J. Maher, ranking #99,313 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.