Concepedia

Ashok U. Mallya

AU

8

Publications

398

Citations

8

H-Index

2003

Active since

Affiliations

North Carolina State University(Current)

Ashok U. Mallya is an author at North Carolina State University specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsFormal VerificationSoftware DesignComputer ScienceSoftware EngineeringVerificationMechanism DesignSystems EngineeringDesign

Publications per year

2003–2007

8

Publications

8

Interaction protocols as design abstractions for business processes

Nirmit Desai, Ashok U. Mallya, Amit K. Chopra et al. · IEEE Transactions on Software Engineering · 2005 · 133 citations

Collaborative Business Process, Business Partners, Engineering +13

The IEEE FIPA approach to integrating software agents and web services

Dominic Greenwood, M. J. Lyell, Ashok U. Mallya et al. · 2007 · 69 citations

Web Service Specification, Engineering, Ieee Fipa Agent +23

An algebra for commitment protocols

Ashok U. Mallya, Munindar P. Singh · Autonomous Agents and Multi-Agent Systems · 2006 · 60 citations

Engineering, Commitment Protocols, Automated Reasoning +6

Commitments among agents

Ashok U. Mallya, Michael N. Huhns · IEEE Internet Computing · 2003 · 43 citations

Negotiation, Engineering, Agent Theory +21

Modeling exceptions via commitment protocols

Ashok U. Mallya, Munindar P. Singh · 2005 · 39 citations

Unexpected Exceptions, Engineering, Information Security +20

Rows per page

1–5 of 8