Linear-time algorithms for testing the satisfiability of propositional Horn formulae WF Dowling, JH Gallier The Journal of Logic Programming 1 (3), 267-284, 1984 | 1466 | 1984 |
Logic for computer science: foundations of automatic theorem proving JH Gallier Courier Dover Publications, 2015 | 1314 | 2015 |
Geometric methods and applications: for computer science and engineering J Gallier Springer Science & Business Media, 2011 | 623 | 2011 |
Curves and surfaces in geometric modeling: theory and algorithms JH Gallier Morgan Kaufmann, 2000 | 310 | 2000 |
Higher-order unification revisited: Complete sets of transformations W Snyder, J Gallier Journal of Symbolic Computation 8 (1-2), 101-140, 1989 | 223 | 1989 |
On Girard's" Candidats de Reductibilité" JH Gallier | 194 | 1989 |
Constructive logics part I: A tutorial on proof systems and typed λ-calculi J Gallier Theoretical computer science 110 (2), 249-339, 1993 | 183 | 1993 |
What's so special about Kruskal's theorem and the ordinal Γo? A survey of some results in proof theory JH Gallier Annals of pure and applied logic 53 (3), 199-260, 1991 | 183 | 1991 |
Computing exponentials of skew-symmetric matrices and logarithms of orthogonal matrices J Gallier, D Xu International Journal of Robotics and Automation 18 (1), 10-20, 2003 | 178 | 2003 |
Complete sets of transformations for general E-unification JH Gallier, W Snyder Theoretical Computer Science 67 (2-3), 203-260, 1989 | 177 | 1989 |
Differential geometry and lie groups JQ Gallier, J Quaintance Springer International Publishing, 2020 | 174 | 2020 |
The Schur complement and symmetric positive semidefinite (and definite) matrices J Gallier Penn Engineering, 1-12, 2010 | 152 | 2010 |
Topological evolution of surfaces D DeCarlo, J Gallier Graphics Interface 96, 194-203, 1996 | 123 | 1996 |
Discrete mathematics J Gallier Springer Science & Business Media, 2011 | 110 | 2011 |
Two efficient solutions for visual odometry using directional correspondence O Naroditsky, XS Zhou, J Gallier, SI Roumeliotis, K Daniilidis IEEE transactions on pattern analysis and machine intelligence 34 (4), 818-824, 2011 | 109 | 2011 |
Coordinated path planning for fixed-wing UAS conducting persistent surveillance missions J Keller, D Thakur, M Likhachev, J Gallier, V Kumar IEEE Transactions on Automation Science and Engineering 14 (1), 17-24, 2016 | 105 | 2016 |
Polymorphic rewriting conserves algebraic strong normalization V Breazu-Tannen, J Gallier Theoretical Computer Science 83 (1), 3-28, 1991 | 104 | 1991 |
A guide to the classification theorem for compact surfaces JH Gallier, D Xu Springer, 2013 | 97 | 2013 |
Polymorphic rewriting conserves algebraic strong normalization and confluence V Breazu-Tannen, J Gallier Automata, Languages and Programming: 16th International Colloquium Stresa …, 1989 | 97* | 1989 |
Rigid E-unification: NP-completeness and applications to equational matings J Gallier, P Narendran, D Plaisted, W Snyder Information and Computation 87 (1-2), 129-195, 1990 | 92 | 1990 |