| 2007 |
|---|
| 6 | EE | Luke Simon,
Ajay Bansal,
Ajay Mallya,
Gopal Gupta:
Co-Logic Programming: Extending Logic Programming with Coinduction.
ICALP 2007: 472-483 |
| 5 | EE | Gopal Gupta,
Ajay Bansal,
Richard Min,
Luke Simon,
Ajay Mallya:
Coinductive Logic Programming and Its Applications.
ICLP 2007: 27-44 |
| 2006 |
|---|
| 4 | EE | Luke Simon,
Ajay Mallya,
Ajay Bansal,
Gopal Gupta:
Coinductive Logic Programming.
ICLP 2006: 330-345 |
| 2005 |
|---|
| 3 | EE | Ajay Mallya:
Deductive Multi-valued Model Checking.
ICLP 2005: 297-310 |
| 2 | EE | Luke Simon,
Ajay Mallya,
Ajay Bansal,
Gopal Gupta,
Thomas D. Hite:
A Universal Service Description Language.
ICWS 2005: 823-824 |
| 1 | EE | Luke Simon,
Ajay Mallya,
Gopal Gupta:
Design and Implementation of AT: A Real-Time Action Description Language.
LOPSTR 2005: 44-60 |
