Concepedia

Rajesh K. Karmani

RK

5

Publications

228

Citations

5

H-Index

2007

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Rajesh K. Karmani is an author at University of Illinois Urbana-Champaign specializing in engineering, computer science, and system software.

Top concepts

EngineeringComputer ScienceFormal MethodsSystem SoftwareProgram AnalysisVerificationSoftware AnalysisParallel ComputingFormal VerificationComputer Engineering

Publications per year

2007–2011

5

Publications

5

Actor frameworks for the JVM platform

Rajesh K. Karmani, Amin Shali, Gul Agha · 2009 · 152 citations

Engineering, Computer Architecture, Intelligent Systems +19

Inferring ownership transfer for efficient message passing

Stas Negara, Rajesh K. Karmani, Gul Agha · 2011 · 32 citations

Engineering, Information Security, Verification +25

On Scaling Multi-Agent Task Reallocation Using Market-Based Approach

Rajesh K. Karmani, Timo Latvala, Gul Agha · 2007 · 19 citations

Mine Sweeping, Engineering, Game Theory +17

Steven Lauterburg, Rajesh K. Karmani, Darko Marinov et al. · 2010 · 14 citations

Engineering, Verification, Software Engineering +16

Thread contracts for safe parallelism

Rajesh K. Karmani, P. Madhusudan, Brandon Moore · 2011 · 11 citations

Engineering, Verification, Computer Architecture +16

Rows per page

1–5 of 5