Home > Research > Researchers > Dr Amit Chopra > Publications

Research

Dr Amit Chopra

Senior Lecturer

21 - 30 out of 66Page size: 10
RSS feed of this list
Sort by: Title
  1. Published

    Reasoning about agents and protocols via goals and commitments

    Chopra, A. K., Dalpiaz, F., Giorgini, P. & Mylopoulos, J., 2010, AAMAS '10 Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1. Richmond, S.C.: International Foundation for Autonomous Agents and Multiagent Systems, p. 457-464 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-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/ISSN › Conference contribution/Paper › peer-review

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

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

  5. Published

    Programming multiagent systems without programming agents

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

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

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

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

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

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

  10. Published

    Nonmonotonic commitment machines

    Chopra, A. & Singh, M. P., 2004, Advances in Agent Communication: International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and Invited Papers. Dignum, F. (ed.). Berlin: Springer, p. 183-200 18 p. (Lecture Notes in Computer Science; vol. 2922).

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

Previous 1 2 3 4 5 6 7 Next

Back to top