Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sumit K. Jha
A Bayesian Approach to Model Checking Biological Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Guide to Bayesian Model Checking for Ecologists
Automated Parameter Estimation for Biological Models Using Bayesian Statistical Model Checking
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
Bayesian Model Checking: A Comparison of Tests
Astronomy and Astrophysics
Astrophysics
Astronomy
Planetary Science
Space
Guided Model Checking With a Bayesian Meta-Heuristic
Model Checking the Biological Model of Membrane Computing With Probabilistic Symbolic Model Checker by Using Two Biological Systems
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
A General Approach to Trace-Checking in Distributed Computing Systems
Model Checking Implicit-Invocation Systems
Model Checking Software Systems: A Case Study.
An Epistemic Model Checking Approach to Web Service Compositions
International Journal of Wireless and Microwave Technologies
