Scott N. Gerard  Scott N. Gerard photo         

contact information

Cognitive Eldercare, STSM
Raleigh, NC


Professional Associations

Professional Associations:  ACM  |  IEEE Computer Society


The Conditions for Commitments
Gerard, Scott N
Proceedings of CoopMAS, 2015

Positron: Composing Commitment-Based Protocols
Scott N Gerard, Pankaj R. Telang, Anup K. Kalia, Munindar P. Singh
International Conference on Service-Oriented Computing (ICSOC)[Research Track], pp. 19--35, 2015


Designing, Verifying and Evolving Commitment-based Protocols for Business
Scott N Gerard
PhD Dissertation, 2013

Evolving protocols and agents in multiagent systems
Gerard, Scott N and Singh, Munindar P
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems, pp. 997--1004

Positron: Composing Commitment Protocols
Scott N. Gerard, Pankaj R. Telang, Anup Kalia, Munindar P. Singh
Proceedings of the First International Workshop on Engineering Multiagent Systems (EMAS), pp. 1--16, 2013

Formalizing and Verifying Protocol Refinements
Scott N. Gerard, Munindar P. Singh
ACM Transactions on Intelligent Systems and Technology (TIST), 2013


Stepwise Refinement of Protocols and Agents

Technical Report, 2011
Available from authors via PC chairs


Protocol Refinement: Formalization and Verification
Scott N. Gerard, Munindar P. Singh
Proceedings of the Workshop on Agent Communication, pp. 19-36, 2010


C++ math class library: permutations, partitions, calculators, and gaming
Gerard, Scott N
1994 -, John Wiley & Sons, Inc.


Adding an authorization dimension to strong type checking
Gerard, Scott N
ACM SIGPLAN Notices 23(6), 145--151, ACM, 1988