Ajay Mallya
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2005–2007
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ICALP | Co-Logic Programming: Extending Logic Programming with Coinduction. | Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta |
| 2007 | ICLP | Coinductive Logic Programming and Its Applications. | Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya |
| 2006 | ICLP | Coinductive Logic Programming. | Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta |
| 2005 | ICLP | Deductive Multi-valued Model Checking. | Ajay Mallya |
| 2005 | ICWS | A Universal Service Description Language. | Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta, Thomas D. Hite |
| 2005 | LOPSTR | Design and Implementation of A | Luke Simon, Ajay Mallya, Gopal Gupta |