Samuel H. Christie V.

27 papers A* 5A 8B 1Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Argus: Programming with communication protocols in a belief-desire-intention architecture.
Artif. Intell.
Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra
2025 A* conf
Orpheus: Engineering Multiagent Systems via Communicating Agents.
AAAI
Matteo Baldoni, Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra
2025 A* conf
Requirement Patterns for Engineering Multiagent Interaction Protocols.
IJCAI
Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
2025 J jnl
Toolsuite for Implementing Multiagent Systems Based on Communication Protocols.
CoRR
Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
2024 A* conf
Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict.
IJCAI
Munindar P. Singh, Samuel H. Christie V., Amit K. Chopra
2023 A conf
Communication Meaning: Foundations and Directions for Systems Research.
AAMAS
Amit K. Chopra, Samuel H. Christie V.
2023 A conf
Interaction-Oriented Programming: Intelligent, Meaning-Based Multiagent Systems.
AAMAS
Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
2023 A conf
Kiko: Programming Agents to Enact Interaction Models.
AAMAS
Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra
2023 A conf
Mandrake: Multiagent Systems as a Basis for Programming Fault-Tolerant Decentralized Applications.
AAMAS
Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra
2023 B conf
Protocol-Based Engineering of Microservices.
EMAS
Aditya Kailas Khadse, Samuel H. Christie V., Munindar P. Singh, Amit K. Chopra
2022 J jnl
Decentralized Systems.
IEEE Internet Comput.
Samuel H. Christie V., Lalana Kagal, Alessandro Ricci, Munindar P. Singh
2022 J jnl
Mandrake: multiagent systems as a basis for programming fault-tolerant decentralized applications.
Auton. Agents Multi Agent Syst.
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2022 A conf
Pippi: Practical Protocol Instantiation.
AAMAS
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2022 J jnl
Pippi: Practical Protocol Instantiation.
CoRR
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2021 J jnl
Bungie: Improving Fault Tolerance via Extensible Application-Level Protocols.
Computer
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2021 A conf
Deserv: Decentralized Serverless Computing.
ICWS
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2021 J jnl
Hercule: Representing and Reasoning About Norms as a Foundation for Declarative Contracts Over Blockchain.
IEEE Internet Comput.
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2021 J jnl
Hercule: Representing and Reasoning about Norms as a Foundation for Declarative Contracts over Blockchain.
CoRR
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2021 A* conf
Interaction-Oriented Programming: An Application Semantics Approach for Engineering Decentralized Applications.
PODC
Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
2021 — conf
Multiagent Foundations for Distributed Systems: A Vision.
EMAS@AAMAS
Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
2021 A* conf
Tango: Declarative Semantics for Multiagent Communication Protocols.
IJCAI
Munindar P. Singh, Samuel H. Christie V.
2020 J jnl
An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems.
J. Artif. Intell. Res.
Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
2020 — conf
Fault Tolerance in Multiagent Systems.
EMAS@AAMAS
Samuel H. Christie V., Amit K. Chopra
2020 J jnl
Protocols Over Things: A Decentralized Programming Model for the Internet of Things.
Computer
Samuel H. Christie V., Daria Smirnova, Amit K. Chopra, Munindar P. Singh
2020 A conf
Refinement for Multiagent Protocols.
AAMAS
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh
2019 J jnl
A Critical Examination of Languages for Specifying Interaction Protocols for Decentralized Social Machines.
CoRR
Amit K. Chopra, Samuel H. Christie V., Munindar P. Singh
2018 A conf
Compositional Correctness in Multiagent Interactions.
AAMAS
Samuel H. Christie V., Amit K. Chopra, Munindar P. Singh