Samuel H. Christie V.
3 papers
· 2021–2025
· 1 conference
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Cross-Pollinator
(3)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(10)
π
Keyword Champion
(2)
Conferences
IJCAI (3)
Top co-authors
Keywords
interaction protocol
(2)
multiagent system
(2)
protocol verification
(2)
asynchronous communication
(2)
multi-agent system
(2)
declarative semantics
(1)
multi-agent communication
(1)
causality constraint
(1)
requirement pattern
(1)
formal semantics
(1)
inference rule
(1)
declarative protocol
(1)
protocol specification
(1)
message-oriented protocol
(1)
formal verification
(1)
declarative protocol language
(1)
message passing
(1)
formal specification
(1)
communication protocol
(1)
coordination mechanism
(1)