Ajay Mallya
The University of Texas at Dallas(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Semantic Web and Ontologies, Service-Oriented Architecture and Web Services
Most-Cited Works
- → Coinductive Logic Programming(2006)89 cited
- → Coinductive Logic Programming and Its Applications(2007)81 cited
- → Co-Logic Programming: Extending Logic Programming with Coinduction(2007)76 cited
- → USDL(2009)38 cited
- → A universal service-semantics description language(2005)31 cited
- → A Universal Service Description Language(2005)19 cited
- → Deductive Multi-valued Model Checking(2005)14 cited
- → Towards a Universal Service Description Language(2006)3 cited
- → Design and Implementation of ${\mathcal A}_T$ : A Real-Time Action Description Language(2006)3 cited