Michael J. Maher

5.6k total citations · 1 hit paper
83 papers, 2.5k citations indexed

About

Michael J. Maher is a scholar working on Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, Michael J. Maher has authored 83 papers receiving a total of 2.5k indexed citations (citations by other indexed papers that have themselves been cited), including 57 papers in Artificial Intelligence, 24 papers in Computer Networks and Communications and 20 papers in Computational Theory and Mathematics. Recurrent topics in Michael J. Maher's work include Logic, Reasoning, and Knowledge (46 papers), Semantic Web and Ontologies (27 papers) and Logic, programming, and type systems (24 papers). Michael J. Maher is often cited by papers focused on Logic, Reasoning, and Knowledge (46 papers), Semantic Web and Ontologies (27 papers) and Logic, programming, and type systems (24 papers). Michael J. Maher collaborates with scholars based in Australia, United States and Singapore. Michael J. Maher's co-authors include Joxan Jaffar, David P. Billington, Grigoris Antoniou, Guido Governatori, Jean-Louis Lassez, Chris Chatfield, Jean‐François Puget, J.-L. Lassez, Peter J. Stuckey and Kim Marriott and has published in prestigious journals such as Journal of the Operational Research Society, Future Generation Computer Systems and Theoretical Computer Science.

In The Last Decade

Michael J. Maher

78 papers receiving 2.1k citations

Hit Papers

Constraint logic programming: a survey 1994 2026 2004 2015 1994 200 400 600
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. Constraint logic programming: a survey
    1994 656 citations Joxan Jaffar, Michael J. Maher The Journal of Logic Programming profile →

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Michael J. Maher Australia 25 1.9k 721 699 246 220 83 2.5k
Joxan Jaffar Singapore 18 1.9k 1.0× 1.1k 1.5× 1.0k 1.4× 321 1.3× 277 1.3× 66 2.8k
Charles L. Forgy United States 11 1.4k 0.8× 804 1.1× 186 0.3× 171 0.7× 506 2.3× 17 2.1k
Jim Woodcock United Kingdom 22 1.3k 0.7× 458 0.6× 1.0k 1.4× 112 0.5× 562 2.6× 155 2.4k
William H. Sanders United States 30 704 0.4× 1.8k 2.4× 596 0.9× 407 1.7× 932 4.2× 138 3.5k
Colin Fidge Australia 23 402 0.2× 887 1.2× 239 0.3× 87 0.4× 613 2.8× 157 1.9k
Zongmin Ma China 24 1.3k 0.7× 925 1.3× 180 0.3× 1.0k 4.2× 660 3.0× 265 2.3k
James R. Slagle United States 18 840 0.5× 168 0.2× 341 0.5× 57 0.2× 107 0.5× 79 1.2k
Lars Michael Kristensen Norway 13 410 0.2× 930 1.3× 1.0k 1.4× 41 0.2× 675 3.1× 80 2.5k
Enrico Vicario Italy 20 257 0.1× 251 0.3× 517 0.7× 135 0.5× 109 0.5× 126 1.4k
Gunar E. Liepins United States 17 750 0.4× 292 0.4× 338 0.5× 121 0.5× 122 0.6× 28 1.3k

Countries citing papers authored by Michael J. Maher

Since Specialization
Citations

This map shows the geographic impact of Michael J. Maher's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Michael J. Maher with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Michael J. Maher more than expected).

Fields of papers citing papers by Michael J. Maher

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Michael J. Maher. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Michael J. Maher. The network helps show where Michael J. Maher may publish in the future.

Co-authorship network of co-authors of Michael J. Maher

