Home > Research > Researchers > Dr Amit Chopra > Publications

Dr Amit Chopra

Senior Lecturer

  1. 2019
  2. Published

    Stellar: A Programming Model for Developing Protocol-Compliant Agents

    Günay, A. & Chopra, A. K., 14/07/2019, Engineering Multi-Agent Systems - 6th International Workshop, EMAS 2018, Revised Selected Papers: 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers. Mascardi, V., Weyns, D. & Ricci, A. (eds.). Springer, p. 117-136 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11375).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  3. Published

    Supple: Multiagent Communication Protocols with Causal Types

    Günay, A., Chopra, A. K. & Singh, M. P., 13/05/2019, AAMAS '19 Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. Richland, SC: IFAAMAS, p. 781-789 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  4. 2018
  5. 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/ISSNConference contribution/Paper

  6. 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/ISSNConference contribution/Paper

  7. Published

    Sociotechnical Systems and Ethics in the Large

    Chopra, A. K. & Singh, M. P., 3/02/2018, Proceedings of the AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society. New Orleans, 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  8. 2017
  9. 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/ISSNConference contribution/Paper

  10. 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/ISSNConference contribution/Paper

  11. 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/ISSNConference contribution/Paper

  12. 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/ISSNConference contribution/Paper

  13. Published

    Splee: A declarative information-based language for multiagent interaction protocols

    Chopra, A. K., V, S. H. C. & Singh, M. P., 8/05/2017, AAMAS '17 Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. São Paolo: IFAAMAS, p. 1054-1063 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  14. 2016
  15. 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/ProceedingsProceedings

  16. 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/ISSNConference contribution/Paper

  17. Published

    From social machines to social protocols: Software engineering foundations for sociotechnical systems

    Chopra, A. K. & Singh, M., 04/2016, 25th International World Wide Web Conference 11-15 April 2016. p. 903-914 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  18. 2015
  19. 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 journalJournal article

  20. 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/ISSNConference contribution/Paper

  21. Published

    Generalized commitment alignment

    Chopra, A. K. & Singh, M. P., 05/2015, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015). Bordini, R. H., Elkind, E., Weiss, G. & Yolum, P. (eds.). IFAAMAS, p. 453-461 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  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/ISSNConference contribution/Paper

  23. Published

    Social contexts and social pragmatics

    Baldoni, M., Baroglio, C., Chopra, A. K. & Singh, M. P., 2015, AAMAS '15 Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems . Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, p. 1739-1740 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  24. Published

    Social media through the requirements lens: a case study of Google Maps

    Kanchev, G. M. & Chopra, A. K., 2015, Proceedings of 1st International Workshop on Crowd-Based Requirements Engineering. IEEE, p. 7-12 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  25. 2014
  26. 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/ISSNConference contribution/Paper

  27. Published

    The thing itself speaks: accountability as a foundation for requirements in sociotechnical systems

    Chopra, A. K. & Singh, M. P., 08/2014, p. 22-22. 1 p.

    Research output: Contribution to conference - Without ISBN/ISSN Abstract

  28. 2013
  29. Published

    Research directions in agent communication

    Chopra, A. K., Artikis, A., Bentahar, J., Colombetti, M., Dignum, F., Fornara, N., Jones, A. J. I., Singh, M. P. & Yolum, P., 03/2013, In : ACM Transactions on Intelligent Systems and Technology. 4, 2, p. 1-23 23 p., 20.

    Research output: Contribution to journalJournal article

  30. Published

    Trust-based specification of sociotechnical systems

    Paja, E., Chopra, A. K. & Giorgini, P., 2013, In : Data and Knowledge Engineering.

    Research output: Contribution to journalJournal article

  31. 2012
  32. Published

    The evolution of interoperability

    Chopra, A. K. & Singh, M. P., 2012, Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Revised Selected and Invited Papers. Sakama, C., Sardina, S., Vasconcelos, W. & Winikoff, M. (eds.). Berlin: Springer, p. 90-94 5 p. (Lecture Notes in Computer Science; vol. 7169).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  33. 2011
  34. 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/ISSNConference contribution/Paper

Previous 1 2 3 Next

Back to top