Home > Research > Researchers > Dr Amit Chopra > Publications

Research

Dr Amit Chopra

Senior Lecturer

1 - 25 out of 66Page size: 25
RSS feed of this list
Sort by: Type
  1. Proceedings
  2. Published

    PRIMA 2016: Principles and Practice of Multi-Agent Systems - 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

    Baldoni, M. (ed.), Chopra, A. K. (ed.), Son, T. C. (ed.), Hirayama, K. (ed.) & Torroni, P. (ed.), 10/08/2016, Springer. 418 p. (Lecture Notes in Computer Science; vol. 9862)

    Research output: Book/Report/Proceedings › Proceedings

  3. Journal article
  4. 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/Magazine › Journal article › peer-review

  5. 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/Magazine › Journal article › peer-review

  6. 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/Magazine › Journal article › peer-review

  7. 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/Magazine › Journal article › peer-review

  8. 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/Magazine › Journal article › peer-review

  9. 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/Magazine › Journal article › peer-review

  10. Published

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

    V, S. H. C., Smirnova, D., Chopra, A. K. & Singh, M. P., 1/12/2020, In: IEEE Computer. 53, 12, p. 60 - 68 9 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  11. Published

    Computational Governance and Violable Contracts for Blockchain Applications

    Singh, M. P. & Chopra, A. K., 1/01/2020, In: IEEE Computer. 53, 1, p. 53-62 10 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  12. 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/Magazine › Journal article

  13. Published

    Research directions in agent communication

    Chopra, A. K., Artikis, A., Bentahar, J., Colombetti, M., Dignum, F., Fornara, N., Jones, A. J. I., Singh, M. P. & Yolum, P., 03/2013, In: ACM Transactions on Intelligent Systems and Technology. 4, 2, p. 1-23 23 p., 20.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  14. Published

    Trust-based specification of sociotechnical systems

    Paja, E., Chopra, A. K. & Giorgini, P., 2013, In: Data and Knowledge Engineering.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  15. Published

    Commitment-based service-oriented architecture

    Singh, M., Chopra, A. & Desai, N., 11/2009, In: Computer. 42, 11, p. 72-79 8 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  16. Published

    Amoeba: a methodology for modeling and evolution of cross-organizational business processes

    Chopra, A., Desai, N. & Singh, M., 10/2009, In: ACM Transactions on Software Engineering and Methodology. 19, 2, p. 1 45 p., 6.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  17. 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/Magazine › Journal article › peer-review

  18. Published

    Protocols for processes: programming in the large for open systems

    Singh, M. P., Chopra, A. K., Desai, N. & Mallya, A. U., 1/12/2004, In: ACM SIGPLAN Notices. 39, 12, p. 73-83 11 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  19. Abstract
  20. Published

    The thing itself speaks: accountability as a foundation for requirements in sociotechnical systems

    Chopra, A. K. & Singh, M. P., 08/2014, p. 22-22. 1 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Abstract › peer-review

  21. Conference paper
  22. Published

    Programming multiagent systems without programming agents

    Singh, M. P. & Chopra, A. K., 2009.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper

  23. Conference contribution/Paper
  24. Forthcoming

    Kiko: Programming Agents to Enact Interaction Protocols

    V, S. H. C., Singh, M. P. & Chopra, A. K., 3/01/2023, (Accepted/In press) Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems. London: IFAAMAS, p. 1-9 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  25. 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/ISSN › Conference contribution/Paper › peer-review

  26. 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/ISSN › Conference contribution/Paper › peer-review

  27. Published

    Clouseau: Generating Communication Protocols from Commitments

    Singh, M. P. & Chopra, A. K., 3/04/2020, Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence. New York: AAAI, p. 7244-7252 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 34, no. 5).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  28. Published

    Requirements Engineering as Science in the Small

    Singh, M. P. & Chopra, A. K., 22/08/2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2019. IEEE, p. 45-48 4 p. 8805709

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  29. 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/ISSN › Conference contribution/Paper › peer-review

  30. 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/ISSN › Conference contribution/Paper › peer-review

Previous 1 2 3 Next

Back to top