Jean Gallier

Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday

Richard Statman, Robert L. Constable, John C. Cherniavsky, 1994 .

The exponential map for the group of similarity transformations and applications to motion interpolation

Spyridon Leonardos, Jean Gallier, Christine Allen-Blanchette, 2015, 2015 IEEE International Conference on Robotics and Automation (ICRA).

Analysis and Simulation of Biomedical Images

Johan Montagnat, Hervé Delingette, Luc Soler, 2006 .

A Guide to the Classification Theorem for Compact Surfaces

Dianna Xu, Jean Gallier, J. Gallier, 2013, Geometry and Computing.

Coordinated commencement of pre-planned routes for fixed-wing UAS starting from arbitrary locations - a near real-time solution

Vijay Kumar, Isaac Kaminer, Vladimir Dobrokhodov, 2014, 2014 International Conference on Unmanned Aircraft Systems (ICUAS).

Semantic Word Clusters Using Signed Spectral Clustering

Dean P. Foster, Lyle H. Ungar, João Sedoc, 2017, ACL.

Constructive Logics Part I: A Tutorial on Proof Systems and Typed gamma-Calculi

Jean Gallier, J. Gallier, Jean H. Gallier, 1993, Theor. Comput. Sci..

Spectral Theory of Unsigned and Signed Graphs. Applications to Graph Clustering: a Survey pdf

Jean Gallier, J. Gallier, 2016, ArXiv.

Semantic Word Clusters Using Signed Normalized Graph Cuts pdf

Dean P. Foster, Lyle H. Ungar, João Sedoc, 2016, ArXiv.

Coordinated Path Planning for Fixed-Wing UAS Conducting Persistent Surveillance Missions

Vijay Kumar, Maxim Likhachev, James Keller, 2017, IEEE Transactions on Automation Science and Engineering.