Jean Gallier
About
In The Last Decade
Jean Gallier
87 papers receiving 2.0k citations
Hit Papers
Peers
Comparison fields: 5 of 118
- Artificial Intelligence 1.3k
- Computational Theory and Mathematics 948
- Computer Networks and Communications 328
- Computer Vision and Pattern Recognition 319
- Aerospace Engineering 206
Countries citing papers authored by Jean Gallier
This map shows the geographic impact of Jean Gallier's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Jean Gallier with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jean Gallier more than expected).
Fields of papers citing papers by Jean Gallier
This network shows the impact of papers produced by Jean Gallier. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Jean Gallier. The network helps show where Jean Gallier may publish in the future.
Co-authorship network of co-authors of Jean Gallier
This figure shows the co-authorship network connecting the top 25 collaborators of Jean Gallier. A scholar is included among the top collaborators of Jean Gallier based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Jean Gallier. Jean Gallier is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 0 | |
| 2 | Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition | 3 |
| 3 | Clifford Algebras, Clifford Groups, and a Generalization of the Quaternions: The Pin and Spin Groups | 3 |
| 4 | Structure From Motion With Directional Correspondence for Visual Odometry | 1 |
| 5 | 54 | |
| 6 | A New Algorithm for Generating Quadrilateral Meshes and its Application to FE-Based Image Registration. | 1 |
| 7 | 12 | |
| 8 | On the Correspondence Between Proofs and Lambda-Terms | 4 |
| 9 | 1 | |
| 10 | ORDER-SORTED RIGID E-UNIFICATION | 3 |
| 11 | 43 | |
| 12 | 43 | |
| 13 | 18 | |
| 14 | Rewriting in Order-sorted Equational Logic. | 3 |
| 15 | Theorem Proving Using Rigid E-Unification Equational Matings | 21 |
| 16 | 3 | |
| 17 | The semantics of recursive programs with function parameters of finite types: N -rational algebras and logic of inequalities | 1 |
| 18 | SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification. | 15 |
| 19 | 17 | |
| 20 | 17 |
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.