Amit K. Chopra

109 papers A* 10A 31B 4C 1Journal 29Unranked 30

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Argus: Programming with communication protocols in a belief-desire-intention architecture. Artif. Intell. Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra
2025	A	`conf`	Azorus: Commitments over Protocols for BDI Agents. AAMAS Amit K. Chopra, Matteo Baldoni, Samuel Christie, Munindar P. Singh
2025	B	`conf`	Engineering the Next Generation of Multi-agent Systems: A Community Roadmap from EMAS 2025. EMAS Sebastian Rodriguez, Akhila Bairy, Matteo Baldoni, Patrick Benjamin, Constantin Blessing, Nicolas Brandstetter, Amit K. Chopra, Thomas Clemen, Louise A. Dennis, Ahmad Esmaeili, Lu Feng, Angelo Ferrando, Zahra Ghorrati, Victor Guillet, Önder Gürcan, Soham Hans, James Herber, Viviana Mascardi, Marcel Mauri, Jörg P. Müller, John Thangarajah, Rafal Tyl, Yi Yang
2025	B	`conf`	Fluid: Social Norms-Based Multiagent Systems on the Web. EMAS Amit K. Chopra, Munindar P. Singh
2025	A*	`conf`	Orpheus: Engineering Multiagent Systems via Communicating Agents. AAAI Matteo Baldoni, Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra
2025	A	`conf`	Orpheus: Programming Protocol-Based BDI Agents. AAMAS Matteo Baldoni, Samuel Christie, Munindar P. Singh, Amit K. Chopra
2025	A*	`conf`	Requirement Patterns for Engineering Multiagent Interaction Protocols. IJCAI Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
2025	J	`jnl`	Toolsuite for Implementing Multiagent Systems Based on Communication Protocols. CoRR Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
2024	—	`conf`	From Visual Choreographies to Flexible Information Protocols. ICSOC (1) Tom Lichtenstein, Amit K. Chopra, Munindar P. Singh, Mathias Weske
2024	J	`jnl`	Introduction to the special issue: selected papers from EMAS 2022. Ann. Math. Artif. Intell. Amit K. Chopra, Jürgen Dix, Rym Zalila-Wenkstern
2024	A*	`conf`	Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict. IJCAI Munindar P. Singh, Samuel H. Christie V., Amit K. Chopra
2023	A	`conf`	Communication Meaning: Foundations and Directions for Systems Research. AAMAS Amit K. Chopra, Samuel H. Christie V.
2023	A	`conf`	Interaction-Oriented Programming: Intelligent, Meaning-Based Multiagent Systems. AAMAS Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
2023	A	`conf`	Kiko: Programming Agents to Enact Interaction Models. AAMAS Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra
2023	A	`conf`	Mandrake: Multiagent Systems as a Basis for Programming Fault-Tolerant Decentralized Applications. AAMAS Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra
2023	B	`conf`	Protocol-Based Engineering of Microservices. EMAS Aditya Kailas Khadse, Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra
2022	J	`jnl`	Interaction-Oriented Software Engineering: Programming abstractions for autonomy and decentralization. AI Commun. Amit K. Chopra
2022	J	`jnl`	Mandrake: multiagent systems as a basis for programming fault-tolerant decentralized applications. Auton. Agents Multi Agent Syst. Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2022	A	`conf`	Pippi: Practical Protocol Instantiation. AAMAS Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2022	J	`jnl`	Pippi: Practical Protocol Instantiation. CoRR Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2021	J	`jnl`	Accountability as a Foundation for Requirements in Sociotechnical Systems. IEEE Internet Comput. Amit K. Chopra, Munindar P. Singh
2021	J	`jnl`	Bungie: Improving Fault Tolerance via Extensible Application-Level Protocols. Computer Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2021	A	`conf`	Deserv: Decentralized Serverless Computing. ICWS Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2021	J	`jnl`	Hercule: Representing and Reasoning About Norms as a Foundation for Declarative Contracts Over Blockchain. IEEE Internet Comput. Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2021	J	`jnl`	Hercule: Representing and Reasoning about Norms as a Foundation for Declarative Contracts over Blockchain. CoRR Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2021	A*	`conf`	Interaction-Oriented Programming: An Application Semantics Approach for Engineering Decentralized Applications. PODC Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
2021	—	`conf`	Multiagent Foundations for Distributed Systems: A Vision. EMAS@AAMAS Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
2020	J	`jnl`	An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems. J. Artif. Intell. Res. Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
2020	A*	`conf`	Clouseau: Generating Communication Protocols from Commitments. AAAI Munindar P. Singh, Amit K. Chopra
2020	J	`jnl`	Computational Governance and Violable Contracts for Blockchain Applications. Computer Munindar P. Singh, Amit K. Chopra
2020	—	`conf`	Fault Tolerance in Multiagent Systems. EMAS@AAMAS Samuel H. Christie V., Amit K. Chopra
2020	J	`jnl`	Protocols Over Things: A Decentralized Programming Model for the Internet of Things. Computer Samuel H. Christie V., Daria Smirnova, Amit K. Chopra, Munindar P. Singh
2020	A	`conf`	Refinement for Multiagent Protocols. AAMAS Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2019	J	`jnl`	A Critical Examination of Languages for Specifying Interaction Protocols for Decentralized Social Machines. CoRR Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
2019	—	`conf`	Requirements engineering as science in the small. ICSE (NIER) Munindar P. Singh, Amit K. Chopra
2019	A	`conf`	Supple: Multiagent Communication Protocols with Causal Types. AAMAS Akin Günay, Amit K. Chopra, Munindar P. Singh
2018	A	`conf`	Compositional Correctness in Multiagent Interactions. AAMAS Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2018	—	`conf`	Crowd-Informed Goal Models. AIRE@RE Georgi M. Kanchev, Pradeep K. Murukannaiah, Amit K. Chopra
2018	C	`conf`	Sociotechnical Systems and Ethics in the Large. AIES Amit K. Chopra, Munindar P. Singh
2018	—	`conf`	Stellar: A Programming Model for Developing Protocol-Compliant Agents. EMAS@AAMAS Akin Günay, Amit K. Chopra
2018	J	`jnl`	Violable Contracts and Governance for Blockchain Applications. CoRR Munindar P. Singh, Amit K. Chopra
2017	A	`conf`	Canary: An Interactive and Query-Based Approach to Extract Requirements from Online Forums. RE Georgi M. Kanchev, Pradeep K. Murukannaiah, Amit K. Chopra, Pete Sawyer
2017	A	`conf`	Canary: Extracting Requirements-Related Information from Online Discussions. RE Georgi M. Kanchev, Pradeep K. Murukannaiah, Amit K. Chopra, Pete Sawyer
2017	J	`jnl`	Introduction to the Special Issue on Advances in Social Computing. ACM Trans. Internet Techn. Amit K. Chopra, Erez Shmueli, Vivek K. Singh
2017	A	`conf`	Splee: A Declarative Information-Based Language for Multiagent Interaction Protocols. AAMAS Amit K. Chopra, Samuel Christie, Munindar P. Singh
2017	A	`conf`	The Internet of Things and Multiagent Systems: Decentralized Intelligence in Distributed Computing. ICDCS Munindar P. Singh, Amit K. Chopra
2017	A*	`conf`	Tosca: Operationalizing Commitments Over Information Protocols. IJCAI Thomas C. King, Akin Günay, Amit K. Chopra, Munindar P. Singh
2017	J	`jnl`	Tosca: Operationalizing Commitments Over Information Protocols. CoRR Thomas C. King, Akin Günay, Amit K. Chopra, Munindar P. Singh
2016	A	`conf`	Custard: Computing Norm States over Information Stores. AAMAS Amit K. Chopra, Munindar P. Singh
2016	A*	`conf`	From Social Machines to Social Protocols: Software Engineering Foundations for Sociotechnical Systems. WWW Amit K. Chopra, Munindar P. Singh
2016	B	`ed.`	PRIMA 2016: Princiles and Practice of Multi-Agent Systems - 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings PRIMA Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni
2015	A*	`conf`	Composing and Verifying Commitment-Based Multiagent Protocols. IJCAI Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh
2015	A*	`conf`	Cupid: Commitments in Relational Algebra. AAAI Amit K. Chopra, Munindar P. Singh
2015	A	`conf`	Generalized Commitment Alignment. AAMAS Amit K. Chopra, Munindar P. Singh
2015	J	`jnl`	Normative Multi-Agent Systems (Dagstuhl Seminar 15131). Dagstuhl Reports Amit K. Chopra, Leon van der Torre, Harko Verhagen, Serena Villata
2015	A	`conf`	Social Contexts and Social Pragmatics. AAMAS Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh
2015	—	`conf`	Social media through the requirements lens: A case study of Google maps. CrowdRE@RE Georgi M. Kanchev, Amit K. Chopra
2014	—	`ed.`	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 COIN@AAMAS/PRIMA Tina Balke, Frank Dignum, M. Birna van Riemsdijk, Amit K. Chopra
2014	J	`jnl`	Introduction to the Special Issue on Foundations of Social Computing. ACM Trans. Internet Techn. Amit K. Chopra, Raian Ali, Maja Vukovic
2014	A	`conf`	Protos: Foundations for engineering innovative sociotechnical systems. RE Amit K. Chopra, Fabiano Dalpiaz, Fatma Basak Aydemir, Paolo Giorgini, John Mylopoulos, Munindar P. Singh
2014	—	`conf`	The thing itself speaks: Accountability as a foundation for requirements in sociotechnical systems. RELAW Amit K. Chopra, Munindar P. Singh
2013	J	`jnl`	Introduction to the special section on agent communication. ACM Trans. Intell. Syst. Technol. Amit K. Chopra, Alexander Artikis, Jamal Bentahar, Frank Dignum
2013	—	`ch.`	Regulated MAS: Social Perspective. Normative Multi-Agent Systems Pablo Noriega, Amit K. Chopra, Nicoletta Fornara, Henrique Lopes Cardoso, Munindar P. Singh
2013	J	`jnl`	Research directions in agent communication. ACM Trans. Intell. Syst. Technol. Amit K. Chopra, Alexander Artikis, Jamal Bentahar, Marco Colombetti, Frank Dignum, Nicoletta Fornara, Andrew J. I. Jones, Munindar P. Singh, Pinar Yolum
2013	—	`ch.`	The Uses of Norms. Normative Multi-Agent Systems 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
2013	J	`jnl`	Trust-based specification of sociotechnical systems. Data Knowl. Eng. Elda Paja, Amit K. Chopra, Paolo Giorgini
2012	J	`jnl`	Interaction-Oriented Software Engineering: Concepts and Principles CoRR Amit K. Chopra, Munindar P. Singh
2012	J	`jnl`	The Meaning of Requirements and Adaptation CoRR Amit K. Chopra
2012	J	`jnl`	True Peer Review CoRR Amit K. Chopra
2011	—	`conf`	Colaba: Collaborative design of cross-organizational processes. RESS Amit K. Chopra, Munindar P. Singh
2011	A	`conf`	Commitments with regulations: reasoning about safety and control in REGULA. AAMAS Elisa Marengo, Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Viviana Patti, Munindar P. Singh
2011	—	`conf`	Requirements Engineering for Social Applications. iStar Amit K. Chopra, Paolo Giorgini
2011	—	`conf`	Requirements-driven adaptation: Compliance, context, uncertainty, and systems. RE@RunTime Amit K. Chopra
2011	—	`conf`	Social computing: Principles, platforms, and applications. RESC Amit K. Chopra
2011	A	`conf`	Sociotechnical Trust: An Architectural Approach. ER Amit K. Chopra, Elda Paja, Paolo Giorgini
2011	A	`conf`	Specifying and applying commitment-based business patterns. AAMAS Amit K. Chopra, Munindar P. Singh
2011	—	`conf`	The Evolution of Interoperability. DALT Amit K. Chopra, Munindar P. Singh
2011	—	`conf`	The first International Workshop on Requirements Engineering for Social Computing. RESC Fabiano Dalpiaz, Amit K. Chopra, Soo Ling Lim
2010	A	`conf`	Adaptation in Open Systems: Giving Interaction Its Rightful Place. ER Fabiano Dalpiaz, Amit K. Chopra, Paolo Giorgini, John Mylopoulos
2010	—	`conf`	Analyzing Contract Robustness through a Model of Commitments. AOSE Amit K. Chopra, Nir Oren, Sanjay Modgil, Nirmit Desai, Simon Miles, Michael Luck, Munindar P. Singh
2010	A	`conf`	Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments. CAiSE Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos
2010	A	`conf`	Reasoning about agents and protocols via goals and commitments. AAMAS Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos
2010	—	`ch.`	Requirements as Goals and Commitments Too. Intentional Perspectives on Information Systems Engineering Amit K. Chopra, John Mylopoulos, Fabiano Dalpiaz, Paolo Giorgini, Munindar P. Singh
2010	—	`conf`	The Evolution of Tropos: Contexts, Commitments and Adaptivity. iStar Raian Ali, Amit K. Chopra, Fabiano Dalpiaz, Paolo Giorgini, John Mylopoulos, Vítor Estêvão Silva Souza
2009	J	`jnl`	Amoeba: A methodology for modeling and evolving cross-organizational business processes. ACM Trans. Softw. Eng. Methodol. Nirmit Desai, Amit K. Chopra, Munindar P. Singh
2009	—	`conf`	Choice, interoperability, and conformance in interaction protocols and service choreographies. AAMAS (2) Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Nirmit Desai, Viviana Patti, Munindar P. Singh
2009	J	`jnl`	Commitment-Based Service-Oriented Architecture. Computer Munindar P. Singh, Amit K. Chopra, Nirmit Desai
2009	—	`conf`	Correctness Properties for Multiagent Systems. DALT Munindar P. Singh, Amit K. Chopra
2009	—	`conf`	Elements of a Business-Level Architecture for Multiagent Systems. PROMAS Amit K. Chopra, Munindar P. Singh
2009	—	`conf`	Multiagent commitment alignment. AAMAS (2) Amit K. Chopra, Munindar P. Singh
2009	—	`conf`	Programming Multiagent Systems without Programming Agents. PROMAS Munindar P. Singh, Amit K. Chopra
2008	—	`conf`	Business process interoperability: extended abstract. AAMAS (PhD) Amit K. Chopra
2008	—	`conf`	Constitutive interoperability. AAMAS (2) Amit K. Chopra, Munindar P. Singh
2007	A	`conf`	Choice and interoperation in protocol enactment. AAMAS Amit K. Chopra, Munindar P. Singh
2007	—	`conf`	Engineering Foreign Exchange Processes via Commitment Protocols. IEEE SCC Nirmit Desai, Amit K. Chopra, Matthew Arrott, Bill Specht, Munindar P. Singh
2007	—	`conf`	Interoperation in Protocol Enactment. DALT Amit K. Chopra, Munindar P. Singh
2007	A*	`conf`	Representing and Reasoning about Commitments in Business Processes. AAAI Nirmit Desai, Amit K. Chopra, Munindar P. Singh
2007	A	`conf`	Toward verification of commitment protocols and their compositions. AAMAS Nirmit Desai, Zhengang Cheng, Amit K. Chopra, Munindar P. Singh
2006	A	`conf`	An overview of business process adaptations via protocols. AAMAS Nirmit Desai, Amit K. Chopra, Munindar P. Singh
2006	—	`conf`	Business Process Adaptations via Protocols. IEEE SCC Nirmit Desai, Amit K. Chopra, Munindar P. Singh
2006	A	`conf`	Contextualizing commitment protocol. AAMAS Amit K. Chopra, Munindar P. Singh
2006	—	`conf`	Producing Compliant Interactions: Conformance, Coverage, and Interoperability. DALT Amit K. Chopra, Munindar P. Singh
2005	J	`jnl`	Interaction Protocols as Design Abstractions for Business Processes. IEEE Trans. Software Eng. Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar P. Singh
2005	—	`conf`	OWL-P: A Methodology for Business Process Development. AOIS Nirmit Desai, Ashok U. Mallya, Amit K. Chopra, Munindar P. Singh
2005	A	`conf`	OWL-P: OWL for protocol and processes. AAMAS Ashok U. Mallya, Nirmit Desai, Amit K. Chopra, Munindar P. Singh
2004	A	`conf`	Commitments for Flexible Business Processes. AAMAS Amit K. Chopra, Munindar P. Singh
2004	—	`conf`	Protocols for processes: programming in the large for open systems (extended abstract). OOPSLA Companion Munindar P. Singh, Amit K. Chopra, Nirmit Desai, Ashok U. Mallya
2004	J	`jnl`	Protocols for processes: programming in the large for open systems. ACM SIGPLAN Notices Munindar P. Singh, Amit K. Chopra, Nirmit Desai, Ashok U. Mallya
2003	—	`conf`	Nonmonotonic Commitment Machines. Workshop on Agent Communication Languages Amit K. Chopra, Munindar P. Singh