Works (14)

Updated: January 23rd, 2026 05:05

2026 article

Tools for Implementing Multi-Agent Systems Based on Protocols

Chopra, A. K., V, S. H. C., & Singh, M. P. (2026, January 1).

By: A. Chopra*, S. V n & M. Singh n

topics (OpenAlex): Mobile Agent-Based Network Management; Multi-Agent Systems and Negotiation; Logic, Reasoning, and Knowledge; AI-based Problem Solving and Planning
Source: ORCID
Added: January 7, 2026

2025 article

Argus: Programming with communication protocols in a belief-desire-intention architecture

Christie, S. H., Singh, M. P., & Chopra, A. K. (2025, August 6). Artificial Intelligence, Vol. 348.

By: S. Christie n, M. Singh n & A. Chopra*

topics (OpenAlex): Distributed systems and fault tolerance; Logic, Reasoning, and Knowledge; Access Control and Trust; Multi-Agent Systems and Negotiation
Sources: ORCID, Web Of Science, NC State University Libraries
Added: August 6, 2025

2025 article

Azorus: Commitments over Protocols for BDI Agents

Chopra, A. K., Baldoni, M., Christie, S. H., & Singh, M. P. (2025, May 28). (Vol. 5). Vol. 5.

By: A. Chopra*, M. Baldoni*, S. Christie n & M. Singh n

topics (OpenAlex): Multi-Agent Systems and Negotiation; Logic, Reasoning, and Knowledge; Auction Theory and Applications
Sources: NC State University Libraries, NC State University Libraries
Added: January 17, 2026

2025 article

Orpheus: Programming Protocol-Based BDI Agents

Baldoni, M., Christie, S. H., Singh, M. P., & Chopra, A. K. (2025, May 28). (Vol. 5). Vol. 5.

By: M. Baldoni*, S. Christie n, M. Singh n & A. Chopra*

topics (OpenAlex): Multi-Agent Systems and Negotiation; Mobile Agent-Based Network Management; Constraint Satisfaction and Optimization
Sources: NC State University Libraries, NC State University Libraries
Added: January 17, 2026

2022 article

Decentralized Systems

Christie, S. H., Kagal, L., Ricci, A., & Singh, M. P. (2022, November 1). IEEE Internet Computing, Vol. 26, pp. 5–6.

By: S. Christie n, L. Kagal*, A. Ricci* & M. Singh n

author keywords: Special issues and sections; Computational modeling; InterPlanetary File System; Programming; Internet of Things; Decentralized applications
topics (OpenAlex): Complex Systems and Dynamics; Reformed Theology and Governance; Game Theory and Voting Systems
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Sources: ORCID, Web Of Science, NC State University Libraries
Added: January 17, 2023

2022 article

Mandrake: multiagent systems as a basis for programming fault-tolerant decentralized applications

Christie, S. H., Chopra, A. K., & Singh, M. P. (2022, February 8). Autonomous Agents and Multi-Agent Systems, Vol. 4.

By: S. Christie n, A. Chopra* & M. Singh n

author keywords: Fault tolerance; Agent programming; Protocols
topics (OpenAlex): Distributed systems and fault tolerance; Mobile Agent-Based Network Management; Software System Performance and Reliability
TL;DR: Mandrake’s significance lies in demonstrating a straightforward approach for constructing decentralized applications without relying on coordination mechanisms in the infrastructure, thus achieving some of the goals of the founders of networked computing from the 1970s. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: February 28, 2022

2022 article

Multiagent Foundations for Distributed Systems: A Vision

Chopra, A. K., V, S. H. C., & Singh, M. P. (2022, January 1). Lecture Notes in Computer Science, Vol. 13190, pp. 62–71.

By: A. Chopra*, S. V n & M. Singh n

topics (OpenAlex): Multi-Agent Systems and Negotiation; Distributed systems and fault tolerance; Mobile Agent-Based Network Management
Sources: Web Of Science, ORCID, NC State University Libraries
Added: March 10, 2022

2021 article

Bungie: Improving Fault Tolerance via Extensible Application-Level Protocols

V, S. H. C., Chopra, A. K., & Singh, M. P. (2021, May 1). Computer, Vol. 54, pp. 44–53.

By: S. V n, A. Chopra* & M. Singh n

author keywords: Fault tolerance; Protocols; Fault tolerant systems
topics (OpenAlex): Distributed systems and fault tolerance; Software System Performance and Reliability; Network Security and Intrusion Detection
TL;DR: Bungie is presented, an approach based on applicationlevel protocols that precisely capture the causality inherent to the interactions among agents that provides abstractions for achieving fault tolerance. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: May 11, 2021

