Home > Research > Researchers > Dr Amit Chopra > Publications

Dr Amit Chopra

Senior Lecturer

  1. Published

    Generalized commitment alignment

    Chopra, A. K. & Singh, M. P., 05/2015, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015). Bordini, R. H., Elkind, E., Weiss, G. & Yolum, P. (eds.). IFAAMAS, p. 453-461 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  2. Published

    Protos: foundations for engineering innovative sociotechnical systems

    Chopra, A. K., Dalpiaz, F., Aydemir, F. B., Giorgini, P., Mylopoulos, J. & Singh, M. P., 08/2014, Requirements Engineering Conference (RE), 2014 IEEE 22nd International. IEEE, p. 53-62 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  3. Published

    From social machines to social protocols: Software engineering foundations for sociotechnical systems

    Chopra, A. K. & Singh, M., 04/2016, 25th International World Wide Web Conference 11-15 April 2016. p. 903-914 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  4. Published

    Custard: Computing norm states over information stores

    Chopra, A. K. & Singh, M. P., 9/05/2016, AAMAS '16 Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems. Richland, SC: IFAAMAS, p. 1096-1105 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  5. Published

    Normative Multi-Agent Systems (Dagstuhl Seminar 15131)

    Chopra, A. K., Torre, L. V. D., Verhagen, H. & Villata, S., 18/09/2015, In: Dagstuhl Reports. 5, 3, p. 162-176 15 p.

    Research output: Contribution to Journal/MagazineJournal article

  6. Published

    Splee: A declarative information-based language for multiagent interaction protocols

    Chopra, A. K., V, S. H. C. & Singh, M. P., 8/05/2017, AAMAS '17 Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. São Paolo: IFAAMAS, p. 1054-1063 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  7. Published

    Sociotechnical Systems and Ethics in the Large

    Chopra, A. K. & Singh, M. P., 3/02/2018, Proceedings of the AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society. New Orleans, 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  8. Published

    An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems

    Chopra, A. K., V, S. H. C. & Singh, M. P., 22/12/2020, In: Journal of Artificial Intelligence Research. 69, p. 351-1393 43 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  9. Published

    Accountability as a Foundation for Requirements in Sociotechnical Systems

    Chopra, A. K. & Singh, M. P., 1/11/2021, In: IEEE Internet Computing. 25, 6, p. 33-41 9 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Published

    Interaction-Oriented Software Engineering: Programming abstractions for autonomy and decentralization

    Chopra, A. K., 20/09/2022, In: AI Communications. 35, 4, p. 381-391 11 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  11. Published

    Bungie: Improving Fault Tolerance via Extensible Application-Level Protocols

    Christie, S. H., Chopra, A. K. & Singh, M. P., 10/05/2021, In: Computer. 54, 5, p. 44-53 10 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  12. Published

    Hercule: Representing and Reasoning about Norms as a Foundation for Declarative Contracts over Blockchain

    Christie, S. H., Chopra, A. K. & Singh, M. P., 31/07/2021, In: IEEE Internet Computing. 25, 4, p. 67-75 9 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  13. Published

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

    Christie, S. H., Chopra, A. K. & Singh, M. P., 8/02/2022, In: Autonomous Agents and Multi-Agent Systems. 36, 1, 30 p., 16.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  14. Published

    Deserv: Decentralized Serverless Computing

    Christie V, S. H., Chopra, A. K. & Singh, M. P., 15/11/2021, 2021 IEEE International Conference on Web Services (ICWS). IEEE, p. 51-60 10 p. (2021 IEEE International Conference on Web Services (ICWS)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  15. Published

    Adaptation in open systems: giving interaction its rightful place

    Dalpiaz, F., Chopra, A. K., Giorgini, P. & Mylopoulos, J., 2010, Conceptual Modeling – ER 2010: 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings. Parsons, J., Saeki, M., Shoval, P., Woo, C. & Wand, Y. (eds.). Berlin: Springer, p. 31-45 15 p. (Lecture Notes in Computer Science; vol. 6412).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  16. Published

    Representing and reasoning about commitments in business processes

    Desai, N., Chopra, A. K. & Singh, M. P., 2007, Proceedings of the 22nd Conference on Artificial Intelligence. AAAI, p. 1328-1333 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  17. Published

    Engineering foreign exchange processes via commitment protocols

    Desai, N., Chopra, A. K., Arrott, M., Specht, B. & Singh, M. P., 2007, Services Computing, 2007. SCC 2007. IEEE International Conference on. Los Alamitos: IEEE Computer Society Press, p. 514-521 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  18. Published

    Business process adaptations via protocols

    Desai, N., Chopra, A. K. & Singh, M. P., 2006, Services Computing, 2006. SCC '06. IEEE International Conference on. IEEE, p. 103-110 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  19. Published

    OWL-P: a methodology for business process development

    Desai, N., Mallya, A. U., Chopra, A. K. & Singh, M. P., 2006, Agent-Oriented Information Systems III: 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers. Kolp, M., Bresciani, P., Henderson-Sellers, B. & Winikoff, M. (eds.). Berlin: Springer, p. 79-94 16 p. (Lecture Notes in Computer Science; vol. 3529).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  20. Published

    Interaction protocols as design abstractions for business processes

    Desai, N., Mallya, A. U., Chopra, A. K. & Singh, M. P., 1/12/2005, In: IEEE Transactions on Software Engineering. 31, 12, p. 1015-1027 13 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  21. Published

    Supple: Multiagent Communication Protocols with Causal Types

    Günay, A., Chopra, A. K. & Singh, M. P., 13/05/2019, AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. Richland, SC: IFAAMAS, p. 781-789 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  22. Published

    Stellar: A Programming Model for Developing Protocol-Compliant Agents

    Günay, A. & Chopra, A. K., 14/07/2019, Engineering Multi-Agent Systems - 6th International Workshop, EMAS 2018, Revised Selected Papers: 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers. Mascardi, V., Weyns, D. & Ricci, A. (eds.). Springer, p. 117-136 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11375).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  23. Published

    Pippi: Practical Protocol Instantiation

    H. Christie V, S. H., Chopra, A. K. & Singh, M. P., 13/05/2022, AAMAS '22: Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 281 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  24. Published

    Social media through the requirements lens: a case study of Google Maps

    Kanchev, G. M. & Chopra, A. K., 2015, Proceedings of 1st International Workshop on Crowd-Based Requirements Engineering. IEEE, p. 7-12 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  25. Published

    Canary: Extracting Requirements-Related Information from Online Discussions

    Kanchev, G. M., Murukannaiah, P. K., Chopra, A. K. & Sawyer, P., 26/09/2017, Proceedings of the 25th IEEE International Requirements Engineering Conference. Lisbon: IEEE, p. 31-40 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Back to top