Segment Transit Function of the Induced Path Function of Graphs and Its First-Order Definability. - Jeny Jacob; Manoj Changat (ICLA, 2023)

The Weak-Toll Function of a Graph: Axiomatic Characterizations and First-Order Non-definability. - Lekshmi Kamal K. Sheela; Manoj Changat; Jeny Jacob (CALDAM, 2024)

First-order logic with metric betweenness - the case of non-definability of some graph classes. - Jeny Jacob; Manoj Changat (AKCE Int. J. Graphs Comb., 2024)

Axiomatic characterization of the interval function of partial cubes and partial Hamming graphs. - Jeny Jacob; Manoj Changat; Lekshmi Kamal K. Sheela; Abhirami R. S; Amrutha U. A. (AKCE Int. J. Graphs Comb., 2024)

Weakly modular graphs with diamond condition, the interval function and axiomatic characterizations. - Lekshmi Kamal Kamalolbhavan-Sheela; Jeny Jacob; Manoj Changat (CoRR, 2024)

First-order logic axiomatization of metric graph theory. - Jérémie Chalopin; Manoj Changat; Victor Chepoi; Jeny Jacob (Theor. Comput. Sci., 2024)

First order non-definability of some transit functions on graphs. - Jeny Jacob; Manoj Changat (Discret. Appl. Math., 2026)