dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Rajesh K. Karmani (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStas Negara, Rajesh K. Karmani, Gul A. Agha: Inferring ownership transfer for efficient message passing. PPOPP 2011: 81-90
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajesh K. Karmani, Gul Agha: Actors. Encyclopedia of Parallel Computing 2011: 1-11
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha: Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. FASE 2010: 308-322
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha: Basset: a tool for systematic testing of actor programs. SIGSOFT FSE 2010: 363-364
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajesh K. Karmani, Amin Shali, Gul Agha: Actor frameworks for the JVM platform: a comparative analysis. PPPJ 2009: 11-20
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajesh K. Karmani, Timo Latvala, Gul Agha: On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. SASO 2007: 173-182

Selection of 6 from 7 records - Rajesh K. Karmani has 8 coauthors

Last update 2012-02-16 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page