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: Title
  1. 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

  2. Published

    Adaptation in open systems: giving interaction its rightful place

    Dalpiaz, F., Chopra, A. K., Giorgini, P. & Mylopoulos, J., 2010, Conceptual Modeling – ER 2010: 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings. Parsons, J., Saeki, M., Shoval, P., Woo, C. & Wand, Y. (eds.). Berlin: Springer, p. 31-45 15 p. (Lecture Notes in Computer Science; vol. 6412).

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

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

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

  5. Published

    Analyzing contract robustness through a model of commitments

    Chopra, A. K., Oren, N., Modgil, S., Desai, N., Miles, S., Luck, M. & Singh, M. P., 2011, Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers. Weyns, D. & Gleizes, M-P. (eds.). Berlin: Springer, p. 17-36 20 p. (Lecture Notes in Computer Science; vol. 6788).

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

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

  7. Published

    Business process adaptations via protocols

    Desai, N., Chopra, A. K. & Singh, M. P., 2006, Services Computing, 2006. SCC '06. IEEE International Conference on. IEEE, p. 103-110 8 p.

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

  8. Published

    Canary: Extracting Requirements-Related Information from Online Discussions

    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. 31-40 10 p.

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

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

  10. Published

    Choice, interoperability, and conformance in interaction protocols and service choreographies

    Baldoni, M., Baroglio, C., Chopra, A. K., Desai, N., Patti, V. & Singh, M., 2009, Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems. Richland, S.C.: International Foundation for Autonomous Agents and Multiagent Systems, Vol. 2. p. 843-850 8 p.

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

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

  12. Published

    Colaba: collaborative design of cross-organizational business processes

    Chopra, A. K. & Singh, M. P., 2011, Requirements Engineering for Systems, Services and Systems-of-Systems (RESS), 2011 Workshop on. IEEE, p. 36-43 8 p.

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

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

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

  15. Published

    Composing and verifying commitment-based multiagent protocols

    Baldoni, M., Baroglio, C., Chopra, A. K. & Singh, M. P., 1/07/2015, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI). p. 10-17 8 p.

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

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

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

  18. Published

    Constitutive interoperability

    Chopra, A. K. & Singh, M. P., 2008, AAMAS '08 Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2. Richmond, S.C.: International Foundation for Autonomous Agents and Multiagent Systems, p. 797-804 8 p.

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

  19. Published

    Contextualizing commitment protocols

    Chopra, A. K. & Singh, M. P., 2006, AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems. New York: ACM, p. 1345-1352 8 p.

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

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

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

  22. Published

    Cupid: commitments in relational algebra

    Chopra, A. K. & Singh, M. P., 2015, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI, p. 2052-2059 8 p. (AAAI Conference on Artificial Intelligence).

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

  23. Published

    Custard: Computing norm states over information stores

    Chopra, A. K. & Singh, M. P., 9/05/2016, AAMAS '16 Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems. Richland, SC: IFAAMAS, p. 1096-1105 10 p.

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

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

  25. Published

    Elements of a business-level architecture for multiagent systems

    Chopra, A. K. & Singh, M. P., 2010, Programming Multi-Agent Systems: 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers. Braubach, L., Briot, J-P. & Thangarajah, J. (eds.). Berlin: Springer, p. 15-30 16 p. (Lecture Notes in Computer Science; vol. 5919).

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

Previous 1 2 3 Next

Back to top