On the public citation graph
An experiment on program development
0 signed · 29 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.1145/357980.358010openalex-snapshot
Program development by stepwise refinement
inferredcites →https://doi.org/10.1145/362575.362577openalex-snapshot
Program development by stepwise refinement
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.4380040308openalex-snapshot
Random search on the 8‐queens problem or a simple solution for a simple problem
inferred← citeshttps://doi.org/10.1002/spe.4380060102openalex-snapshot
The new programming discipline
inferred← citeshttps://doi.org/10.1002/spe.4380150102openalex-snapshot
Program development by inductive stepwise refinement
inferred← citeshttps://doi.org/10.1007/3-540-07131-8_35openalex-snapshot
Formal definition in program development
inferred← citeshttps://doi.org/10.1007/bf00402266openalex-snapshot
Current practice in software quality and the impact of certification schemes
inferred← citeshttps://doi.org/10.1007/bf01934394openalex-snapshot
Fundamental solutions of the eight queens problem
inferred← citeshttps://doi.org/10.1007/bf01941128openalex-snapshot
Datalogy — The copenhagen tradition of computer science
inferred← citeshttps://doi.org/10.1016/0010-4655(85)90082-7openalex-snapshot
Methods and tools for system design
inferred← citeshttps://doi.org/10.1016/0020-0190(92)90156-popenalex-snapshot
Linear congruence equations for the solutions of the N-Queens problem
inferred← citeshttps://doi.org/10.1016/0164-1212(91)90092-kopenalex-snapshot
Approaches to program comprehension
inferred← citeshttps://doi.org/10.1016/0364-0213(95)90009-8openalex-snapshot
Program Structure and Design
inferred← citeshttps://doi.org/10.1016/0950-5849(93)90079-iopenalex-snapshot
Communication support for prototyping projects
inferred← citeshttps://doi.org/10.1016/j.jal.2008.09.006openalex-snapshot
The Philosophy of Computer Science
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102545openalex-snapshot
Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems
inferred← citeshttps://doi.org/10.1080/01449298908914552openalex-snapshot
Back to thinking mode: diaries for the management of information systems development projects
inferred← citeshttps://doi.org/10.1080/08993400802332332openalex-snapshot
Three traditions of computing: what educators should know
inferred← citeshttps://doi.org/10.1109/icic56845.2022.10006930openalex-snapshot
Learner Action Patterns in the Problem-Solving Process Related to Program Code Composition Based on Tracking System Activities
inferred← citeshttps://doi.org/10.1145/1188913.1188922openalex-snapshot
Computing versus human thinking
inferred← citeshttps://doi.org/10.1145/130226.148055openalex-snapshot
A reappraisal of structured analysis
inferred← citeshttps://doi.org/10.1145/131214.131227openalex-snapshot
Different perspectives of the N-Queens problem
inferred← citeshttps://doi.org/10.1145/1315803.1315808openalex-snapshot
The development of computer science
inferred← citeshttps://doi.org/10.1145/356635.356637openalex-snapshot
Programming and Documenting Software Projects
inferred← citeshttps://doi.org/10.1145/356635.356640openalex-snapshot
Structured Programming with go to Statements
inferred← citeshttps://doi.org/10.1145/953224.953226openalex-snapshot
Structured programming, programming teaching and the language Pascal
inferred← citeshttps://doi.org/10.1207/s15327051hci0404_1openalex-snapshot
Out of Scandinavia: Alternative Approaches to Software Design and System Development
inferred← citeshttps://doi.org/10.65391/r3345openalex-snapshot
Modelling the Requirements of a Medical Device in Kapture and Simulink
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.