10 results on '"Tribastone, Mirco"'
Search Results
2. Spatial fluid limits for stochastic mobile networks
3. Blending randomness in closed queueing network models
4. Exact fluid lumpability in Markovian process algebra
5. Tackling continuous state-space explosion in a Markovian process algebra
6. A large-scale assessment of exact lumping of quantitative models in the BioModels repository.
7. Symbolic computation of differential equivalences.
8. Comparing chemical reaction networks: A categorical and algorithmic perspective.
9. Fluid Performability Analysis of Nested Automata Models.
10. Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.