Works (9)
2025 article
From Visual Choreographies to Flexible Information Protocols
SERVICE-ORIENTED COMPUTING, ICSOC 2024, PT I, Vol. 15404, pp. 354–369.
2022 journal article
Mandrake: multiagent systems as a basis for programming fault-tolerant decentralized applications
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 36(1).

2022 article
Multiagent Foundations for Distributed Systems: A Vision
ENGINEERING MULTI-AGENT SYSTEMS, Vol. 13190, pp. 62–71.
2021 journal article
Accountability as a Foundation for Requirements in Sociotechnical Systems
IEEE INTERNET COMPUTING, 25(6), 33–41.

2021 journal article
Bungie: Improving Fault Tolerance via Extensible Application-Level Protocols
COMPUTER, 54(5), 44–53.
2021 article
Deserv: Decentralized Serverless Computing
2021 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, ICWS 2021, pp. 51–60.

2021 journal article
Hercule: Representing and Reasoning About Norms as a Foundation for Declarative Contracts Over Blockchain
IEEE INTERNET COMPUTING, 25(4), 67–75.
2021 article
Interaction-Oriented Programming: An Application Semantics Approach for Engineering Decentralized Applications
PROCEEDINGS OF THE 2021 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '21), pp. 575–576.

2020 journal article
Blockchain-Based Financial Technologies and Cryptocurrencies for Low-Income People: Technical Potential Versus Practical Reality
COMPUTER, 53(1), 53–62.