Ratul Saha
Ratul Saha
Doctoral student, School of Computing, National University of Singapore
Verified email at comp.nus.edu.sg - Homepage
Title
Cited by
Cited by
Year
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
1302015
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
132016
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
The system can't perform the operation now. Try again later.
Articles 1–4