Michael J. Maher

5.6k citations
83 papers · 2.5k · 1 hit paper · h-index 25

Impact in

    • Logic, Reasoning, and Knowledge
    • Logic, programming, and type systems
    • Semantic Web and Ontologies
    • Multi-Agent Systems and Negotiation
  • Software top 2%

Papers in

Michael J. Maher

78 papers receiving 2.1k citations

Michael J. Maher's Hit Papers

Constraint logic programming: a survey 1994 · 656 citations
6560+10+21Years since publication200400600

Peers

Michael J. Maher
Comparison fields: 5 of 127
  • Artificial Intelligence 1.9k
  • Software 212
  • Computational Theory and Mathematics 705
  • Computer Networks and Communications 717
  • Signal Processing 244
Replace Joxan Jaffar with:
Joxan Jaffar Singapore
Charles L. Forgy United States
Jim Woodcock United Kingdom
William H. Sanders United States
Colin Fidge Australia
Pamela Zave United States
James R. Slagle United States
Lars Michael Kristensen Norway
Howard Barringer United Kingdom
He Jiang China
Michael J. Maher relative to Joxan Jaffar Singapore Joxan Jaffar's profile →
Citations per field
00.5×1.5×
Joxan Jaffar · 1×
Citations per year

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-authors

The 25 scholars most cited alongside Michael J. Maher, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Michael J. Maher Line = papers co-authored together Michael J. Maher links everyone, so they are left out of the graph.

All Works

20 of 20 papers shown

Showing the 20 most-cited of 83 papers — load more, or switch the sort, to bring in the rest.

#Work
1
Constraint logic programming: a survey
Hit paper breakdown →
1994656
2 2001173
3 197999
4 199894
5 198787
6 200185
7 199885
8 200064
9 200162
10 198462
11 200059
12 198455
13
Constraint Hierarchies and Logic Programming.
198954
14 198854
15 200348
16 200642
17
Logic Programming Language Scheme.
198637
18 199236
19 200336
20
A family of defeasible reasoning logics and its implementation
200035

About Michael J. Maher

Michael J. Maher is a scholar working on Artificial Intelligence, Computer Networks and Communications, Computational Theory and Mathematics, Signal Processing and Sociology and Political Science, having authored 83 papers that have together received 2.5k indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (47 papers), Semantic Web and Ontologies (27 papers), Logic, programming, and type systems (24 papers), Multi-Agent Systems and Negotiation (14 papers), Advanced Algebra and Logic (13 papers), Constraint Satisfaction and Optimization (13 papers), Advanced Database Systems and Queries (12 papers) and Data Management and Algorithms (8 papers). The work is most often cited by research in Artificial Intelligence (1.9k citations), Software (212 citations), Computational Theory and Mathematics (705 citations), Computer Networks and Communications (717 citations) and Signal Processing (244 citations). Michael J. Maher has collaborated with scholars based in Australia, United States and Singapore. Frequent co-authors include Joxan Jaffar, Grigoris Antoniou, David P. Billington, Guido Governatori, Jean-Louis Lassez, Chris Chatfield, Jean‐François Puget, J.-L. Lassez, Peter J. Stuckey and Kim Marriott. Their work appears in journals such as Theory and Practice of Logic Programming, The Journal of Logic Programming, Theoretical Computer Science, ACM Transactions on Computational Logic and Constraints.

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