Thakur Neupane

Orcid: 0000-0002-1870-4079

According to our database1, Thakur Neupane authored at least 4 papers between 2019 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

2019
Approximation Techniques for Stochastic Analysis of Biological Systems.
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

Approximation Techniques for Stochastic Analysis of Biological Systems.
CoRR, 2019

STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019


  Loading...