Jean H. Gallier
Affiliations:- University of Pennsylvania, Philadelphia, PA, USA
According to our database1,
Jean H. Gallier
authored at least 75 papers
between 1978 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on id.loc.gov
-
on d-nb.info
On csauthors.net:
Bibliography
2024
Proceedings of the Provenance of Elegance in Computation - Essays Dedicated to Val Tannen, 2024
2020
Linear Algebra and Optimization with Applications to Machine Learning - Volume II: Fundamentals of Optimization Theory with Applications to Machine Learning
WorldScientific, ISBN: 9789811216589, 2020
Linear Algebra and Optimization with Applications to Machine Learning - Volume I: Linear Algebra for Computer Vision, Robotics, and Machine Learning
WorldScientific, ISBN: 9789811206412, 2020
2017
Coordinated Path Planning for Fixed-Wing UAS Conducting Persistent Surveillance Missions.
IEEE Trans Autom. Sci. Eng., 2017
Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics, 2017
2016
Spectral Theory of Unsigned and Signed Graphs. Applications to Graph Clustering: a Survey.
CoRR, 2016
2015
The exponential map for the group of similarity transformations and applications to motion interpolation.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015
2013
Geometry and Computing 9, Springer, ISBN: 978-3-642-34364-3, 2013
Notes on Elementary Spectral Graph Theory. Applications to Graph Clustering Using Normalized Cuts.
CoRR, 2013
2012
IEEE Trans. Pattern Anal. Mach. Intell., 2012
2011
Contour cut: Identifying salient contours in images by solving a Hermitian eigenvalue problem.
Proceedings of the 24th IEEE Conference on Computer Vision and Pattern Recognition, 2011
2009
A new construction of smooth surfaces from triangle meshes using parametric pseudo-manifolds.
Comput. Graph., 2009
2008
2006
Log. Methods Comput. Sci., 2006
On the Efficiency of Strategies for Subdividing Polynomial Triangular Surface Patches
CoRR, 2006
CoRR, 2006
2005
2003
Inf. Process. Lett., 2003
A New Algorithm for Generating Quadrilateral Meshes and its Application to FE-Based Image Registration.
Proceedings of the 12th International Meshing Roundtable, 2003
1999
ACM Trans. Graph., 1999
1998
Ann. Pure Appl. Log., 1998
1997
Ann. Pure Appl. Log., 1997
Erratum to "What's So Special About Kruskal's Theorem and the Ordinal Gamma<sub>0</sub>? A Survey of Some Results in Proof Theory".
Ann. Pure Appl. Log., 1997
Proceedings of the Thirteenth Annual Symposium on Computational Geometry, 1997
1996
Topological Evolution of Surfaces.
Proceedings of the Graphics Interface 1996 Conference, 1996
1995
Theor. Comput. Sci., 1995
1994
1993
Theor. Comput. Sci., 1993
J. ACM, 1993
Proving Properties of Typed Lambda Terms: Realizability, Covers, and Sheaves (Abstract).
Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993
1992
Unification procedures in automated deduction methods based on matings: A survey.
Proceedings of the Tree Automata and Languages., 1992
1991
Theor. Comput. Sci., 1991
What's So Special About Kruskal's Theorem and the Ordinal Gamma<sub>0</sub>? A Survey of Some Results in Proof Theory.
Ann. Pure Appl. Log., 1991
1990
Inf. Comput., 1990
1989
Theor. Comput. Sci., 1989
J. Symb. Comput., 1989
J. Log. Program., 1989
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989
1988
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988
A Relational Semantics for Logic Programming.
Proceedings of the Logic Programming, 1988
Rewriting in Order-sorted Equational Logic.
Proceedings of the Logic Programming, 1988
Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time.
Proceedings of the 9th International Conference on Automated Deduction, 1988
1987
J. Symb. Comput., 1987
RAIRO Theor. Informatics Appl., 1987
Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987
Theorem Proving Using Rigid E-Unification Equational Matings
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987
Logic for Computer Science: Foundations of Automatic Theorem Proving.
Wiley, ISBN: 978-0-471-61546-0, 1987
1986
SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification.
Proceedings of the 1986 Symposium on Logic Programming, 1986
Logic for Computer Science: Foundations of Automatic Theorem Proving
Harper & Row, ISBN: 0-06-042225-4, 1986
1985
Logic Programming and Graph Rewriting.
Proceedings of the 1985 Symposium on Logic Programming, 1985
1984
Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae.
J. Log. Program., 1984
Proceedings of the 7th International Conference on Automated Deduction, 1984
1982
Corrigendum: DPDA's in "Atomic Normal Form" and Applications to Equivalence Problems.
Theor. Comput. Sci., 1982
Corrigendum: DPDA's in "Atomic Normal Form" and Applications to Equivalence Problems. TCS 14(1981) 155-186.
Theor. Comput. Sci., 1982
Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982
1981
Theor. Comput. Sci., 1981
Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness II.
Theor. Comput. Sci., 1981
Nondeterministic Flowchart Programs with Recursive Procedures: Semantics and Correctness I.
Theor. Comput. Sci., 1981
1980
1979
Proceedings of the Automata, 1979
1978
Semantics and Correctness of Nondeterministic Flowchart Programs with Recursive Procedures.
Proceedings of the Automata, 1978
Semantics and correctness of classes of deterministic and nondeterministic recursive programs.
PhD thesis, 1978