Home > Research > Researchers > Dr Amit Chopra > Publications

Research

Dr Amit Chopra

Senior Lecturer

51 - 60 out of 66Page size: 10
RSS feed of this list
  1. Published

    Canary: An Interactive and Query-Based Approach to Extract Requirements from Online Forums

    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. 470-471 2 p.

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

  2. Published

    Crowd-Informed Goal Models

    Kanchev, G. M., Murukannaiah, P. K. & Chopra, A. K., 21/08/2018, 2018 5th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). IEEE, p. 47-53 7 p.

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

  3. Published

    Tosca: Operationalizing Commitments over Information Protocols

    King, T. C., Günay, A., Chopra, A. K. & Singh, M. P., 23/08/2017, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI). Melbourne: IJCAI, p. 256-264 9 p.

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

  4. Published

    Commitments with regulations: reasoning about safety and control in REGULA

    Marengo, E., Baldoni, M., Baroglio, C., Chopra, A. K., Patti, V. & Singh, M. P., 2011, Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '11). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, Vol. 2. p. 467-474 8 p. (AAMAS '11).

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

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

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

  7. Published

    Correctness properties for multiagent systems

    Singh, M. P. & Chopra, A. K., 2009, Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Baldoni, M., Bentahar, J., Riemsdijk, M. B. V. & Lloyd, J. (eds.). Berlin: Springer, p. 192-207 16 p. (Lecture Notes in Computer Science; vol. 5948).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

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

  9. Published

    Programming multiagent systems without programming agents

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

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

  10. Published

    The Internet of Things and Multiagent Systems: Decentralized Intelligence in Distributed Computing

    Singh, M. P. & Chopra, A. K., 17/07/2017, Proceedings of the 37th IEEE International Conference on Distributed Computing Systems (ICDCS). Atlanta: IEEE, p. 1738-1747 10 p.

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

Previous 12 3 4 5 6 7 Next

Back to top