On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. - Rajesh K. Karmani; Timo Latvala; Gul Agha (SASO, 2007)

Actor frameworks for the JVM platform: a comparative analysis. - Rajesh K. Karmani; Amin Shali; Gul Agha (PPPJ, 2009)

Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. - Steven Lauterburg; Rajesh K. Karmani; Darko Marinov; Gul Agha (FASE, 2010)

Basset: a tool for systematic testing of actor programs. - Steven Lauterburg; Rajesh K. Karmani; Darko Marinov; Gul Agha (SIGSOFT FSE, 2010)

Thread contracts for safe parallelism. - Rajesh K. Karmani; P. Madhusudan; Brandon M. Moore (PPoPP, 2011)

Inferring ownership transfer for efficient message passing. - Stas Negara; Rajesh K. Karmani; Gul A. Agha (PPoPP, 2011)

Actors. - Rajesh K. Karmani; Gul Agha (Encyclopedia of Parallel Computing, 2011)

TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. - Samira Tasharofi; Rajesh K. Karmani; Steven Lauterburg; Axel Legay; Darko Marinov; Gul Agha (FMOODS/FORTE, 2012)