On the public citation graph
A constructive approach to the problem of program correctness
0 signed · 222 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-94-011-1793-7_3openalex-snapshot
Proof of Algorithms by General Snapshots
inferredcites →https://doi.org/10.1007/bf01966091openalex-snapshot
Proof of algorithms by general snapshots
inferredcites →https://doi.org/10.1090/psapm/019/0235771openalex-snapshot
Assigning meanings to programs
inferredcites →https://doi.org/10.1090/psapm/019/0242403openalex-snapshot
Correctness of a compiler for arithmetic expressions
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cpa.3160480906openalex-snapshot
Program derivation with verified transformations — a case study
inferred← citeshttps://doi.org/10.1002/smr.4360010103openalex-snapshot
Uncertainty in computer application and its control through the engineering of software
inferred← citeshttps://doi.org/10.1002/spe.4380060102openalex-snapshot
The new programming discipline
inferred← citeshttps://doi.org/10.1007/3-540-06859-7_120openalex-snapshot
On a measure of program structure
inferred← citeshttps://doi.org/10.1007/3-540-06859-7_127openalex-snapshot
Top-down approach to the synthesis of programs
inferred← citeshttps://doi.org/10.1007/3-540-07168-7_71openalex-snapshot
The design and construction of software systems
inferred← citeshttps://doi.org/10.1007/3-540-07994-7_53openalex-snapshot
Programming as an evolutionary process
inferred← citeshttps://doi.org/10.1007/3-540-07994-7_54openalex-snapshot
Proof of correctness of data representations
inferred← citeshttps://doi.org/10.1007/3-540-57840-4_23openalex-snapshot
Mechanized support for stepwise refinement
inferred← citeshttps://doi.org/10.1007/3-540-57840-4_24openalex-snapshot
Hardware and software: The closing gap
inferred← citeshttps://doi.org/10.1007/978-1-4471-3550-0_14openalex-snapshot
A Tactic Driven Refinement Tool
inferred← citeshttps://doi.org/10.1007/978-1-4612-5979-4_4openalex-snapshot
Abstraction and Verification in Alphard: Introduction to Language and Methodology
inferred← citeshttps://doi.org/10.1007/978-1-4612-5979-4_8openalex-snapshot
Achieving Quality Software: Reflections on the Aims and Objectives of Alphard
inferred← citeshttps://doi.org/10.1007/978-1-4757-3472-0_10openalex-snapshot
Monitors: An Operating System Structuring Concept
inferred← citeshttps://doi.org/10.1007/978-1-84882-555-0_10openalex-snapshot
The Logic of Correctness in Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-030-20652-9_6openalex-snapshot
Towards Full Proof Automation in Frama-C Using Auto-active Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-51054-1_7openalex-snapshot
Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs
inferred← citeshttps://doi.org/10.1007/978-3-030-72013-1_2openalex-snapshot
Bridging Arrays and ADTs in Recursive Proofs
inferred← citeshttps://doi.org/10.1007/978-3-030-89159-6_24openalex-snapshot
Towards Model-Based Intent-Driven Adaptive Software
inferred← citeshttps://doi.org/10.1007/978-3-031-01806-0openalex-snapshot
Automated Verification of Concurrent Search Structures
inferred← citeshttps://doi.org/10.1007/978-3-031-22337-2_27openalex-snapshot
Software Model Checking: 20 Years and Beyond
inferred← citeshttps://doi.org/10.1007/978-3-031-47115-5_8openalex-snapshot
An Active Learning Approach to Synthesizing Program Contracts
inferred← citeshttps://doi.org/10.1007/978-3-319-24644-4_21openalex-snapshot
From Event-B Models to Dafny Code Contracts
inferred← citeshttps://doi.org/10.1007/978-3-319-47166-2_51openalex-snapshot
Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
inferred← citeshttps://doi.org/10.1007/978-3-319-47166-2_54openalex-snapshot
Correctness-by-Construction $$\wedge $$ Taxonomies $$\Rightarrow $$ Deep Comprehension of Algorithm Families
inferred← citeshttps://doi.org/10.1007/978-3-319-47166-2_55openalex-snapshot
Conditions for Compatibility of Components
inferred← citeshttps://doi.org/10.1007/978-3-319-47166-2_59openalex-snapshot
Supervisory Controller Synthesis for Product Lines Using CIF 3
inferred← citeshttps://doi.org/10.1007/978-3-319-97226-8_2openalex-snapshot
Validity and Correctness Before the OS: the Case of LEO I and LEO II
inferred← citeshttps://doi.org/10.1007/978-3-319-99933-3_3openalex-snapshot
Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement
inferred← citeshttps://doi.org/10.1007/978-3-540-39993-3_8openalex-snapshot
Towards the Verifying Compiler
inferred← citeshttps://doi.org/10.1007/978-3-540-73770-4_4openalex-snapshot
Testing and Verifying Invariant Based Programs in the SOCOS Environment
inferred← citeshttps://doi.org/10.1007/978-3-642-15187-3_7openalex-snapshot
Tools and Behavioral Abstraction: A Direction for Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-642-20835-5_9openalex-snapshot
Algebraic Method of Compiler Design
inferred← citeshttps://doi.org/10.1007/978-3-642-32759-9_35openalex-snapshot
Formalization of Incremental Simplex Algorithm by Stepwise Refinement
inferred← citeshttps://doi.org/10.1007/978-3-642-33609-6_16openalex-snapshot
Formal Software Verification at Model and at Source Code Levels
inferred← citeshttps://doi.org/10.1007/978-3-642-40787-1_29openalex-snapshot
A Lesson on Runtime Assertion Checking with Frama-C
inferred← citeshttps://doi.org/10.1007/978-3-642-41582-1_9openalex-snapshot
Dependently-typed programming in scientific computing: Examples from economic modelling
inferred← citeshttps://doi.org/10.1007/978-3-642-48354-7_18openalex-snapshot
Proof of Correctness of Data Representations
inferred← citeshttps://doi.org/10.1007/978-3-642-48354-7_23openalex-snapshot
Program Development by Stepwise Refinement
inferred← citeshttps://doi.org/10.1007/978-3-642-59412-0_10openalex-snapshot
Program Development by Stepwise Refinement
inferred← citeshttps://doi.org/10.1007/978-3-642-59412-0_22openalex-snapshot
Assertions: A Personal Perspective
inferred← citeshttps://doi.org/10.1007/978-3-642-59412-0_24openalex-snapshot
Proof of Correctness of Data Representations
inferred← citeshttps://doi.org/10.1007/978-3-642-67091-6_2openalex-snapshot
Methoden der Programm- und Systemkonstruktion: Ein Statusbericht
inferred← citeshttps://doi.org/10.1007/978-3-642-76562-9_3openalex-snapshot
Formale Spezifikation und Verifikation - Ein Überblick -
inferred← citeshttps://doi.org/10.1007/978-3-642-84574-1_36openalex-snapshot
Theoretical Considerations in Algorithm Design
inferred← citeshttps://doi.org/10.1007/978-3-658-27808-3_13openalex-snapshot
Verifikation einer Funktionsblockbibliothek für die Prozessautomatisierung
inferred← citeshttps://doi.org/10.1007/978-3-662-09507-2_1openalex-snapshot
Programming Languages—The First 25 Years
inferred← citeshttps://doi.org/10.1007/978-90-481-9794-1_4openalex-snapshot
Transformational Programming and the Derivation of Algorithms
inferred← citeshttps://doi.org/10.1007/bf00289507openalex-snapshot
Proof of correctness of data representations
inferred← citeshttps://doi.org/10.1007/bf01130543openalex-snapshot
Multilevel structured program designs and correctness proving
inferred← citeshttps://doi.org/10.1007/bf01936865openalex-snapshot
Proving programs correct: Some techniques and examples
inferred← citeshttps://doi.org/10.1007/s00165-005-0079-4openalex-snapshot
The verified software repository: a step towards the verifying compiler
inferred← citeshttps://doi.org/10.1007/s00165-008-0070-yopenalex-snapshot
Invariant based programming: basic approach and teaching experiences
inferred← citeshttps://doi.org/10.1007/s00165-010-0150-7openalex-snapshot
Verification of distributed systems with local–global predicates
inferred← citeshttps://doi.org/10.1007/s00165-010-0163-2openalex-snapshot
A programming model for BSP with partitioned synchronisation
inferred← citeshttps://doi.org/10.1007/s00165-011-0221-4openalex-snapshot
Deriving dense linear algebra libraries
inferred← citeshttps://doi.org/10.1007/s00165-012-0254-3openalex-snapshot
Stepwise refinement of heap-manipulating code in Chalice
inferred← citeshttps://doi.org/10.1007/s00165-013-0287-2openalex-snapshot
Provably correct derivation of algorithms using FermaT
inferred← citeshttps://doi.org/10.1007/s00165-014-0326-7openalex-snapshot
Frama-C: A software analysis perspective
inferred← citeshttps://doi.org/10.1007/s42001-025-00369-9openalex-snapshot
Modelling emergent pedestrian evacuation behaviors from intelligent, game-playing agents
inferred← citeshttps://doi.org/10.1016/0004-3702(80)90023-5openalex-snapshot
LAURA, a system to debug student programs
inferred← citeshttps://doi.org/10.1016/0022-0000(81)90005-2openalex-snapshot
On correct refinement of programs
inferred← citeshttps://doi.org/10.1016/0026-2714(85)90486-xopenalex-snapshot
Computer software quality measurements and metrics
inferred← citeshttps://doi.org/10.1016/0045-7906(84)90009-0openalex-snapshot
A new approach to program verification
inferred← citeshttps://doi.org/10.1016/0164-1212(91)90092-kopenalex-snapshot
Approaches to program comprehension
inferred← citeshttps://doi.org/10.1016/0304-3975(76)90032-3openalex-snapshot
Correctness of parallel programs: The Church-Rosser approach
inferred← citeshttps://doi.org/10.1016/0364-0213(95)90009-8openalex-snapshot
Program Structure and Design
inferred← citeshttps://doi.org/10.1016/b978-0-12-389450-2.50018-9openalex-snapshot
Some Thoughts on the Next Generation of Programming Languages
inferred← citeshttps://doi.org/10.1016/b978-0-444-88074-1.50020-2openalex-snapshot
Methods and Logics for Proving Programs
inferred← citeshttps://doi.org/10.1016/b978-0-934613-12-5.50009-4openalex-snapshot
Mechanical proofs about computer programs
inferred← citeshttps://doi.org/10.1016/j.cosrev.2008.02.003openalex-snapshot
A survey of state vectors
inferred← citeshttps://doi.org/10.1016/j.jal.2008.09.006openalex-snapshot
The Philosophy of Computer Science
inferred← citeshttps://doi.org/10.1016/j.jsc.2004.12.011openalex-snapshot
A survey of strategies in rule-based program transformation systems
inferred← citeshttps://doi.org/10.1016/j.scico.2008.03.002openalex-snapshot
The formalism underlying EASYMAP: A precompiler for refinement-based exploration of hierarchical data organizations
inferred← citeshttps://doi.org/10.1016/j.scico.2013.11.024openalex-snapshot
Experience with correctness-by-construction
inferred← citeshttps://doi.org/10.1016/s0049-237x(98)80025-6openalex-snapshot
Types in Logic, Mathematics and Programming
inferred← citeshttps://doi.org/10.1016/s0065-2458(08)60450-7openalex-snapshot
A Look at Programming and Programming Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)67594-3openalex-snapshot
An Integrated Approach to System Failure Effects
inferred← citeshttps://doi.org/10.1023/a:1020557525901openalex-snapshot
Software Evolution and Software Evolution Processes
inferred← citeshttps://doi.org/10.1049/sej.1991.0028openalex-snapshot
Software engineering, the software process and their support
inferred← citeshttps://doi.org/10.1080/01445340.2015.1084183openalex-snapshot
When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science
inferred← citeshttps://doi.org/10.1098/rsta.1984.0066openalex-snapshot
Mechanical proofs about computer programs
inferred← citeshttps://doi.org/10.1109/apsec.2005.104openalex-snapshot
Tool support for invariant based programming
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00164openalex-snapshot
Non-termination Witnesses and Their Validation
inferred← citeshttps://doi.org/10.1109/async58294.2023.10239640openalex-snapshot
Verification-Driven Design for Asynchronous VLSI
inferred← citeshttps://doi.org/10.1109/c-m.1972.216866openalex-snapshot
An Undergraduate Course on Operating Systems Principles
inferred← citeshttps://doi.org/10.1109/cmpeur.1990.113659openalex-snapshot
Uncertainty in computer application is certain-software engineering as a control
inferred← citeshttps://doi.org/10.1109/dac.1978.1585199openalex-snapshot
How to Develop Module Logic Using Pseudo-Code and Stepwise Refinement
inferred← citeshttps://doi.org/10.1109/fmcad.2008.ecp.22openalex-snapshot
A Refinement Approach to Design and Verification of On-Chip Communication Protocols
inferred← citeshttps://doi.org/10.1109/hpcs.2018.00018openalex-snapshot
A Lesson on Verification of IoT Software with Frama-C
inferred← citeshttps://doi.org/10.1109/icicis.1993.291752openalex-snapshot
Cooperative dialogues with the support of autonomous agents
inferred← citeshttps://doi.org/10.1109/icrtit.2011.5972347openalex-snapshot
Diagrammatic reasoning in program construction
inferred← citeshttps://doi.org/10.1109/ifita.2009.420openalex-snapshot
Instill Engineering Thought in C Programming Teaching
inferred← citeshttps://doi.org/10.1109/igarss47720.2021.9554305openalex-snapshot
First Results of Hyperspectral Scene Generation in Preparation of the Chime Imaging Spectrometer Mission
inferred← citeshttps://doi.org/10.1109/iros60139.2025.11247197openalex-snapshot
Dual-Arm Hierarchical Planning for Laboratory Automation: Vibratory Sieve Shaker Operations
inferred← citeshttps://doi.org/10.1109/jcit.1990.128290openalex-snapshot
Software uncertainty and the role of CASE in its minimisation and control
inferred← citeshttps://doi.org/10.1109/jproc.2017.2725642openalex-snapshot
ARMET: Behavior-Based Secure and Resilient Industrial Control Systems
inferred← citeshttps://doi.org/10.1109/mahc.2003.1203056openalex-snapshot
Assertions: a personal perspective
inferred← citeshttps://doi.org/10.1109/mahc.2003.1203057openalex-snapshot
The early search for tractable ways of reasoning about programs
inferred← citeshttps://doi.org/10.1109/mark.1979.8817260openalex-snapshot
Program forms and program form analysers for high-level structured design
inferred← citeshttps://doi.org/10.1109/rsp64122.2024.10871125openalex-snapshot
Temporal Staging for Correct-by-Construction Cryptographic Hardware
inferred← citeshttps://doi.org/10.1109/sp46215.2023.10179393openalex-snapshot
Less is more: refinement proofs for probabilistic proofs
inferred← citeshttps://doi.org/10.1109/t-c.1973.223698openalex-snapshot
Fault-Tolerant Computing: An Introduction and a Viewpoint
inferred← citeshttps://doi.org/10.1109/t4e.2011.45openalex-snapshot
Diagrammatic Reasoning in Computer Programming
inferred← citeshttps://doi.org/10.1109/tc.1976.1674589openalex-snapshot
Programming Languages—The First 25 Years
inferred← citeshttps://doi.org/10.1109/tpas.1984.318415openalex-snapshot
Versatile Interactive Digital Simulator Based on EMTP for AC/DC Power System Trasient Studies
inferred← citeshttps://doi.org/10.1109/tse.1976.233830openalex-snapshot
An Introduction to the Construction and Verification of Alphard Programs
inferred← citeshttps://doi.org/10.1145/1055531.1055532openalex-snapshot
The science of deriving dense linear algebra algorithms
inferred← citeshttps://doi.org/10.1145/1176617.1176741openalex-snapshot
A novice's process of object-oriented programming
inferred← citeshttps://doi.org/10.1145/1315803.1315808openalex-snapshot
The development of computer science
inferred← citeshttps://doi.org/10.1145/1479992.1480019openalex-snapshot
A summary of progress toward proving program correctness
inferred← citeshttps://doi.org/10.1145/1479992.1480034openalex-snapshot
LOGOS and the software engineer
inferred← citeshttps://doi.org/10.1145/1706299.1706337openalex-snapshot
From program verification to program synthesis
inferred← citeshttps://doi.org/10.1145/1707801.1706337openalex-snapshot
From program verification to program synthesis
inferred← citeshttps://doi.org/10.1145/1787234.1787249openalex-snapshot
An interview with Edsger W. Dijkstra
inferred← citeshttps://doi.org/10.1145/2676724.2693166openalex-snapshot
A Decision Procedure for Univariate Real Polynomials in Isabelle/HOL
inferred← citeshttps://doi.org/10.1145/2676724.2693167openalex-snapshot
A Compositional Semantics for Verified Separate Compilation and Linking
inferred← citeshttps://doi.org/10.1145/2804371.2804373openalex-snapshot
DevOps meets formal modelling in high-criticality complex systems
inferred← citeshttps://doi.org/10.1145/3122955.3122962openalex-snapshot
Using Coq to write fast and correct Haskell
inferred← citeshttps://doi.org/10.1145/3341686openalex-snapshot
Narcissus: correct-by-construction derivation of decoders and encoders from binary formats
inferred← citeshttps://doi.org/10.1145/3375258.3375265openalex-snapshot
Is Deductive Program Verification Mature Enough to be Taught to Software Engineers?
inferred← citeshttps://doi.org/10.1145/3544585.3544594openalex-snapshot
Development of Correct Programs
inferred← citeshttps://doi.org/10.1145/3544585.3544597openalex-snapshot
Applying Dijkstra’s Vision to Numerical Software
inferred← citeshttps://doi.org/10.1145/356599.356602openalex-snapshot
An Assessment of Techniques for Proving Program Correctness
inferred← citeshttps://doi.org/10.1145/356635.356640openalex-snapshot
Structured Programming with go to Statements
inferred← citeshttps://doi.org/10.1145/357980.358010openalex-snapshot
Program development by stepwise refinement
inferred← citeshttps://doi.org/10.1145/360569.360659openalex-snapshot
The new math of computer programming
inferred← citeshttps://doi.org/10.1145/361454.361490openalex-snapshot
The production of better mathematical software
inferred← citeshttps://doi.org/10.1145/362575.362577openalex-snapshot
Program development by stepwise refinement
inferred← citeshttps://doi.org/10.1145/363219.363222openalex-snapshot
On multiprogramming, machine coding, and computer organization
inferred← citeshttps://doi.org/10.1145/3714412openalex-snapshot
Bridging the Abstraction Gap: A Systematic Approach to Rule-Based Transformational Design for Embedded Systems
inferred← citeshttps://doi.org/10.1145/382196.382997openalex-snapshot
Structured programming, programming teaching and the language Pascal
inferred← citeshttps://doi.org/10.1145/3843234openalex-snapshot
Refinement Orders for Quantum Programs
inferred← citeshttps://doi.org/10.1145/390016.808454openalex-snapshot
Constructing correct and efficient concurrent programs
inferred← citeshttps://doi.org/10.1145/390016.808459openalex-snapshot
How to write correct programs and know it
inferred← citeshttps://doi.org/10.1145/602461.602463openalex-snapshot
Evolution in software and related areas
inferred← citeshttps://doi.org/10.1145/800027.808459openalex-snapshot
How to write correct programs and know it
inferred← citeshttps://doi.org/10.1145/800118.803840openalex-snapshot
Microprogramming of a burst structure
inferred← citeshttps://doi.org/10.1145/800155.805020openalex-snapshot
A course on software engineering techniques
inferred← citeshttps://doi.org/10.1145/800194.805855openalex-snapshot
The specification of program flow in Madcap 6
inferred← citeshttps://doi.org/10.1145/873684.873718openalex-snapshot
A course on software engineering techniques
inferred← citeshttps://doi.org/10.1145/953224.953226openalex-snapshot
Structured programming, programming teaching and the language Pascal
inferred← citeshttps://doi.org/10.1145/987361.987366openalex-snapshot
The specification of program flow in Madcap 6
inferred← citeshttps://doi.org/10.1145/990555.990636openalex-snapshot
The roots of structured programming
inferred← citeshttps://doi.org/10.1145/990654.990636openalex-snapshot
The roots of structured programming
inferred← citeshttps://doi.org/10.1147/sj.153.0225openalex-snapshot
A model of large program development
inferred← citeshttps://doi.org/10.11606/t.3.2011.tde-02072012-165730openalex-snapshot
Transformação de um modelo de empresa em um modelo de casos de uso seguindo os conceitos de engenharia dirigida por modelos.
inferred← citeshttps://doi.org/10.15388/infedu.2010.07openalex-snapshot
Invariant Based Programming in Education - An Analysis of Student Difficulties
inferred← citeshttps://doi.org/10.15388/infedu.2011.06openalex-snapshot
Teaching Programming in Secondary School: A Pedagogical Content Knowledge Perspective
inferred← citeshttps://doi.org/10.17148/ijarcce.2016.51291openalex-snapshot
Component Based Software Architecture Refinement and Refactoring Method into Extreme Programming
inferred← citeshttps://doi.org/10.21236/ada106750openalex-snapshot
Verification of Concurrent Programs. Part I. The Temporal Framework,
inferred← citeshttps://doi.org/10.21941/kcss/2021/7openalex-snapshot
Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung
inferred← citeshttps://doi.org/10.2200/s01089ed1v01y202104csl013openalex-snapshot
Automated Verification of Concurrent Search Structures
inferred← citeshttps://doi.org/10.23919/ccc58697.2023.10241190openalex-snapshot
Manipulator Motion Planning Based on Prior Knowledge Guidance in Complex Constrained Environment
inferred← citeshttps://doi.org/10.24963/ijcai.2022/260openalex-snapshot
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
inferred← citeshttps://doi.org/10.2514/6.2009-2002openalex-snapshot
Sensing and Autonomous Urban Reconnaissance Using Unmanned Robotic Vehicles
inferred← citeshttps://doi.org/10.2514/6.2009-6216openalex-snapshot
Dynamic Mission Planning of Multiple Unmanned Autonomous Platforms for Sensing and Autonomous Urban Reconnaissance
inferred← citeshttps://doi.org/10.29375/25392115.4463openalex-snapshot
Programar en la universidad. Cuadernillo de apoyo cognitivo para el análisis de los procesos
inferred← citeshttps://doi.org/10.34961/3453openalex-snapshot
Verification of mathematical design documents
inferred← citeshttps://doi.org/10.37965/jait.2020.0023openalex-snapshot
Explainable AI for Workflow Verification in VIPLE
inferred← citeshttps://doi.org/10.3929/ethz-a-006607406openalex-snapshot
A progress preserving refinement
inferred← citeshttps://doi.org/10.4204/eptcs.192.3openalex-snapshot
Second-Order Functions and Theorems in ACL2
inferred← citeshttps://doi.org/10.4204/eptcs.327.12openalex-snapshot
Isomorphic Data Type Transformations
inferred← citeshttps://doi.org/10.4204/eptcs.359.13openalex-snapshot
Syntheto: A Surface Language for APT and ACL2
inferred← citeshttps://doi.org/10.4204/eptcs.79.8openalex-snapshot
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs
showing the first 200 of 218 · page through all 218
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.