| 2011 | CVPR | Contour cut: Identifying salient contours in images by solving a Hermitian eigenvalue problem. | Ryan Kennedy, Jean H. Gallier, Jianbo Shi |
| 1989 | ICALP | Polymorphic Rewriting Conserves Algebraic Strong Normalization and Confluence. | Val Tannen, Jean H. Gallier |
| 1988 | CADE | Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time. | Jean H. Gallier, Paliath Narendran, David A. Plaisted, Stan Raatz, Wayne Snyder |
| 1988 | ICLP | Rewriting in Order-sorted Equational Logic. | Jean H. Gallier, Toms Isakowitz |
| 1988 | ICLP | A Relational Semantics for Logic Programming. | Stan Raatz, Jean H. Gallier |
| 1988 | LICS | Rigid E-Unification is NP-Complete | Jean H. Gallier, Wayne Snyder, Paliath Narendran, David A. Plaisted |
| 1987 | LICS | Theorem Proving Using Rigid E-Unification Equational Matings | Jean H. Gallier, Stan Raatz, Wayne Snyder |
| 1984 | CADE | Solving Word Problems in Free Algebras Using Complexity Functions. | Alex Pelin, Jean H. Gallier |
| 1982 | POPL | Building Friendly Parsers. | Fahimeh Jalili, Jean H. Gallier |
| 1979 | ICALP | Recursion Schemes and Generalized Interpretations (Extended Abstract). | Jean H. Gallier |
| 1978 | ICALP | Semantics and Correctness of Nondeterministic Flowchart Programs with Recursive Procedures. | Jean H. Gallier |