2008 |
21 | | Nirmit Desai,
Munindar P. Singh:
On the Enactability of Business Protocols.
AAAI 2008: 1126-1131 |
20 | EE | 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 | EE | Nirmit Desai,
Zhengang Cheng,
Amit K. Chopra,
Munindar P. Singh:
Toward verification of commitment protocols and their compositions.
AAMAS 2007: 33 |
16 | EE | 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 | EE | 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 | EE | Nirmit Desai,
Amit K. Chopra,
Munindar P. Singh:
An overview of business process adaptations via protocols.
AAMAS 2006: 1326-1328 |
13 | EE | Nirmit Desai,
Amit K. Chopra,
Munindar P. Singh:
Business Process Adaptations via Protocols.
IEEE SCC 2006: 103-110 |
12 | EE | Stefan Tai,
Nirmit Desai,
Pietro Mazzoleni:
Service communities: applications and middleware.
SEM 2006: 17-22 |
2005 |
11 | EE | Ashok U. Mallya,
Nirmit Desai,
Amit K. Chopra,
Munindar P. Singh:
OWL-P: OWL for protocol and processes.
AAMAS 2005: 139-140 |
10 | EE | Nirmit Desai,
Ashok U. Mallya,
Amit K. Chopra,
Munindar P. Singh:
OWL-P: A Methodology for Business Process Development.
AOIS 2005: 79-94 |
9 | EE | 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 | EE | Nirmit Desai,
Munindar P. Singh:
Protocol-Based Business Process Modeling and Enactment.
ICWS 2004: 35-42 |
7 | EE | 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 | EE | 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 | EE | Nirmit Desai,
Frank Mueller:
Scalable hierarchical locking for distributed systems.
J. Parallel Distrib. Comput. 64(6): 708-724 (2004) |
4 | EE | 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 | EE | Nirmit Desai,
Frank Mueller:
Scalable Distributed Concurrency Services for Hierarchical Locking.
ICDCS 2003: 530-537 |
2 | EE | Nirmit Desai,
Frank Mueller:
A Log(n) Multi-Mode Locking Protocol for Distributed Systems.
IPDPS 2003: 4 |
2002 |
1 | EE | Nirmit Desai,
Frank Mueller:
A brief overview of scalable distributed concurrency services for hierarchical locking.
Java Grande 2002: 226 |