default search action

combined dblp search
author search
venue search
publication search

ask others

Ajay Mallya

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jwsr/KonaBSMGH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jwsr/KonaBSMGH09
Srividya Kona, Ajay Bansal, Luke Simon, Ajay Mallya, Gopal Gupta, Thomas D. Hite:
USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition. Int. J. Web Serv. Res. 6(1): 20-48 (2009)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2007
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/SimonBMG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/SimonBMG07
Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta:
Co-Logic Programming: Extending Logic Programming with Coinduction. ICALP 2007: 472-483
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/GuptaBMSM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/GuptaBMSM07
Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya:
Coinductive Logic Programming and Its Applications. ICLP 2007: 27-44
2006
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/SimonMBG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/SimonMBG06
Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta:
Coinductive Logic Programming. ICLP 2006: 330-345
2005
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/Mallya05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Mallya05
Ajay Mallya:
Deductive Multi-valued Model Checking. ICLP 2005: 297-310
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/SimonMBGH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/SimonMBGH05
Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta, Thomas D. Hite:
A Universal Service Description Language. ICWS 2005: 823-824
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/SimonMG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/SimonMG05
Luke Simon, Ajay Mallya, Gopal Gupta:
Design and Implementation of A_T: A Real-Time Action Description Language. LOPSTR 2005: 44-60

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.