Home > Research > Researchers > Dr Amit Chopra > Publications

Research

Dr Amit Chopra

Senior Lecturer

1 - 10 out of 70Page size: 10
RSS feed of this list
  1. 2024
  2. Forthcoming

    Azorus: Commitments over Protocols for BDI Agents

    Chopra, A. K., Baldoni, M., Christie V, S. H. & Singh, M. P., 19/12/2024, (Accepted/In press) Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS). Detroit: IFAAMAS

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

  3. Forthcoming

    Orpheus: Engineering Multiagent Systems via Communicating Agents

    Baldoni, M., Christie V, S. H., Singh, M. P. & Chopra, A. K., 10/12/2024, (Accepted/In press) Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence. Philadelphia: AAAI, p. 1-9 9 p.

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

  4. Published

    From Visual Choreographies to Flexible Information Protocols

    Lichtenstein, T., Chopra, A. K., Singh, M. P. & Weske, M., 7/12/2024, Service-Oriented Computing : 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I. Gaaloul, W., Sheng, M., Yu, Q. & Yangui, S. (eds.). Cham: Springer, p. 354-369 16 p. (Lecture Notes in Computer Science ; vol. 15404).

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

  5. Published

    Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict

    Singh, M. P., V, S. H. C. & Chopra, A. K., 3/08/2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence. Larson, K. (ed.). Jeju, Korea: IJCAI, p. 202-210 9 p. 23

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

  6. 2023
  7. 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

  8. 2022
  9. 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

  10. 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

  11. 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

  12. 2021
  13. 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

  14. 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

Previous 1 2 3 4 5 6 7 Next

Back to top