Ratul Saha

According to our database, Ratul Saha authored at least 5 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Polynomial analysis algorithms for free choice Probabilistic Workflow Nets.

Javier Esparza, Philipp Hoffmann, Ratul Saha

Perform. Evaluation, 2017

2016

Time-Bounded Statistical Analysis of Resource-Constrained Business Processes with Distributed Probabilistic Systems.

Ratul Saha, Madhavan Mukund, R. P. Jagadeesh Chandra Bose

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining.

Loi Luu, Ratul Saha, Inian Parameshwaran, Prateek Saxena, Aquinas Hobor

IACR Cryptol. ePrint Arch., 2015

Distributed Markov Chains.

Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

2014

Distributed Markov Chains.

Sumit Kumar Jha, Madhavan Mukund, Ratul Saha, P. S. Thiagarajan

CoRR, 2014