Amit K. Chopra

Orcid: 0000-0003-4629-7594

Affiliations:
  • Lancaster University, School of Computing and Communications, UK
  • North Carolina State University, Raleigh, NC, USA (PhD 2008)


According to our database1, Amit K. Chopra authored at least 93 papers between 2003 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Introduction to the special issue: selected papers from EMAS 2022.
Ann. Math. Artif. Intell., August, 2024

2023
Protocol-Based Engineering of Microservices.
Proceedings of the Engineering Multi-Agent Systems - 11th International Workshop, 2023

Kiko: Programming Agents to Enact Interaction Models.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Interaction-Oriented Programming: Intelligent, Meaning-Based Multiagent Systems.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Communication Meaning: Foundations and Directions for Systems Research.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022
Interaction-Oriented Software Engineering: Programming abstractions for autonomy and decentralization.
AI Commun., 2022

Mandrake: multiagent systems as a basis for programming fault-tolerant decentralized applications.
Auton. Agents Multi Agent Syst., 2022

Pippi: Practical Protocol Instantiation.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021
Hercule: Representing and Reasoning About Norms as a Foundation for Declarative Contracts Over Blockchain.
IEEE Internet Comput., 2021

Accountability as a Foundation for Requirements in Sociotechnical Systems.
IEEE Internet Comput., 2021

Bungie: Improving Fault Tolerance via Extensible Application-Level Protocols.
Computer, 2021

Interaction-Oriented Programming: An Application Semantics Approach for Engineering Decentralized Applications.
Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

Deserv: Decentralized Serverless Computing.
Proceedings of the 2021 IEEE International Conference on Web Services, 2021

Multiagent Foundations for Distributed Systems: A Vision.
Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

2020
An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems.
J. Artif. Intell. Res., 2020

Protocols Over Things: A Decentralized Programming Model for the Internet of Things.
Computer, 2020

Computational Governance and Violable Contracts for Blockchain Applications.
Computer, 2020

Fault Tolerance in Multiagent Systems.
Proceedings of the Engineering Multi-Agent Systems - 8th International Workshop, 2020

Refinement for Multiagent Protocols.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Clouseau: Generating Communication Protocols from Commitments.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
A Critical Examination of Languages for Specifying Interaction Protocols for Decentralized Social Machines.
CoRR, 2019

Requirements engineering as science in the small.
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Supple: Multiagent Communication Protocols with Causal Types.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018
Violable Contracts and Governance for Blockchain Applications.
CoRR, 2018

Crowd-Informed Goal Models.
Proceedings of the 5th International Workshop on Artificial Intelligence for Requirements Engineering, 2018

Stellar: A Programming Model for Developing Protocol-Compliant Agents.
Proceedings of the Engineering Multi-Agent Systems - 6th International Workshop, 2018

Compositional Correctness in Multiagent Interactions.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Sociotechnical Systems and Ethics in the Large.
Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

2017
Introduction to the Special Issue on Advances in Social Computing.
ACM Trans. Internet Techn., 2017

Canary: An Interactive and Query-Based Approach to Extract Requirements from Online Forums.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Canary: Extracting Requirements-Related Information from Online Discussions.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Tosca: Operationalizing Commitments Over Information Protocols.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

The Internet of Things and Multiagent Systems: Decentralized Intelligence in Distributed Computing.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

Splee: A Declarative Information-Based Language for Multiagent Interaction Protocols.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016
From Social Machines to Social Protocols: Software Engineering Foundations for Sociotechnical Systems.
Proceedings of the 25th International Conference on World Wide Web, 2016

Custard: Computing Norm States over Information Stores.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015
Normative Multi-Agent Systems (Dagstuhl Seminar 15131).
Dagstuhl Reports, 2015

Social media through the requirements lens: A case study of Google maps.
Proceedings of the 1st IEEE International Workshop on Crowd-Based Requirements Engineering, 2015

Composing and Verifying Commitment-Based Multiagent Protocols.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Generalized Commitment Alignment.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Social Contexts and Social Pragmatics.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Cupid: Commitments in Relational Algebra.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Introduction to the Special Issue on Foundations of Social Computing.
ACM Trans. Internet Techn., 2014

