关注
Ratul Saha
Ratul Saha
Doctoral student, School of Computing, National University of Singapore
在 comp.nus.edu.sg 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
On power splitting games in distributed computation: The case of bitcoin pooled mining
L Luu, R Saha, I Parameshwaran, P Saxena, A Hobor
Computer Security Foundations Symposium (CSF), 2015 IEEE 28th, 397-411, 2015
1942015
Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets
J Esparza, P Hoffmann, R Saha
International Conference on Quantitative Evaluation of Systems, 89-104, 2016
182016
Distributed Markov chains
R Saha, J Esparza, SK Jha, M Mukund, PS Thiagarajan
Verification, Model Checking, and Abstract Interpretation, 117-134, 2015
42015
Time-Bounded Statistical Analysis of Resource-Constrained Business Processes with Distributed Probabilistic Systems
R Saha, M Mukund, RPJC Bose
International Symposium on Dependable Software Engineering: Theories, Tools …, 2016
2016
系统目前无法执行此操作,请稍后再试。
文章 1–4