This figure shows the co-authorship network connecting the top 25 collaborators of Michael J. Maher. A scholar is included among the top collaborators of Michael J. Maher based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Michael J. Maher. Michael J. Maher is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Maher, Michael J.. (2015). Relating Concrete Argumentation Formalisms and Abstract Argumentation.. International Conference on Lightning Protection. 2 indexed citations
2.
Maher, Michael J.. (2009). Open contractible global constraints. International Joint Conference on Artificial Intelligence. 578–583. 2 indexed citations
3.
Maher, Michael J.. (2009). Local consistency for extended CSPs. Theoretical Computer Science. 410(46). 4769–4783. 1 indexed citations
4.
Maher, Michael J.. (2004). Advances in computer science - ASIAN 2004 : higher-level decision making : 9th Asian Computing Science Conference, Dedicated to Jean Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings. Springer eBooks. 1 indexed citations
5.
Maher, Michael J. & Alan J. Reiman. (2004). Principles for More Deliberate Assessment. Academic exchange quarterly. 8(1). 124–128. 1 indexed citations
6.
Wang, Junhu, Michael J. Maher, & Rodney Topor. (2002). Rewriting general conjunctive queries using views. Australasian Database Conference. 24(2). 197–206. 3 indexed citations
7.
Governatori, Guido & Michael J. Maher. (2000). An argumentation-theoretic characterization of defeasible logic. Griffith Research Online (Griffith University, Queensland, Australia). 469–473. 28 indexed citations
8.
Antoniou, Grigoris, David P. Billington, Guido Governatori, Michael J. Maher, & Andrew Rock. (2000). A family of defeasible reasoning logics and its implementation. Griffith Research Online (Griffith University, Queensland, Australia). 54. 459–463. 34 indexed citations
9.
Antoniou, Grigoris, Michael J. Maher, & David P. Billington. (2000). Defeasible logic versus Logic Programming without Negation as Failure. The Journal of Logic Programming. 42(1). 47–57. 64 indexed citations
10.
Maher, Michael J. & Guido Governatori. (1999). A semantic decomposition of defeasible logics. National Conference on Artificial Intelligence. 299–305. 33 indexed citations
11.
Maher, Michael J. & Jean‐François Puget. (1998). Principles and practice of constraint programming - CP98 : 4th International Conference, CP 98, Pisa, Italy, October 26-30, 1998 : proceedings. Springer eBooks. 3 indexed citations
12.
Maher, Michael J.. (1993). A logic programming view of CLP. International Conference on Logic Programming. 737–753. 19 indexed citations
13.
Maher, Michael J.. (1993). A transformation system for deductive database modules with perfect model semantics. Theoretical Computer Science. 110(2). 377–403. 33 indexed citations
14.
Jaffar, Joxan, Michael J. Maher, Peter J. Stuckey, & Roland H. C. Yap. (1992). Output in CLP.. Future Generation Computer Systems. 987–995. 6 indexed citations
15.
Borning, Alan, et al.. (1989). Constraint Hierarchies and Logic Programming.. International Conference on Lightning Protection. 149–164. 54 indexed citations
16.
Maher, Michael J.. (1986). Eqivalences of Logic Programs. International Conference on Logic Programming. 410–424. 1 indexed citations
17.
Jaffar, Joxan, Jean-Louis Lassez, & Michael J. Maher. (1984). A Theory of Complete Logic Programs with Equality.. Future Generation Computer Systems. 175–184. 1 indexed citations
18.
Wolfram, D. A., Michael J. Maher, & Jean-Louis Lassez. (1984). A Unified Treatment of Resolution Strategies for Logic Programs.. International Conference on Lightning Protection. 263–276. 18 indexed citations
19.
Jaffar, Joxan, Jean-Louis Lassez, & Michael J. Maher. (1984). A theory of complete logic programs with equality. The Journal of Logic Programming. 1(3). 211–223. 55 indexed citations
20.
Lassez, J.-L. & Michael J. Maher. (1983). The denotational semantics of horn clauses as a production system. National Conference on Artificial Intelligence. 229–231. 5 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Joxan Jaffar Breakdown of academic impact, for papers by Charles L. Forgy Breakdown of academic impact, for papers by Jim Woodcock Breakdown of academic impact, for papers by William H. Sanders Breakdown of academic impact, for papers by Colin Fidge Breakdown of academic impact, for papers by Zongmin Ma Breakdown of academic impact, for papers by James R. Slagle Breakdown of academic impact, for papers by Lars Michael Kristensen Breakdown of academic impact, for papers by Enrico Vicario Breakdown of academic impact, for papers by Gunar E. Liepins
Rankless by CCL
2026