 | 2009 |
| 23 |  | Matteo Baldoni,
Cristina Baroglio,
Amit K. Chopra,
Nirmit Desai,
Viviana Patti,
Munindar P. Singh:
Choice, interoperability, and conformance in interaction protocols and service choreographies.
AAMAS (2) 2009: 843-850 |
| 22 |  | Nirmit Desai,
Amit K. Chopra,
Munindar P. Singh:
Amoeba: A methodology for modeling and evolving cross-organizational business processes.
ACM Trans. Softw. Eng. Methodol. 19(2): (2009) |
| 2008 |
| 21 |  | Nirmit Desai,
Munindar P. Singh:
On the Enactability of Business Protocols.
AAAI 2008: 1126-1131 |
| 20 |  | Nirmit Desai,
Nanjangud C. Narendra,
Munindar P. Singh:
Checking correctness of business contracts via commitments.
AAMAS (2) 2008: 787-794 |
| 2007 |
| 19 |  | Nirmit Desai,
Amit K. Chopra,
Munindar P. Singh:
Representing and Reasoning about Commitments in Business Processes.
AAAI 2007: 1328-1333 |
| 18 |  | Nirmit Desai,
Munindar P. Singh:
A Modular Action Description Language for Protocol Composition.
AAAI 2007: 962-967 |
| 17 |  | Nirmit Desai,
Zhengang Cheng,
Amit K. Chopra,
Munindar P. Singh:
Toward verification of commitment protocols and their compositions.
AAMAS 2007: 33 |
| 16 |  | E. Michael Maximilien,
Hernán Wilkinson,
Nirmit Desai,
Stefan Tai:
A Domain-Specific Language for Web APIs and Services Mashups.
ICSOC 2007: 13-26 |
| 15 |  | Nirmit Desai,
Amit K. Chopra,
Matthew Arrott,
Bill Specht,
Munindar P. Singh:
Engineering Foreign Exchange Processes via Commitment Protocols.
IEEE SCC 2007: 514-521 |
| 2006 |
| 14 |  | Nirmit Desai,
Amit K. Chopra,
Munindar P. Singh:
An overview of business process adaptations via protocols.
AAMAS 2006: 1326-1328 |
| 13 |  | Nirmit Desai,
Amit K. Chopra,
Munindar P. Singh:
Business Process Adaptations via Protocols.
IEEE SCC 2006: 103-110 |
| 12 |  | Stefan Tai,
Nirmit Desai,
Pietro Mazzoleni:
Service communities: applications and middleware.
SEM 2006: 17-22 |
| 2005 |
| 11 |  | Ashok U. Mallya,
Nirmit Desai,
Amit K. Chopra,
Munindar P. Singh:
OWL-P: OWL for protocol and processes.
AAMAS 2005: 139-140 |
| 10 |  | Nirmit Desai,
Ashok U. Mallya,
Amit K. Chopra,
Munindar P. Singh:
OWL-P: A Methodology for Business Process Development.
AOIS 2005: 79-94 |
| 9 |  | Nirmit Desai,
Ashok U. Mallya,
Amit K. Chopra,
Munindar P. Singh:
Interaction Protocols as Design Abstractions for Business Processes.
IEEE Trans. Software Eng. 31(12): 1015-1027 (2005) |
| 2004 |
| 8 |  | Nirmit Desai,
Munindar P. Singh:
Protocol-Based Business Process Modeling and Enactment.
ICWS 2004: 35-42 |
| 7 |  | Munindar P. Singh,
Amit K. Chopra,
Nirmit Desai,
Ashok U. Mallya:
Protocols for processes: programming in the large for open systems (extended abstract).
OOPSLA Companion 2004: 120-123 |
| 6 |  | Stefan Tai,
Thomas A. Mikalsen,
Eric Wohlstadter,
Nirmit Desai,
Isabelle Rouvellou:
Transaction policies for service-oriented computing.
Data Knowl. Eng. 51(1): 59-79 (2004) |
| 5 |  | Nirmit Desai,
Frank Mueller:
Scalable hierarchical locking for distributed systems.
J. Parallel Distrib. Comput. 64(6): 708-724 (2004) |
| 4 |  | Munindar P. Singh,
Amit K. Chopra,
Nirmit Desai,
Ashok U. Mallya:
Protocols for processes: programming in the large for open systems.
SIGPLAN Notices 39(12): 73-83 (2004) |
| 2003 |
| 3 |  | Nirmit Desai,
Frank Mueller:
Scalable Distributed Concurrency Services for Hierarchical Locking.
ICDCS 2003: 530-537 |
| 2 |  | Nirmit Desai,
Frank Mueller:
A Log(n) Multi-Mode Locking Protocol for Distributed Systems.
IPDPS 2003: 4 |
| 2002 |
| 1 |  | Nirmit Desai,
Frank Mueller:
A brief overview of scalable distributed concurrency services for hierarchical locking.
Java Grande 2002: 226 |