Concepedia

Michael J. Maher

MJ

52

Publications

4.5K

Citations

31

H-Index

1978

Active since

Affiliations

Griffith University(Current)

The University of Melbourne

IBM Research - Thomas J. Watson Research Center

IBM (United States)

Loyola University Chicago

Michael J. Maher is an author at Griffith University specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceLogic ProgrammingSemanticsFormal VerificationData ScienceData ModelingMathematical Programming

Publications per year

1978–2016

52

Publications

52

Constraint logic programming: a survey

Joxan Jaffar, Michael J. Maher · The Journal of Logic Programming · 1994 · 1.3K citations

Mathematical Programming, Constraint Solving, Engineering +8

Representation results for defeasible logic

Grigoris Antoniou, David P. Billington, Guido Governatori et al. · ACM Transactions on Computational Logic · 2001 · 367 citations · Full text

Applied Logic, Normal Forms, Computational Logic +10

Complete axiomatizations of the algebras of finite, rational and infinite trees

Michael J. Maher · 2003 · 237 citations

Complete Axiomizations, Algebraic Logic, Abstract Algebra +7

The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1

Joxan Jaffar, Michael J. Maher, Kim Marriott et al. · The Journal of Logic Programming · 1998 · 189 citations

Constraint Solving, Engineering, Automated Reasoning +9

Logic Semantics for a Class of Committed-Choice Programs.

Michael J. Maher · International Conference on Lightning Protection · 1987 · 165 citations

Rows per page

1–5 of 52