| 2018 | CLOSER | Deadline-constrained Stochastic Optimization of Resource Provisioning, for Cloud Users. | Masoumeh Tajvidi, Daryl Essam, Michael J. Maher |
| 2017 | CLOSER | Uncertainty-aware Optimization of Resource Provisioning, a Cloud End-user Perspective. | Masoumeh Tajvidi, Michael J. Maher, Daryl Essam |
| 2016 | AAAI | Resistance to Corruption of Strategic Argumentation. | Michael J. Maher |
| 2016 | PRIMA | Resistance to Corruption of General Strategic Argumentation. | Michael J. Maher |
| 2015 | ICLP | Relating Concrete Argumentation Formalisms and Abstract Argumentation. | Michael J. Maher |
| 2014 | ECAI | Comparing Defeasible Logics. | Michael J. Maher |
| 2014 | ECAI | Defeasible and Ampliative Reasoning: Same-same but Different. | Michael J. Maher |
| 2014 | EUMAS | Strategic Argumentation Under Grounded Semantics is NP-Complete. | Guido Governatori, Michael J. Maher, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco |
| 2014 | PRICAI | Complexity of Exploiting Privacy Violations in Strategic Argumentation. | Michael J. Maher |
| 2011 | CP | Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. | Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael J. Maher |
| 2011 | LCN | User- and application-centric multihomed flow management. | Olivier Mehani, Roksana Boreli, Michael J. Maher, Thierry Ernst |
| 2010 | ICLP | Contractibility and Contractible Approximations of Soft Global Constraints. | Michael J. Maher |
| 2010 | LPAR | Human and Unhuman Commonsense Reasoning. | Michael J. Maher |
| 2009 | CP | SOGgy Constraints: Soft Open Global Constraints. | Michael J. Maher |
| 2009 | CPAIOR | Open Constraints in a Boundable World. | Michael J. Maher |
| 2009 | IJCAI | Open Contractible Global Constraints. | Michael J. Maher |
| 2008 | CP | Flow-Based Propagators for the SEQUENCE and Related Global Constraints. | Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
| 2008 | LPAR | On Computing Constraint Abduction Answers. | Michael J. Maher, Ge Huang |
| 2005 | CP | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. | Peter J. Stuckey, Maria J. Garca de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
| 2005 | ICLP | Abduction of Linear Arithmetic Constraints. | Michael J. Maher |
| 2005 | ICLP | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. | Peter J. Stuckey, Maria J. Garca de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
| 2005 | LICS | Herbrand Constraint Abduction. | Michael J. Maher |
| 2004 | PRICAI | Solving Over-Constrained Temporal Reasoning Problems Using Local Search. | Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher |
| 2003 | CP | A Synthesis of Constraint Satisfaction and Constraint Solving. | Michael J. Maher |
| 2002 | ADC | Rewriting General Conjunctive Queries Using Views. | Junhu Wang, Michael J. Maher, Rodney W. Topor |
| 2002 | EDBT | Rewriting Unions of General Conjunctive Queries Using Views. | Junhu Wang, Michael J. Maher, Rodney W. Topor |
| 2002 | ICLP | Embedding Defeasible Logic into Logic Programs. | Grigoris Antoniou, Michael J. Maher |
| 2002 | ICLP | Propagation Completeness of Reactive Constraints. | Michael J. Maher |
| 2002 | TIME | Applying Local Search to Temporal Reasoning. | John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher |
| 2001 | DEXA | Reasoning with Disjunctive Constrained Tuple-Generating Dependencies. | Junhu Wang, Rodney W. Topor, Michael J. Maher |
| 2000 | AAAI | A Flexible Framework for Defeasible Logics. | Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher |
| 2000 | DEXA | Optimizing Queries in Extended Relational Databases. | Michael J. Maher, Junhu Wang |
| 2000 | ECAI | A Family of Defeasible Reasoning Logics and its Implementation. | Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock |
| 2000 | ECAI | An Argumentation-Theoretic Characterization of Defeasible Logic. | Guido Governatori, Michael J. Maher |
| 2000 | ICTAI | Efficient defeasible reasoning systems. | Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller |
| 2000 | PRICAI | Argumentation Semantics for Defeasible Logics. | Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington |
| 1999 | AAAI | A Semantic Decomposition of Defeasible Logics. | Michael J. Maher, Guido Governatori |
| 1999 | ICLP | Finding Fair Allocations for the Coalition Problem with Constraints. | Evan Tick, Roland H. C. Yap, Michael J. Maher |
| 1999 | KI | Revising Nonmonotonic Theories: The Case of Defeasible Logic. | David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher |
| 1999 | LPNMR | A Comparison of Sceptical NAF-Free Logic Programming Approaches. | Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori |
| 1998 | ICLP | Normal Forms for Defeasible Logic. | Grigoris Antoniou, David Billington, Michael J. Maher |
| 1996 | PODS | Chasing Constrained Tuple-Generating Dependencies. | Michael J. Maher, Divesh Srivastava |
| 1995 | CP | Constrained Dependencies. | Michael J. Maher |
| 1995 | PODS | Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. | Alexander Brodsky, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher |
| 1993 | ICLP | A Logic Programming View of CLP. | Michael J. Maher |
| 1993 | VLDB | Toward Practical Constraint Databases. | Alexander Brodsky, Joxan Jaffar, Michael J. Maher |
| 1991 | LPNMR | Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning. | Michael J. Maher |
| 1991 | MFCS | Elimination of Negation in Term Algebras. | Jean-Louis Lassez, Michael J. Maher, Kim Marriott |
| 1991 | PODC | Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs. | Haim Gaifman, Michael J. Maher, Ehud Shapiro |
| 1989 | ICLP | Constraint Hierarchies and Logic Programming. | Alan Borning, Michael J. Maher, Amy Martindale, Molly Wilson |
| 1988 | LICS | Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees | Michael J. Maher |
| 1987 | ICLP | Logic Semantics for a Class of Committed-Choice Programs. | Michael J. Maher |
| 1986 | ICLP | Invited Talk: Some Issues and Trends in the Semantics of Logic Programming. | Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher |
| 1986 | ICLP | Eqivalences of Logic Programs. | Michael J. Maher |
| 1984 | ICLP | A Unified Treatment of Resolution Strategies for Logic Programs. | David A. Wolfram, Michael J. Maher, Jean-Louis Lassez |
| 1983 | AAAI | The Denotational Semantics of Horn Clauses as a Production System. | Jean-Louis Lassez, Michael J. Maher |