62 results on '"Šafránek, David"'
Search Results
2. Symbolic Coloured SCC Decomposition
3. Aeon 2021: Bifurcation Decision Trees in Boolean Networks
4. Computing Bottom SCCs Symbolically Using Transition Guided Reduction
5. DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications
6. Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data
7. Parameter Synthesis and Robustness Analysis of Rule-Based Models
8. Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications
9. eBCSgen: A Software Tool for Biochemical Space Language
10. AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
11. Digital Bifurcation Analysis of TCP Dynamics
12. Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks
13. Influence of Circadian Clocks on Optimal Regime of Central C-N Metabolism of Cyanobacteria
14. Barbaric Robustness Monitoring Revisited for STL* in Parasim
15. Data-Informed Parameter Synthesis for Population Markov Chains
16. Accelerating Parameter Synthesis Using Semi-algebraic Constraints
17. Data-Informed Parameter Synthesis for Population Markov Chains
18. Model Checking Approach to the Analysis of Biological Systems
19. Boolean network sketches: a unifying framework for logical model inference
20. Rule-based modelling of biological systems using regulated rewriting
21. Temporary and permanent control of partially specified Boolean networks
22. Systems Biology in ELIXIR: modelling in the spotlight
23. Detecting Attractors in Biological Models with Uncertain Parameters
24. Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems
25. Extracting individual characteristics from population data reveals a negative social effect during honeybee defence
26. AEON.py: Python library for attractor analysis in asynchronous Boolean networks
27. Polyhydroxyalkanoates synthesis by halophiles and thermophiles: towards sustainable production of microbial bioplastics
28. Exploring attractor bifurcations in Boolean networks
29. High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study
30. Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways
31. Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems
32. A Model Checking Approach to Discrete Bifurcation Analysis
33. E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria
34. BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs
35. Parameter Synthesis by Parallel Coloured CTL Model Checking
36. High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
37. The need for standardisation in life science research - an approach to excellence and trust.
38. Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
39. Model Checking of Biological Systems
40. Parallel One-Step Control of Parametrised Boolean Networks
41. Parameter Identification and Model Ranking of Thomas Networks
42. The need for standardisation in life science research - an approach to excellence and trust.
43. Digital Bifurcation Analysis of Internet Congestion Control Protocols
44. Executable biochemical space for specification and analysis of biochemical systems
45. Executable Biochemical Space for Specification and Analysis of Biochemical Systems
46. Parallel parameter synthesis algorithm for hybrid CTL
47. VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures
48. Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway
49. Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT
50. Parameter space abstraction and unfolding semantics of discrete regulatory networks
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.