On the public citation graph

An efficient disk-based tool for solving very large Markov models

https://doi.org/10.1007/bfb0022197
0 signed · 42 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-58152-9_15openalex-snapshot
Superposed Generalized Stochastic Petri Nets: Definition and efficient solution
inferredcites →https://doi.org/10.1007/978-1-4615-2241-6_32openalex-snapshot
Adaptive Relaxation for the Steady-State Analysis of Markov Chains
inferredcites →https://doi.org/10.1016/0166-5316(95)00012-mopenalex-snapshot
The UltraSAN modeling environment
inferredcites →https://doi.org/10.1109/32.541433openalex-snapshot
Numerical analysis of superposed GSPNs
inferredcites →https://doi.org/10.1109/32.729691openalex-snapshot
"On-the-fly" solution techniques for stochastic Petri nets and extensions
inferredcites →https://doi.org/10.1109/pnpm.1991.238781openalex-snapshot
Performance Petri net analysis of communications protocol software by delay-equivalent aggregation
inferredcites →https://doi.org/10.1109/pnpm.1995.524315openalex-snapshot
Numerical analysis of superposed GSPNs
inferredcites →https://doi.org/10.1515/9780691223384openalex-snapshot
Introduction to the Numerical Solution of Markov Chains
inferredcites →https://doi.org/10.22215/etd/1992-02277openalex-snapshot
Solution techniques for stochastic petri nets.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-45605-8_9openalex-snapshot
Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling
inferred← citeshttps://doi.org/10.1007/3-540-46029-2_2openalex-snapshot
The Möbius State-Level Abstract Functional Interface
inferred← citeshttps://doi.org/10.1007/3-540-46419-0_24openalex-snapshot
A Markov Chain Model Checker
inferred← citeshttps://doi.org/10.1007/978-1-4757-4828-4_2openalex-snapshot
Tools for Formulating Markov Models
inferred← citeshttps://doi.org/10.1007/978-3-319-06932-6_31openalex-snapshot
An Effective Way of Storing and Accessing Very Large Transition Matrices Using Multi-core CPU and GPU Architectures
inferred← citeshttps://doi.org/10.1007/978-3-319-24953-7_10openalex-snapshot
Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage
inferred← citeshttps://doi.org/10.1007/978-3-540-24611-4_7openalex-snapshot
Serial Disk-Based Analysis of Large Stochastic Models
inferred← citeshttps://doi.org/10.1007/978-3-540-24611-4_8openalex-snapshot
Kronecker Based Matrix Representations for Large Markov Models
inferred← citeshttps://doi.org/10.1007/978-3-540-72522-0_8openalex-snapshot
Tackling Large State Spaces in Performance Modelling
inferred← citeshttps://doi.org/10.1007/s10009-004-0140-2openalex-snapshot
Probabilistic symbolic model checking with PRISM: a hybrid approach
inferred← citeshttps://doi.org/10.1016/j.laa.2003.12.018openalex-snapshot
Hypergraph-based parallel computation of passage time densities in large semi-Markov models
inferred← citeshttps://doi.org/10.1016/s0166-5316(00)00052-3openalex-snapshot
Measure-adaptive state-space construction
inferred← citeshttps://doi.org/10.1016/s0166-5316(03)00070-1openalex-snapshot
The Möbius state-level abstract functional interface
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80394-9openalex-snapshot
A Symbolic Out-of-Core Solution Method for Markov Models
inferred← citeshttps://doi.org/10.1108/17410381111149657openalex-snapshot
Computational Markovian analysis of large systems
inferred← citeshttps://doi.org/10.1108/ec-10-2015-0287openalex-snapshot
The application of simultaneous elimination and back-substitution method (SEBSM) in finite element method
inferred← citeshttps://doi.org/10.1109/32.761443openalex-snapshot
Hierarchical structuring of superposed GSPNs
inferred← citeshttps://doi.org/10.1109/dsn.2002.1029011openalex-snapshot
Parallel randomization for large structured Markov chains
inferred← citeshttps://doi.org/10.1109/ipds.2000.839461openalex-snapshot
Measure-adaptive state-space construction
inferred← citeshttps://doi.org/10.1109/mascots.2006.8openalex-snapshot
A Parallel Implicit Method for the Steady-State Solution of CTMCs
inferred← citeshttps://doi.org/10.1109/pnpm.1997.595539openalex-snapshot
Hierarchical structuring of superposed GSPNs
inferred← citeshttps://doi.org/10.1109/pnpm.1999.796528openalex-snapshot
On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets
inferred← citeshttps://doi.org/10.1109/pnpm.1999.796529openalex-snapshot
A data structure for the efficient Kronecker solution of GSPNs
inferred← citeshttps://doi.org/10.1109/pnpm.2001.953358openalex-snapshot
Compact representations of probability distributions in the analysis of Superposed GSPNs
inferred← citeshttps://doi.org/10.1109/pnpm.2001.953360openalex-snapshot
Efficient solution of GSPNs using canonical matrix diagrams
inferred← citeshttps://doi.org/10.1109/pnpm.2001.953361openalex-snapshot
A reachability graph construction algorithm based on canonical transition firing count vectors
inferred← citeshttps://doi.org/10.1109/prdc.2006.26openalex-snapshot
Detecting and Exploiting Symmetry in Discrete-state Markov Models
inferred← citeshttps://doi.org/10.1109/seams.2013.6595499openalex-snapshot
Self-adaptive containers: Building resource-efficient applications with low programmer overhead
inferred← citeshttps://doi.org/10.1109/tr.2007.909761openalex-snapshot
Detecting and Exploiting Symmetry in Discrete-State Markov Models
inferred← citeshttps://doi.org/10.1145/584369.584377openalex-snapshot
Response time densities in generalised stochastic petri net models
inferred← citeshttps://doi.org/10.1287/ijoc.12.3.203.12634openalex-snapshot
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
inferred← citeshttps://doi.org/10.48456/tr-650openalex-snapshot
Parallel iterative solution method for large sparse linear equation systems
inferred← citeshttps://doi.org/10.5555/2663546.2663567openalex-snapshot
Self-adaptive containers: building resource-efficient applications with low programmer overhead
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.