Scott N. Gerard  Scott N. Gerard photo         

contact information

Cognitive Eldercare, STSM
Raleigh, NC
  +1dash919dash254dash7415

links

Professional Associations

Professional Associations:  ACM  |  IEEE Computer Society


2015

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

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
Abstract


2013

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
Abstract

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


2011

Stepwise Refinement of Protocols and Agents

Technical Report, 2011
Available from authors via PC chairs


2010

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


1994

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


1988

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