default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAmit K. Chopra
Person information
- affiliation: Lancaster University, School of Computing and Communications, UK
- affiliation (PhD 2008): North Carolina State University, Raleigh, NC, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j18]Amit K. Chopra, Jürgen Dix, Rym Zalila-Wenkstern:
Introduction to the special issue: selected papers from EMAS 2022. Ann. Math. Artif. Intell. 92(4): 773-774 (2024)- [c68]Munindar P. Singh, Samuel H. Christie V., Amit K. Chopra:
Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict. IJCAI 2024: 202-210 - 2023
- [c67]Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra:
Kiko: Programming Agents to Enact Interaction Models. AAMAS 2023: 1154-1163 - [c66]Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra:
Mandrake: Multiagent Systems as a Basis for Programming Fault-Tolerant Decentralized Applications. AAMAS 2023: 1218-1220 - [c65]Amit K. Chopra, Samuel H. Christie V.:
Communication Meaning: Foundations and Directions for Systems Research. AAMAS 2023: 1786-1791 - [c64]Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh:
Interaction-Oriented Programming: Intelligent, Meaning-Based Multiagent Systems. AAMAS 2023: 3041-3043 - [c63]Aditya Kailas Khadse, Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra:
Protocol-Based Engineering of Microservices. EMAS 2023: 61-77 - 2022
- [j17]Samuel H. Christie V.
, Amit K. Chopra, Munindar P. Singh:
Mandrake: multiagent systems as a basis for programming fault-tolerant decentralized applications. Auton. Agents Multi Agent Syst. 36(1): 16 (2022) - [j16]Amit K. Chopra:
Interaction-Oriented Software Engineering: Programming abstractions for autonomy and decentralization. AI Commun. 35(4): 381-391 (2022) - [c62]Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh:
Pippi: Practical Protocol Instantiation. AAMAS 2022: 281-289 - [i9]Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh:
Pippi: Practical Protocol Instantiation. CoRR abs/2203.00086 (2022) - 2021
- [j15]Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh:
Bungie: Improving Fault Tolerance via Extensible Application-Level Protocols. Computer 54(5): 44-53 (2021) - [j14]Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh:
Hercule: Representing and Reasoning About Norms as a Foundation for Declarative Contracts Over Blockchain. IEEE Internet Comput. 25(4): 67-75 (2021) - [j13]Amit K. Chopra, Munindar P. Singh:
Accountability as a Foundation for Requirements in Sociotechnical Systems. IEEE Internet Comput. 25(6): 33-41 (2021) - [c61]Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh:
Multiagent Foundations for Distributed Systems: A Vision. EMAS@AAMAS 2021: 62-71 - [c60]Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh:
Deserv: Decentralized Serverless Computing. ICWS 2021: 51-60 - [c59]Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh:
Interaction-Oriented Programming: An Application Semantics Approach for Engineering Decentralized Applications. PODC 2021: 575-576 - [i8]Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh:
Hercule: Representing and Reasoning about Norms as a Foundation for Declarative Contracts over Blockchain. CoRR abs/2104.08355 (2021) - 2020
- [j12]Munindar P. Singh, Amit K. Chopra:
Computational Governance and Violable Contracts for Blockchain Applications. Computer 53(1): 53-62 (2020) - [j11]Samuel H. Christie V., Daria Smirnova, Amit K. Chopra, Munindar P. Singh:
Protocols Over Things: A Decentralized Programming Model for the Internet of Things. Computer 53(12): 60-68 (2020) - [j10]Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh:
An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems. J. Artif. Intell. Res. 69: 1351-1393 (2020) - [c58]Munindar P. Singh, Amit K. Chopra:
Clouseau: Generating Communication Protocols from Commitments. AAAI 2020: 7244-7252 - [c57]Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh:
Refinement for Multiagent Protocols. AAMAS 2020: 258-266 - [c56]Samuel H. Christie V., Amit K. Chopra:
Fault Tolerance in Multiagent Systems. EMAS@AAMAS 2020: 78-86
2010 – 2019
- 2019
- [c55]Akin Günay, Amit K. Chopra, Munindar P. Singh:
Supple: Multiagent Communication Protocols with Causal Types. AAMAS 2019: 781-789 - [c54]Munindar P. Singh, Amit K. Chopra:
Requirements engineering as science in the small. ICSE (NIER) 2019: 45-48 - [i7]Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh:
A Critical Examination of Languages for Specifying Interaction Protocols for Decentralized Social Machines. CoRR abs/1901.08441 (2019) - 2018
- [c53]Amit K. Chopra, Munindar P. Singh:
Sociotechnical Systems and Ethics in the Large. AIES 2018: 48-53 - [c52]Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh:
Compositional Correctness in Multiagent Interactions. AAMAS 2018: 1159-1167 - [c51]Akin Günay, Amit K. Chopra:
Stellar: A Programming Model for Developing Protocol-Compliant Agents. EMAS@AAMAS 2018: 117-136 - [c50]Georgi M. Kanchev, Pradeep K. Murukannaiah, Amit K. Chopra:
Crowd-Informed Goal Models. AIRE@RE 2018: 47-53 - [i6]Munindar P. Singh, Amit K. Chopra:
Violable Contracts and Governance for Blockchain Applications. CoRR abs/1801.02672 (2018) - 2017
- [j9]Amit K. Chopra, Erez Shmueli, Vivek K. Singh:
Introduction to the Special Issue on Advances in Social Computing. ACM Trans. Internet Techn. 17(2): 11:1-11:2 (2017) - [c49]Amit K. Chopra, Samuel Christie, Munindar P. Singh:
Splee: A Declarative Information-Based Language for Multiagent Interaction Protocols. AAMAS 2017: 1054-1063 - [c48]Munindar P. Singh, Amit K. Chopra:
The Internet of Things and Multiagent Systems: Decentralized Intelligence in Distributed Computing. ICDCS 2017: 1738-1747 - [c47]Thomas C. King, Akin Günay, Amit K. Chopra, Munindar P. Singh:
Tosca: Operationalizing Commitments Over Information Protocols. IJCAI 2017: 256-264 - [c46]Georgi M. Kanchev, Pradeep K. Murukannaiah, Amit K. Chopra, Pete Sawyer:
Canary: Extracting Requirements-Related Information from Online Discussions. RE 2017: 31-40 - [c45]Georgi M. Kanchev, Pradeep K. Murukannaiah, Amit K. Chopra, Pete Sawyer:
Canary: An Interactive and Query-Based Approach to Extract Requirements from Online Forums. RE 2017: 470-471 - [i5]Thomas C. King, Akin Günay, Amit K. Chopra, Munindar P. Singh:
Tosca: Operationalizing Commitments Over Information Protocols. CoRR abs/1708.03209 (2017) - 2016
- [c44]Amit K. Chopra, Munindar P. Singh:
Custard: Computing Norm States over Information Stores. AAMAS 2016: 1096-1105 - [c43]Amit K. Chopra, Munindar P. Singh:
From Social Machines to Social Protocols: Software Engineering Foundations for Sociotechnical Systems. WWW 2016: 903-914 - [e2]Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni:
PRIMA 2016: Princiles and Practice of Multi-Agent Systems - 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings. Lecture Notes in Computer Science 9862, Springer 2016, ISBN 978-3-319-44831-2 [contents] - 2015
- [c42]Amit K. Chopra, Munindar P. Singh:
Cupid: Commitments in Relational Algebra. AAAI 2015: 2052-2059 - [c41]Amit K. Chopra, Munindar P. Singh:
Generalized Commitment Alignment. AAMAS 2015: 453-461 - [c40]Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh:
Social Contexts and Social Pragmatics. AAMAS 2015: 1739-1740 - [c39]Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh:
Composing and Verifying Commitment-Based Multiagent Protocols. IJCAI 2015: 10-17 - [c38]Georgi M. Kanchev, Amit K. Chopra:
Social media through the requirements lens: A case study of Google maps. CrowdRE@RE 2015: 7-12 - [i4]Amit K. Chopra, Leon van der Torre, Harko Verhagen, Serena Villata:
Normative Multi-Agent Systems (Dagstuhl Seminar 15131). Dagstuhl Reports 5(3): 162-176 (2015) - 2014
- [j8]Amit K. Chopra, Raian Ali, Maja Vukovic:
Introduction to the Special Issue on Foundations of Social Computing. ACM Trans. Internet Techn. 14(4): 22:1-22:2 (2014) - [c37]Amit K. Chopra, Munindar P. Singh:
The thing itself speaks: Accountability as a foundation for requirements in sociotechnical systems. RELAW 2014: 22 - [c36]Amit K. Chopra, Fabiano Dalpiaz, Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos, Munindar P. Singh:
Protos: Foundations for engineering innovative sociotechnical systems. RE 2014: 53-62 - [e1]Tina Balke, Frank Dignum, M. Birna van Riemsdijk, Amit K. Chopra:
Coordination, Organizations, Institutions, and Norms in Agent Systems IX - COIN 2013 International Workshops, COIN@AAMAS, St. Paul, MN, USA, May 6, 2013, COIN@PRIMA, Dunedin, New Zealand, December 3, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8386, Springer 2014, ISBN 978-3-319-07313-2 [contents] - 2013
- [j7]Elda Paja, Amit K. Chopra, Paolo Giorgini:
Trust-based specification of sociotechnical systems. Data Knowl. Eng. 87: 339-353 (2013) - [j6]Amit K. Chopra, Alexander Artikis, Jamal Bentahar, Frank Dignum:
Introduction to the special section on agent communication. ACM Trans. Intell. Syst. Technol. 4(2): 19:1 (2013) - [j5]Amit K. Chopra, Alexander Artikis, Jamal Bentahar, Marco Colombetti, Frank Dignum, Nicoletta Fornara, Andrew J. I. Jones, Munindar P. Singh, Pinar Yolum:
Research directions in agent communication. ACM Trans. Intell. Syst. Technol. 4(2): 20:1-20:23 (2013) - [p3]Pablo Noriega, Amit K. Chopra, Nicoletta Fornara, Henrique Lopes Cardoso, Munindar P. Singh:
Regulated MAS: Social Perspective. Normative Multi-Agent Systems 2013: 93-133 - [p2]Munindar P. Singh, Matthew Arrott, Tina Balke, Amit K. Chopra, Rob Christiaanse, Stephen Cranefield, Frank Dignum, Davide Eynard, Emilia Farcas, Nicoletta Fornara, Fabien Gandon, Guido Governatori, Hoa Khanh Dam, Joris Hulstijn, Ingolf Krüger, Ho-Pun Lam, Michael Meisinger, Pablo Noriega, Bastin Tony Roy Savarimuthu, Kartik Tadanki, Harko Verhagen, Serena Villata:
The Uses of Norms. Normative Multi-Agent Systems 2013: 191-229 - 2012
- [i3]Amit K. Chopra:
The Meaning of Requirements and Adaptation. CoRR abs/1209.1551 (2012) - [i2]Amit K. Chopra:
True Peer Review. CoRR abs/1209.2807 (2012) - [i1]Amit K. Chopra, Munindar P. Singh:
Interaction-Oriented Software Engineering: Concepts and Principles. CoRR abs/1211.4123 (2012) - 2011
- [c35]Elisa Marengo, Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Viviana Patti, Munindar P. Singh:
Commitments with regulations: reasoning about safety and control in REGULA. AAMAS 2011: 467-474 - [c34]Amit K. Chopra, Munindar P. Singh:
Specifying and applying commitment-based business patterns. AAMAS 2011: 475-482 - [c33]Amit K. Chopra, Munindar P. Singh:
The Evolution of Interoperability. DALT 2011: 90-94 - [c32]Amit K. Chopra, Elda Paja, Paolo Giorgini:
Sociotechnical Trust: An Architectural Approach. ER 2011: 104-117 - [c31]Amit K. Chopra, Paolo Giorgini:
Requirements Engineering for Social Applications. iStar 2011: 138-143 - [c30]Fabiano Dalpiaz, Amit K. Chopra, Soo Ling Lim:
The first International Workshop on Requirements Engineering for Social Computing. RESC 2011: 1 - [c29]Amit K. Chopra:
Social computing: Principles, platforms, and applications. RESC 2011: 26-29 - [c28]Amit K. Chopra:
Requirements-driven adaptation: Compliance, context, uncertainty, and systems. RE@RunTime 2011: 32-36 - [c27]Amit K. Chopra, Munindar P. Singh:
Colaba: Collaborative design of cross-organizational processes. RESS 2011: 36-43 - 2010
- [c26]Amit K. Chopra, Nir Oren, Sanjay Modgil, Nirmit Desai, Simon Miles, Michael Luck, Munindar P. Singh:
Analyzing Contract Robustness through a Model of Commitments. AOSE 2010: 17-36 - [c25]Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos:
Reasoning about agents and protocols via goals and commitments. AAMAS 2010: 457-464 - [c24]Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos:
Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments. CAiSE 2010: 113-128 - [c23]Fabiano Dalpiaz, Amit K. Chopra, Paolo Giorgini, John Mylopoulos:
Adaptation in Open Systems: Giving Interaction Its Rightful Place. ER 2010: 31-45 - [c22]Raian Ali, Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos, Vítor Estêvão Silva Souza:
The Evolution of Tropos: Contexts, Commitments and Adaptivity. iStar 2010: 15-19 - [p1]Amit K. Chopra, John Mylopoulos, Fabiano Dalpiaz, Paolo Giorgini, Munindar P. Singh:
Requirements as Goals and Commitments Too. Intentional Perspectives on Information Systems Engineering 2010: 137-153
2000 – 2009
- 2009
- [j4]Munindar P. Singh, Amit K. Chopra, Nirmit Desai:
Commitment-Based Service-Oriented Architecture. Computer 42(11): 72-79 (2009) - [j3]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): 6:1-6:45 (2009) - [c21]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 - [c20]Amit K. Chopra, Munindar P. Singh:
Multiagent commitment alignment. AAMAS (2) 2009: 937-944 - [c19]Munindar P. Singh, Amit K. Chopra:
Correctness Properties for Multiagent Systems. DALT 2009: 192-207 - [c18]Munindar P. Singh, Amit K. Chopra:
Programming Multiagent Systems without Programming Agents. PROMAS 2009: 1-14 - [c17]Amit K. Chopra, Munindar P. Singh:
Elements of a Business-Level Architecture for Multiagent Systems. PROMAS 2009: 15-30 - 2008
- [c16]Amit K. Chopra, Munindar P. Singh:
Constitutive interoperability. AAMAS (2) 2008: 797-804 - [c15]Amit K. Chopra:
Business process interoperability: extended abstract. AAMAS (PhD) 2008: 1730-1731 - 2007
- [c14]Nirmit Desai, Amit K. Chopra, Matthew Arrott, Bill Specht, Munindar P. Singh:
Engineering Foreign Exchange Processes via Commitment Protocols. IEEE SCC 2007: 514-521 - [c13]Nirmit Desai, Amit K. Chopra, Munindar P. Singh:
Representing and Reasoning about Commitments in Business Processes. AAAI 2007: 1328-1333 - [c12]Amit K. Chopra, Munindar P. Singh:
Choice and interoperation in protocol enactment. AAMAS 2007: 29 - [c11]Nirmit Desai, Zhengang Cheng, Amit K. Chopra, Munindar P. Singh:
Toward verification of commitment protocols and their compositions. AAMAS 2007: 33 - [c10]Amit K. Chopra, Munindar P. Singh:
Interoperation in Protocol Enactment. DALT 2007: 36-49 - 2006
- [c9]Nirmit Desai, Amit K. Chopra, Munindar P. Singh:
Business Process Adaptations via Protocols. IEEE SCC 2006: 103-110 - [c8]Nirmit Desai, Amit K. Chopra, Munindar P. Singh:
An overview of business process adaptations via protocols. AAMAS 2006: 1326-1328 - [c7]Amit K. Chopra, Munindar P. Singh:
Contextualizing commitment protocol. AAMAS 2006: 1345-1352 - [c6]Amit K. Chopra, Munindar P. Singh:
Producing Compliant Interactions: Conformance, Coverage, and Interoperability. DALT 2006: 1-15 - 2005
- [j2]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) - [c5]Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar P. Singh:
OWL-P: A Methodology for Business Process Development. AOIS 2005: 79-94 - [c4]Ashok U. Mallya, Nirmit Desai, Amit K. Chopra, Munindar P. Singh:
OWL-P: OWL for protocol and processes. AAMAS 2005: 139-140 - 2004
- [j1]Munindar P. Singh, Amit K. Chopra, Nirmit Desai, Ashok U. Mallya:
Protocols for processes: programming in the large for open systems. ACM SIGPLAN Notices 39(12): 73-83 (2004) - [c3]Amit K. Chopra, Munindar P. Singh:
Commitments for Flexible Business Processes. AAMAS 2004: 1362-1363 - [c2]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 - 2003
- [c1]Amit K. Chopra, Munindar P. Singh:
Nonmonotonic Commitment Machines. Workshop on Agent Communication Languages 2003: 183-200
Coauthor Index
Samuel Christie
aka: Samuel H. Christie V.
aka: Samuel H. Christie V.
[c68] [c67] [c66] [c64] [c63] [j17] [c62] [i9] [j15] [j14] [j13] [c61] [c60] [c59] [i8] [j12] [j11] [j10] [c58] [c57] [c55] [c54] [i7] [c53] [c52] [i6] [c49] [c48] [c47] [i5] [c44] [c43] [c42] [c41] [c40] [c39] [c37] [c36] [j5] [p3] [p2] [i1] [c35] [c34] [c33] [c27] [c26] [p1] [j4] [j3] [c21] [c20] [c19] [c18] [c17] [c16] [c14] [c13] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [j2] [c5] [c4] [j1] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-21 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
