Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.
EDBT 2026 Demo / reviewers in the wild / expert

Ajay Mallya

dblp:38/5378 · DBLP profile ↗
← Back
6ranked-venue papers
1as first author
0since 2021 · last 2007
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 5 · 1 first-authorTheory of computation · 5 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Logic in computer science · 100%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Logic in computer science
coinduction		 0.112007
Co-Logic Programming: Extending Logic Programming with Coinduction · ICALP 2007
Logic in computer science
logic programming		 0.112007
Co-Logic Programming: Extending Logic Programming with Coinduction · ICALP 2007
YearPublicationVenuePosition
2007 Co-Logic Programming: Extending Logic Programming with Coinduction
Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta 0001
 ICALP3
2007 Coinductive Logic Programming and Its Applications
Gopal Gupta 0001, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya
 ICLP5
2006 Coinductive Logic Programming
Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta 0001
 ICLP2
2005 Deductive Multi-valued Model Checking
Ajay Mallya
 ICLP1
2005 A Universal Service Description Language
abstract
To fully utilize Web-services, users and applications should be able to discover, deploy, compose and synthesize services automatically. This automation can take place only if a formal semantic description of the Web-services is available. In this paper we present a markup language called USDL (Universal Service Description Language), for formally describing the semantics of Web-services.
Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta 0001, Thomas D. Hite
 ICWS2
2005 Design and Implementation of AT: A Real-Time Action Description Language
Luke Simon, Ajay Mallya, Gopal Gupta 0001
 LOPSTR2