Home > Research > Researchers > Dr Amit Chopra > Publications

Research

Dr Amit Chopra

Senior Lecturer

61 - 66 out of 66Page size: 10
RSS feed of this list
  1. 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

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

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

  4. Published

    Compositional Correctness for Multiagent Interactions

    V, S. H. C., Chopra, A. K. & Singh, M. P., 10/07/2018, Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems. Dastani, M., Sukthankar, G., Andre, E. & Koenig, S. (eds.). Richmond SC: IFAAMAS, p. 1159-1167 9 p.

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

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

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

Previous 1...3 4 5 6 7 Next

Back to top