Obserwuj
Ratul Saha
Ratul Saha
Doctoral student, School of Computing, National University of Singapore
Zweryfikowany adres z comp.nus.edu.sg - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–4