|
Some of the articles listed below, can also be found on the ACM Portal and DBLP.
Academic
- Ph.D. dissertation.
Interorganizational Business Interactions: Contracts, Processes, Evolution.
Department of Computer Science, North Carolina State University, November 2007
- Ph.D. oral preliminary examination.
Engineering Interorganizational Business Processes.
Department of Computer
Science, North Carolina State University, June 2006
- Ph.D. written preliminary examination.
Business Process Adaptations via Protocols.
Department of Computer
Science, North Carolina State University, December 2005
- Master's thesis.
Scalable
Distributed Concurrency
Protocol with Priority Support.
Department of Computer
Science, North Carolina State University, June 2003
Refereed Journals
-
Nirmit Desai, Amit K. Chopra, Munindar P. Singh.
Amoeba: A Methodology for Requirements Modeling and Evolution of Cross-Organizational
Business Processes.
ACM Transactions on Software Engineering and Methodology (TOSEM)
(accepted with minor revisions).
-
Munindar P. Singh, Amit K. Chopra, and Nirmit Desai.
Commitment-Based SOA.
IEEE Computer (under review).
-
Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar
P. Singh.
Interaction
Protocols as Design Abstractions for Business Processes.
IEEE Transactions on Software Engineering (TSE), Volume 31, Issue 12, Pages
1015-1027, December 2005 (special issue, 12% acceptance).
- Munindar P. Singh, Amit K. Chopra, Nirmit Desai, Ashok
U. Mallya.
Protocols for
Processes: Programming in the Large for Open Systems.
ACM SIGPLAN Notices, Volume 39, Issue 12, Pages 73-83, December
2004.
A shorter
version was published as an Onward! paper in the OOPSLA Companion,
2004.
-
Stefan Tai, Thomas Mikalsen, Eric Wohlstadter, Nirmit Desai,
and Isabelle Rouvellou.
Transaction
Policies for Service-Oriented Computing.
Data and Knowledge Engineering (DKE), Volume 51, Issue 1, Pages 59-79, Elsevier
Science, October 2004
-
Nirmit Desai and Frank Mueller.
Scalable
Hierarchical Locking for Distributed Systems.
Journal of Parallel and Distributed Computing (JPDC), Volume 64, Issue 6,
Pages 708-724, Elsevier Science, June 2004
Refereed Conferences and Workshops
- Nirmit Desai and Munindar P. Singh.
Checking Enactability of Business Protocol
Specifications.
AAAI Conference on Artificial Intelligence (AAAI),
2008 (to appear, 24% acceptance)
- Nirmit Desai, Nanjangud C. Narendra, and
Munindar P. Singh.
Checking Correctness of Business Contracts via Commitments.
International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS) ,
2008 (to appear, 22% acceptance)
- E. Michael Maximilien, Hernan Wilkinson, Nirmit Desai, and
Stefan Tai.
A Domain-Specific Language for
Web APIs and Services Mashups.
International Conference on Service Oriented Computing (ICSOC) ,
2007 (21% acceptance)
- Nirmit Desai, Amit K. Chopra, Matthew Arrott, Bill Specht, and
Munindar P. Singh.
Engineering Foreign Exchange
Processes via Commitment Protocols.
IEEE International Conference on Services Computing (SCC), Applications and Industry track, 2007 (25%
acceptance)
- Nirmit Desai, Amit K. Chopra, and Munindar P. Singh.
Representing and Reasoning about Commitments in Business Protocols.
National Conference on Artificial Intelligence (AAAI), 2007
(27% acceptance)
- Nirmit Desai and Munindar P. Singh.
A Modular Action Description Language for Protocols.
National Conference on Artificial Intelligence (AAAI), 2007 (27% acceptance)
- Nirmit Desai, Pietro Mazzoleni, and Stefan Tai.
Service Clubs: A Structuring Mechanism for
Service-Oriented Business Ecosystems.
Inaugural IEEE
International Conference on Digital Ecosystems and
Technologies(DEST), 2007 (43% acceptance)
- Stefan Tai, Nirmit Desai, Pietro Mazzoleni.
Service
Communities: Applications and Middleware.
The Sixth International Workshop on Software Engineering and Middleware
(SEM), 2006
- Nirmit Desai, Amit K. Chopra, Munindar P. Singh.
Business
Process Adaptations via Protocols.
IEEE International Conference on Services Computing (SCC), 2006, pages 103-110
Best Student Paper Award (25%
acceptance)
- Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar
P. Singh.
OWL-P: A
Methodology for Business Process Modeling and Enactment.
Agent-Oriented Information Systems-III, Lecture Notes in Computer
Science (LNCS), Volume 3529, pages 79-94, Springer, 2006
- Amit K. Chopra, Nirmit Desai, Ashok Mallya, Leena Wagle,
and Munindar P. Singh.
A Semantic Protocol-Based Approach for Developing Business Processes.
International Conference on Service Oriented Computing (ICSOC), 2004 (short paper, 31%
acceptance)
- Nirmit Desai and Munindar P. Singh.
Protocol-Based
Business Process Modeling and Enactment.
International Conference on Web Services (ICWS), IEEE Computer Society,
2004, pages 35-42 (28% acceptance)
- Amit K. Chopra, Ashok U. Mallya, Nirmit Desai, and Munindar P.
Singh.
Modeling Flexible Business Processes.
International Workshop on Declarative Agent Languages and Technologies (DALT), 2004
- Nirmit Desai and Frank Mueller.
Scalable
Distributed Concurrency Services for Hierarchical
Locking.
International Conference on Distributed Computing
Systems (ICDCS), 2003, pages 530-537
(17% acceptance)
- Nirmit Desai and Frank Mueller.
A
Log(n) Multi-mode Locking Protocol for Distraibuted Systems.
International Parallel and Distributed Processing Symposium
(IPDPS), 2003, pages
4-11 (29% acceptance)
Other Research Publications (refereed
and non-refereed)
- Nirmit Desai, Ashok U. Mallya, Amit K. Chopra and Munindar
P. Singh.
Processes = Protocols + Policies: A Methodology for Business Process
Development.
Technical Report TR-2004-34, Department of
Computer Science, North Carolina State University, December 2004
- Nirmit Desai and Frank Mueller.
Distributed
Hierarchical Locking with Real-Time Priorities.
Work-in-Progress of IEEE Real-Time Systems Symposium (RTSS),
Dec. 2003
- A Protocol for
Scalable Distributed Concurrency Services.
ACM Student Research Competition, Object Oriented
Programming, Systems, Languages, and Applications (OOPSLA), 2002, pages 108-109
- Nirmit Desai and Frank Mueller.
A Brief Overview of
Scalable Distributed Concurrency Services for Heirarchical
Locking.
Joint Java Grande - International
Symposium on Computing in Object-oriented Parallel Environments
(ISCOPE), 2002, page 226-226 (poster)
Non-Research Publications
- Air Travel Made Easy: A small guide for
a novice traveler traveling from India to the US for the first time.
|
|