The thing itself speaks: Accountability as a foundation for requirements in sociotechnical systems.
Proceedings of the IEEE 7th International Workshop on Requirements Engineering and Law, 2014

Protos: Foundations for engineering innovative sociotechnical systems.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

2013
Introduction to the special section on agent communication.
ACM Trans. Intell. Syst. Technol., 2013

Research directions in agent communication.
ACM Trans. Intell. Syst. Technol., 2013

Trust-based specification of sociotechnical systems.
Data Knowl. Eng., 2013


Regulated MAS: Social Perspective.
Proceedings of the Normative Multi-Agent Systems, 2013

2012
Interaction-Oriented Software Engineering: Concepts and Principles
CoRR, 2012

True Peer Review
CoRR, 2012

The Meaning of Requirements and Adaptation
CoRR, 2012

2011
The first International Workshop on Requirements Engineering for Social Computing.
Proceedings of the First International Workshop on Requirements Engineering for Social Computing, 2011

Colaba: Collaborative design of cross-organizational processes.
Proceedings of the Requirements Engineering for Systems, 2011

Requirements-driven adaptation: Compliance, context, uncertainty, and systems.
Proceedings of the 2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), 2011

Social computing: Principles, platforms, and applications.
Proceedings of the First International Workshop on Requirements Engineering for Social Computing, 2011

Requirements Engineering for Social Applications.
Proceedings of the 5<sup>th</sup> International <i>i</i>* Workshop 2011, 2011

Sociotechnical Trust: An Architectural Approach.
Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

The Evolution of Interoperability.
Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Commitments with regulations: reasoning about safety and control in REGULA.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Specifying and applying commitment-based business patterns.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010
The Evolution of Tropos: Contexts, Commitments and Adaptivity.
Proceedings of the 4<sup>th</sup> International <i>i</i>* Workshop, 2010

Adaptation in Open Systems: Giving Interaction Its Rightful Place.
Proceedings of the Conceptual Modeling, 2010

Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments.
Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

Reasoning about agents and protocols via goals and commitments.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Analyzing Contract Robustness through a Model of Commitments.
Proceedings of the Agent-Oriented Software Engineering XI - 11th International Workshop, 2010

Requirements as Goals and Commitments Too.
Proceedings of the Intentional Perspectives on Information Systems Engineering., 2010

2009
Amoeba: A methodology for modeling and evolving cross-organizational business processes.
ACM Trans. Softw. Eng. Methodol., 2009

Commitment-Based Service-Oriented Architecture.
Computer, 2009

Programming Multiagent Systems without Programming Agents.
Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

Elements of a Business-Level Architecture for Multiagent Systems.
Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

Correctness Properties for Multiagent Systems.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Multiagent commitment alignment.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Choice, interoperability, and conformance in interaction protocols and service choreographies.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008
Constitutive interoperability.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Business process interoperability: extended abstract.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
Interoperation in Protocol Enactment.
Proceedings of the Declarative Agent Languages and Technologies V, 2007

Toward verification of commitment protocols and their compositions.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Choice and interoperation in protocol enactment.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Representing and Reasoning about Commitments in Business Processes.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Engineering Foreign Exchange Processes via Commitment Protocols.
Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

2006
Producing Compliant Interactions: Conformance, Coverage, and Interoperability.
Proceedings of the Declarative Agent Languages and Technologies IV, 2006

An overview of business process adaptations via protocols.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Contextualizing commitment protocol.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Business Process Adaptations via Protocols.
Proceedings of the 2006 IEEE International Conference on Services Computing (SCC 2006), 2006

2005
Interaction Protocols as Design Abstractions for Business Processes.
IEEE Trans. Software Eng., 2005

OWL-P: OWL for protocol and processes.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

OWL-P: A Methodology for Business Process Development.
Proceedings of the Agent-Oriented Information Systems III, 2005

2004
Protocols for processes: programming in the large for open systems.
ACM SIGPLAN Notices, 2004

Protocols for processes: programming in the large for open systems (extended abstract).
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Commitments for Flexible Business Processes.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003
Nonmonotonic Commitment Machines.
Proceedings of the Advances in Agent Communication, 2003


  Loading...