Login / Signup
Jeny Jacob
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 6
Top Topics
Axiomatic Characterization
Representation Language
Graph Theory
Horn Clauses
Top Venues
CoRR
ICLA
Theor. Comput. Sci.
AKCE Int. J. Graphs Comb.
</>
Publications
</>
Lekshmi Kamal Kamalolbhavan-Sheela
,
Jeny Jacob
,
Manoj Changat
Weakly modular graphs with diamond condition, the interval function and axiomatic characterizations.
CoRR
(2024)
Jérémie Chalopin
,
Manoj Changat
,
Victor Chepoi
,
Jeny Jacob
First-order logic axiomatization of metric graph theory.
Theor. Comput. Sci.
993 (2024)
Jeny Jacob
,
Manoj Changat
,
Lekshmi Kamal K. Sheela
,
Abhirami R. S
,
Amrutha U. A.
Axiomatic characterization of the interval function of partial cubes and partial Hamming graphs.
AKCE Int. J. Graphs Comb.
21 (1) (2024)
Lekshmi Kamal K. Sheela
,
Manoj Changat
,
Jeny Jacob
The Weak-Toll Function of a Graph: Axiomatic Characterizations and First-Order Non-definability.
CALDAM
(2024)
Jeny Jacob
,
Manoj Changat
Segment Transit Function of the Induced Path Function of Graphs and Its First-Order Definability.
ICLA
(2023)
Jérémie Chalopin
,
Manoj Changat
,
Victor Chepoi
,
Jeny Jacob
First-order logic axiomatization of metric graph theory.
CoRR
(2022)