Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

6 results for Michael J. Maher

Separability of polyhedra for optimal filtering of spatial and constraint data
- - Alexander Brodsky
  - Catherine Lassez
  - et al.
- 1999
- Journal of Automated Reasoning
Oracle semantics for prolog
- - Roberto Barbuti
  - Michael Codish
  - et al.
- 1995
- Information and Computation
On inductive inference of cyclic structures
- - Michael J. Maher
  - Peter J. Stuckey
- 1995
- Ann. Math. Artif. Intell.
Projecting CLP R constraints
- - Joxan Jaffar
  - Michael J. Maher
  - et al.
- 1993
- New Generation Computing
A transformation system for deductive database modules with perfect model semantics
- - Michael J. Maher
- 1993
- Theoretical Computer Science
On Fourier's algorithm for linear arithmetic constraints
- - Jean-Louis Lassez
  - Michael J. Maher
- 1992
- Journal of Automated Reasoning