On the public citation graph
The formal development of a parallel program performing LU-decomposition
0 signed · 43 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-1-4612-5695-3_33openalex-snapshot
A Personal Summary of the Gries—Owicki Theory
inferredcites →https://doi.org/10.1007/978-1-4757-5592-3openalex-snapshot
Introduction to Numerical Analysis
inferredcites →https://doi.org/10.1007/bf00268134openalex-snapshot
An axiomatic proof technique for parallel programs I
inferredcites →https://doi.org/10.1016/0167-6423(86)90005-5openalex-snapshot
A derivation of a distributed implementation of Warshall's algorithm
inferredcites →https://doi.org/10.1016/0167-8191(86)90014-1openalex-snapshot
Computational models and task scheduling for parallel sparse Cholesky factorization
inferredcites →https://doi.org/10.1016/0743-7315(86)90010-9openalex-snapshot
A design methodology for synthesizing parallel algorithms and architectures
inferredcites →https://doi.org/10.1145/360051.360224openalex-snapshot
Verifying properties of parallel programs
inferredcites →https://doi.org/10.25405/ncl.34125705openalex-snapshot
Specification and Design of (Parallel) Programs
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-45417-9_57openalex-snapshot
Parallelization of Finite Element Package by MPI Library
inferred← citeshttps://doi.org/10.1007/3-540-51305-1_19openalex-snapshot
The formal construction of a parallel triangular system solver
inferred← citeshttps://doi.org/10.1007/3-540-51604-2_5openalex-snapshot
Parallel LU decomposition on a transputer network
inferred← citeshttps://doi.org/10.1007/3-540-58184-7_106openalex-snapshot
ILIAS, a sequential language for parallel matrix computations
inferred← citeshttps://doi.org/10.1007/978-1-349-08949-9_14openalex-snapshot
Allosteric Sites and Conformational Transitions of the Acetylcholine Receptor: Models for Short-term Regulation of Receptor Response
inferred← citeshttps://doi.org/10.1007/978-3-319-99725-4_14openalex-snapshot
Verifying Properties of Differentiable Programs
inferred← citeshttps://doi.org/10.1007/bf02024486openalex-snapshot
A parallel interior point algorithm for linear programming on a network of transputers
inferred← citeshttps://doi.org/10.1007/s00165-004-0028-7openalex-snapshot
Barrier synchronisation: Axiomatisation and relaxation
inferred← citeshttps://doi.org/10.1016/0167-6423(90)90083-popenalex-snapshot
Two small parallel programming exercises
inferred← citeshttps://doi.org/10.1016/0167-8191(90)90069-lopenalex-snapshot
MIMD implementations of linear solvers for oil reservoir simulation
inferred← citeshttps://doi.org/10.1016/0167-8191(92)90010-5openalex-snapshot
LU decomposition optimized for a parallel computer with a hierarchical distributed memory
inferred← citeshttps://doi.org/10.1016/j.future.2013.10.020openalex-snapshot
Architectural investigation of matrix data layout on multicore processors
inferred← citeshttps://doi.org/10.1016/s0164-1212(99)00131-4openalex-snapshot
Efficient run-time assurance in distributed systems through selection of executable assertions
inferred← citeshttps://doi.org/10.1093/oso/9780198788348.001.0001openalex-snapshot
Parallel Scientific Computation
inferred← citeshttps://doi.org/10.1093/oso/9780198788348.003.0003openalex-snapshot
The fast Fourier transform
inferred← citeshttps://doi.org/10.1093/oso/9780198788348.003.0004openalex-snapshot
Sparse matrix–vector multiplication
inferred← citeshttps://doi.org/10.1093/oso/9780198788348.005.0001openalex-snapshot
Auxiliary BSPedupack functions
inferred← citeshttps://doi.org/10.1093/oso/9780198788348.005.0002openalex-snapshot
A quick reference guide to BSPlib
inferred← citeshttps://doi.org/10.1109/74.163806openalex-snapshot
Large parallel processing revisited: a second tutorial
inferred← citeshttps://doi.org/10.1109/aps.1991.175136openalex-snapshot
Parallel LU decomposition on a transputer array
inferred← citeshttps://doi.org/10.1137/0614059openalex-snapshot
Parallel Sparse LU Decomposition on a Mesh Network of Transputers
inferred← citeshttps://doi.org/10.1137/0912041openalex-snapshot
Parallel Triangular System Solving on a Mesh Network of Transputers
inferred← citeshttps://doi.org/10.1137/0915074openalex-snapshot
The Torus-Wrap Mapping for Dense Matrix Calculations on Massively Parallel Computers
inferred← citeshttps://doi.org/10.1201/9780203486061.ch6openalex-snapshot
Policy Enforcement and Related Issues
inferred← citeshttps://doi.org/10.1515/jmbm-2013-0024openalex-snapshot
Gradient models in molecular biophysics: progress, challenges, opportunities
inferred← citeshttps://doi.org/10.6100/ir381947openalex-snapshot
A design method for parallel programs
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.