Deductive Multi-valued Model Checking. - Ajay Mallya (ICLP, 2005)

A Universal Service Description Language. - Luke Simon; Ajay Mallya; Ajay Bansal; Gopal Gupta 001; Thomas D. Hite (ICWS, 2005)

Design and Implementation of AT: A Real-Time Action Description Language. - Luke Simon; Ajay Mallya; Gopal Gupta 001 (LOPSTR, 2005)

Coinductive Logic Programming. - Luke Simon; Ajay Mallya; Ajay Bansal; Gopal Gupta 001 (ICLP, 2006)

Co-Logic Programming: Extending Logic Programming with Coinduction. - Luke Simon; Ajay Bansal; Ajay Mallya; Gopal Gupta 001 (ICALP, 2007)

Coinductive Logic Programming and Its Applications. - Gopal Gupta 001; Ajay Bansal; Richard Min; Luke Simon; Ajay Mallya (ICLP, 2007)

USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition. - Srividya Kona 001; Ajay Bansal; Luke Simon; Ajay Mallya; Gopal Gupta 001; Thomas D. Hite (Int. J. Web Serv. Res., 2009)