2021 article

Deserv: Decentralized Serverless Computing

V, S. H. C., Chopra, A. K., & Singh, M. P. (2021, September 1). 2021 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, ICWS 2021, pp. 51–60.

By: S. V*, A. Chopra* & M. Singh n

author keywords: multiagent systems; protocols; programming model
topics (OpenAlex): Distributed systems and fault tolerance; Peer-to-Peer Network Technologies; Cloud Computing and Resource Management
TL;DR: Deserv is contributed, the first protocol-based programming model for decentralized applications that is suited to the cloud and demonstrates how to leverage function-as-a-service (FaaS), a popular serverless programming model, to implement agents. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: November 12, 2021

2021 article

Hercule: Representing and Reasoning About Norms as a Foundation for Declarative Contracts Over Blockchain

V, S. H. C., Chopra, A. K., & Singh, M. P. (2021, May 17). IEEE Internet Computing, Vol. 25, pp. 67–75.

By: S. V n, A. Chopra* & M. Singh n

author keywords: Blockchain; History; Smart contracts; Distributed ledger; Law; Authorization; Blockchain; Contract; Regulatory norm; Document store
topics (OpenAlex): Blockchain Technology Applications and Security; Auction Theory and Applications; Ethics and Social Impacts of AI
TL;DR: Hercule operationalizes declarative contracts over semistructured databases, the underlying representation for practical blockchain such as Hyperledger Fabric and Ethereum, and exploits the map-reduce capabilities of such stores to compute norm states. (via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 30, 2021

2021 article

Interaction-Oriented Programming

Chopra, A. K., V, S. H. C., & Singh, M. P. (2021, July 21). PROCEEDINGS OF THE 2021 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '21), pp. 575–576.

By: A. Chopra*, S. V* & M. Singh n

author keywords: Commitments; information protocol; programming model
topics (OpenAlex): Service-Oriented Architecture and Web Services; Business Process Modeling and Analysis; Mobile Agent-Based Network Management
TL;DR: This work demonstrates how to specify a decentralized application flexibly and how to engineer correct, fault-tolerant endpoints (agents) for the principals in a straightforward manner and shows how to address application semantics, the holy grail of distributed systems. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
Sources: Web Of Science, NC State University Libraries
Added: February 7, 2022

2020 article

Fault Tolerance in Multiagent Systems

V, S. H. C., & Chopra, A. K. (2020, January 1). Lecture Notes in Computer Science, pp. 78–86.

By: S. V* & A. Chopra*

topics (OpenAlex): Distributed systems and fault tolerance; Logic, Reasoning, and Knowledge; Multi-Agent Systems and Negotiation
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: ORCID
Added: December 16, 2022

2020 article

Protocols Over Things: A Decentralized Programming Model for the Internet of Things

V, S. H. C., Smirnova, D., Chopra, A. K., & Singh, M. P. (2020, November 25). Computer, Vol. 53, pp. 60–68.

By: S. V n, D. Smirnova*, A. Chopra* & M. Singh n

author keywords: Protocols; Internet of Things; Logistics; Programming; Correlation; Decision making
topics (OpenAlex): IoT and Edge/Fog Computing; Distributed systems and fault tolerance; Service-Oriented Architecture and Web Services
TL;DR: Protocols over Things, a decentralized programming model that represents an IoT application via a protocol between the parties involved and provides improved performance over network-level delivery guarantees, is contributed. (via Semantic Scholar)
Source: ORCID
Added: November 26, 2020

2014 article

How Developers Visualize Compiler Messages: A Foundational Approach to Notification Construction

Barik, T., Lubick, K., Christie, S., & Murphy-Hill, E. (2014, September 1). 2014 Second IEEE Working Conference on Software Visualization (VISSOFT), pp. 87–96.

By: T. Barik n, K. Lubick n, S. Christie n & E. Murphy-Hill n

topics (OpenAlex): Software Engineering Research; Spreadsheets and End-User Computing; Software Engineering Techniques and Practices
TL;DR: It is shown that a foundational set of visual annotations that aid developers in better comprehending error messages when compilers expose their internal reasoning allow developers to give significantly better self-explanations when compared against today's dominant visualization paradigm. (via Semantic Scholar)
Sources: Web Of Science, NC State University Libraries
Added: August 6, 2018

Employment

Updated: December 6th, 2022 18:04

2020 - 2022

Lancaster University Lancaster, GB

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2026) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.