On the public citation graph

Creating high-performance, statically type-safe network applications

https://doi.org/10.48456/tr-775
0 signed · 195 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.1002/(sici)1097-024x(19980725)28:9<963::aid-spe179>3.0.co;2-9openalex-snapshot
Building adaptive systems using ensemble
inferredcites →https://doi.org/10.1002/1097-024x(200009)30:11<1203::aid-spe338>3.0.co;2-nopenalex-snapshot
An open graph visualization system and its applications to software engineering
inferredcites →https://doi.org/10.1002/spe.515openalex-snapshot
Buffer overflow and format string overflow vulnerabilities
inferredcites →https://doi.org/10.1007/1-4020-8141-3_50openalex-snapshot
Regular Tree Language Recognition with Static Information
inferredcites →https://doi.org/10.1007/10722468_13openalex-snapshot
A Language Framework for Expressing Checkable Properties of Dynamic Software
inferredcites →https://doi.org/10.1007/3-540-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-15975-4_26openalex-snapshot
Miranda: A non-strict functional language with polymorphic types
inferredcites →https://doi.org/10.1007/3-540-36388-2_7openalex-snapshot
Web Programming with SMLserver
inferredcites →https://doi.org/10.1007/3-540-44585-4_15openalex-snapshot
Verifying Network Protocol Implementations by Symbolic Refinement Checking
inferredcites →https://doi.org/10.1007/3-540-44919-1_28openalex-snapshot
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets
inferredcites →https://doi.org/10.1007/3-540-45397-0openalex-snapshot
Concurrent Object-Oriented Programming and Petri Nets
inferredcites →https://doi.org/10.1007/3-540-45657-0_45openalex-snapshot
Temporal-Safety Proofs for Systems Code
inferredcites →https://doi.org/10.1007/3-540-45740-2_6openalex-snapshot
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets
inferredcites →https://doi.org/10.1007/3-540-45821-2_4openalex-snapshot
DataScript- A Specification and Scripting Language for Binary Data
inferredcites →https://doi.org/10.1007/3-540-48683-6_38openalex-snapshot
Abstract and Model Check while You Prove
inferredcites →https://doi.org/10.1007/3-540-49538-x_18openalex-snapshot
Interface-Based Protocol Specification of Open Systems using PSL
inferredcites →https://doi.org/10.1007/3-540-53863-1_31openalex-snapshot
Coloured petri nets: A high level language for system design and analysis
inferredcites →https://doi.org/10.1007/3-540-63166-6_10openalex-snapshot
Construction of abstract state graphs with PVS
inferredcites →https://doi.org/10.1007/978-1-4419-8598-9openalex-snapshot
A Theory of Objects
inferredcites →https://doi.org/10.1007/978-1-4612-0931-7openalex-snapshot
The Temporal Logic of Reactive and Concurrent Systems
inferredcites →https://doi.org/10.1007/978-1-4613-1989-4_6openalex-snapshot
Parlog: Parallel Programming in Logic
inferredcites →https://doi.org/10.1007/978-1-4757-3472-0_16openalex-snapshot
Communicating Sequential Processes
inferredcites →https://doi.org/10.1007/978-3-540-24725-8_15openalex-snapshot
Linear Types for Packet Processing
inferredcites →https://doi.org/10.1007/978-3-540-24730-2_30openalex-snapshot
Refining Approximations in Software Predicate Abstraction
inferredcites →https://doi.org/10.1007/978-3-540-24732-6_17openalex-snapshot
Translation from Adapted UML to Promela for CORBA-Based Applications
inferredcites →https://doi.org/10.1007/978-3-540-25935-0_3openalex-snapshot
A Gentle Introduction to Multi-stage Programming
inferredcites →https://doi.org/10.1007/978-3-540-27864-1_2openalex-snapshot
The Blast Query Language for Software Verification
inferredcites →https://doi.org/10.1007/978-3-540-30557-6_18openalex-snapshot
A Full Pattern-Based Paradigm for XML Query Processing
inferredcites →https://doi.org/10.1007/978-3-540-31984-9_2openalex-snapshot
Checking Memory Safety with Blast
inferredcites →https://doi.org/10.1007/978-3-642-95279-1openalex-snapshot
Revised Report on the Algorithmic Language Algol 68
inferredcites →https://doi.org/10.1007/978-3-662-03811-6_5openalex-snapshot
Type and Effect Systems
inferredcites →https://doi.org/10.1007/bf00264434openalex-snapshot
Deterministic buffer synchronization of sequential processes
inferredcites →https://doi.org/10.1007/s100090050043openalex-snapshot
Model checking JAVA programs using JAVA PathFinder
inferredcites →https://doi.org/10.1007/s100090200075openalex-snapshot
inferredcites →https://doi.org/10.1007/springerreference_25828openalex-snapshot
structured programming
inferredcites →https://doi.org/10.1007/springerreference_27387openalex-snapshot
Transmission Control Protocol
inferredcites →https://doi.org/10.1016/0022-0000(78)90014-4openalex-snapshot
A theory of type polymorphism in programming
inferredcites →https://doi.org/10.1016/0141-9331(87)90510-2openalex-snapshot
The implementation of functional programming languages
inferredcites →https://doi.org/10.1016/0169-7552(87)90084-5openalex-snapshot
An introduction to Estelle: A specification language for distributed systems
inferredcites →https://doi.org/10.1016/0304-3975(90)90147-aopenalex-snapshot
Deforestation: transforming programs to eliminate trees
inferredcites →https://doi.org/10.1016/c2009-0-14341-6openalex-snapshot
The Lambda Calculus - Its Syntax and Semantics
inferredcites →https://doi.org/10.1016/s0049-237x(08)72018-4openalex-snapshot
A Basis for a Mathematical Theory of Computation )
inferredcites →https://doi.org/10.1016/s0049-237x(09)70099-0openalex-snapshot
A Basis for a Mathematical Theory of Computation
inferredcites →https://doi.org/10.1016/s0166-3615(02)00139-2openalex-snapshot
An XML-based process definition language for integrated process management
inferredcites →https://doi.org/10.1016/s1389-1286(01)00154-2openalex-snapshot
SafetyNet: A language-based approach to programmable networks
inferredcites →https://doi.org/10.1017/cbo9780511530104openalex-snapshot
Purely Functional Data Structures
inferredcites →https://doi.org/10.1017/cbo9781139173018openalex-snapshot
The Functional Approach to Programming
inferredcites →https://doi.org/10.1017/s095679680200432xopenalex-snapshot
Developing a high-performance web server in Concurrent Haskell
inferredcites →https://doi.org/10.1023/a:1014403914699openalex-snapshot
A Network Protocol Stack in Standard ML
inferredcites →https://doi.org/10.1023/a:1022920129859openalex-snapshot
Model Checking Programs
inferredcites →https://doi.org/10.1090/s0002-9947-1969-0253905-6openalex-snapshot
The principle type-scheme of an object in combinatory logic
inferredcites →https://doi.org/10.1093/comjnl/32.2.98openalex-snapshot
Why Functional Programming Matters
inferredcites →https://doi.org/10.1109/32.489078openalex-snapshot
Evaluating deadlock detection methods for concurrent software
inferredcites →https://doi.org/10.1109/32.54292openalex-snapshot
STATEMATE: a working environment for the development of complex reactive systems
inferredcites →https://doi.org/10.1109/5.24143openalex-snapshot
Petri nets: Properties, analysis and applications
inferredcites →https://doi.org/10.1109/52.976940openalex-snapshot
Improving security using extensible lightweight static analysis
inferredcites →https://doi.org/10.1109/csac.2005.22openalex-snapshot
e-NeXSh: Achieving an Effectively Non-Executable Stack and Heap via System-Call Policing
inferredcites →https://doi.org/10.1109/csac.2005.39openalex-snapshot
Model Checking An Entire Linux Distribution for Security Violations
inferredcites →https://doi.org/10.1109/hpca.2005.29openalex-snapshot
SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs
inferredcites →https://doi.org/10.1109/infcom.1999.749260openalex-snapshot
Web caching and Zipf-like distributions: evidence and implications
inferredcites →https://doi.org/10.1109/infocom.2006.312openalex-snapshot
An Analysis of the Skype Peer-to-Peer Internet Telephony Protocol
inferredcites →https://doi.org/10.1109/jcn.2001.6596875openalex-snapshot
The price of safety in an active network
inferredcites →https://doi.org/10.1109/secpri.1995.398932openalex-snapshot
Capacity estimation and auditability of network covert channels
inferredcites →https://doi.org/10.1109/secpri.1997.601338openalex-snapshot
Analysis of a denial of service attack on TCP
inferredcites →https://doi.org/10.1109/secpri.2003.1199334openalex-snapshot
Using memory errors to attack a virtual machine
inferredcites →https://doi.org/10.1109/tc.1986.1676819openalex-snapshot
Graph-Based Algorithms for Boolean Function Manipulation
inferredcites →https://doi.org/10.1109/tse.1986.6312935openalex-snapshot
Data structured programming: Program design without arrays and pointers
inferredcites →https://doi.org/10.1109/tse.2002.995426openalex-snapshot
An automated verification method for distributed systems software based on model extraction
inferredcites →https://doi.org/10.1112/plms/s2-42.1.230openalex-snapshot
On Computable Numbers, with an Application to the Entscheidungsproblem
inferredcites →https://doi.org/10.1117/12.512942openalex-snapshot
Internet traffic growth: sources and implications
inferredcites →https://doi.org/10.1145/1005140.1005152openalex-snapshot
New covert channels in HTTP
inferredcites →https://doi.org/10.1145/1024393.1024404openalex-snapshot
Secure program execution via dynamic information flow tracking
inferredcites →https://doi.org/10.1145/1030083.1030124openalex-snapshot
On the effectiveness of address-space randomization
inferredcites →https://doi.org/10.1145/1040305.1040325openalex-snapshot
Combinators for bi-directional tree transformations
inferredcites →https://doi.org/10.1145/1055626.1055632openalex-snapshot
An architecture a day keeps the hacker away
inferredcites →https://doi.org/10.1145/1064978.1065019openalex-snapshot
Checking type safety of foreign function calls
inferredcites →https://doi.org/10.1145/1064978.1065046openalex-snapshot
PADS
inferredcites →https://doi.org/10.1145/1073001.1073009openalex-snapshot
The battle against phishing
inferredcites →https://doi.org/10.1145/1080091.1080123openalex-snapshot
Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets
inferredcites →https://doi.org/10.1145/1095809.1095824openalex-snapshot
Vigilante
inferredcites →https://doi.org/10.1145/1096000.1096004openalex-snapshot
Detection and prevention of stack buffer overflow attacks
inferredcites →https://doi.org/10.1145/1096536.1096538openalex-snapshot
The main name system
inferredcites →https://doi.org/10.1145/1096536.1096541openalex-snapshot
A clean slate 4D approach to network control and management
inferredcites →https://doi.org/10.1145/1111037.1111038openalex-snapshot
Why dependent types matter
inferredcites →https://doi.org/10.1145/1111037.1111039openalex-snapshot
The next 700 data description languages
inferredcites →https://doi.org/10.1145/1111037.1111042openalex-snapshot
Formal certification of a compiler back-end or
inferredcites →https://doi.org/10.1145/1111037.1111059openalex-snapshot
Hybrid type checking
inferredcites →https://doi.org/10.1145/1165389.945448openalex-snapshot
Model-carrying code
inferredcites →https://doi.org/10.1145/1165389.945462openalex-snapshot
Xen and the art of virtualization
inferredcites →https://doi.org/10.1145/1165389.945468openalex-snapshot
RacerX
inferredcites →https://doi.org/10.1145/1189256.1189259openalex-snapshot
Using model checking to find serious file system errors
inferredcites →https://doi.org/10.1145/136035.136043openalex-snapshot
Symbolic Boolean manipulation with ordered binary-decision diagrams
inferredcites →https://doi.org/10.1145/152739.152747openalex-snapshot
Infant mortality and generational garbage collection
inferredcites →https://doi.org/10.1145/166237.166262openalex-snapshot
The importance of non-data touching processing overheads in TCP/IP
inferredcites →https://doi.org/10.1145/190809.190318openalex-snapshot
A structured TCP in standard ML.
inferredcites →https://doi.org/10.1145/190809.190341openalex-snapshot
USC
inferredcites →https://doi.org/10.1145/205447.205462openalex-snapshot
Congestion avoidance and control
inferredcites →https://doi.org/10.1145/229542.229544openalex-snapshot
Polymorphic typing of variables and references
inferredcites →https://doi.org/10.1145/230514.571645openalex-snapshot
Introduction to the Theory of Computation
inferredcites →https://doi.org/10.1145/231379.231407openalex-snapshot
Optimizing ML with run-time code generation
inferredcites →https://doi.org/10.1145/234313.234418openalex-snapshot
Type systems
inferredcites →https://doi.org/10.1145/2442776.2442783openalex-snapshot
Automatic predicate abstraction of C programs
inferredcites →https://doi.org/10.1145/2442776.2442786openalex-snapshot
CCured
inferredcites →https://doi.org/10.1145/248156.248163openalex-snapshot
Generating efficient protocol code from an abstract specification
inferredcites →https://doi.org/10.1145/258948.258967openalex-snapshot
The development of Erlang
inferredcites →https://doi.org/10.1145/263699.263712openalex-snapshot
Proof-carrying code
inferredcites →https://doi.org/10.1145/277650.277727openalex-snapshot
Run-time code generation and modal-ML
inferredcites →https://doi.org/10.1145/277650.277732openalex-snapshot
Eliminating array bound checking through dependent types
inferredcites →https://doi.org/10.1145/289423.289431openalex-snapshot
PLAN
inferredcites →https://doi.org/10.1145/292540.292546openalex-snapshot
Quasi-linear types
inferredcites →https://doi.org/10.1145/292540.292560openalex-snapshot
Dependent types in practical programming
inferredcites →https://doi.org/10.1145/316188.316200openalex-snapshot
A readable TCP in the Prolac protocol language
inferredcites →https://doi.org/10.1145/316188.316214openalex-snapshot
BPF+
inferredcites →https://doi.org/10.1145/337180.337234openalex-snapshot
Bandera
inferredcites →https://doi.org/10.1145/347057.347563openalex-snapshot
Packet types
inferredcites →https://doi.org/10.1145/353323.353382openalex-snapshot
Enforceable security policies
inferredcites →https://doi.org/10.1145/358198.358210openalex-snapshot
Reflections on trusting trust
inferredcites →https://doi.org/10.1145/359576.359579openalex-snapshot
Can programming be liberated from the von Neumann style?
inferredcites →https://doi.org/10.1145/360933.360975openalex-snapshot
Guarded commands, nondeterminacy and formal derivation of programs
inferredcites →https://doi.org/10.1145/362575.362577openalex-snapshot
Program development by stepwise refinement
inferredcites →https://doi.org/10.1145/365230.365257openalex-snapshot
The next 700 programming languages
inferredcites →https://doi.org/10.1145/366193.366201openalex-snapshot
Revised report on the algorithmic language ALGOL 60
inferredcites →https://doi.org/10.1145/367177.367199openalex-snapshot
Recursive functions of symbolic expressions and their computation by machine, Part I
inferredcites →https://doi.org/10.1145/378795.378797openalex-snapshot
Design and implementation of generics for the .NET Common language runtime
inferredcites →https://doi.org/10.1145/502034.502041openalex-snapshot
Bugs as deviant behavior
inferredcites →https://doi.org/10.1145/505202.505223openalex-snapshot
DNS performance and the effectiveness of caching
inferredcites →https://doi.org/10.1145/511446.511498openalex-snapshot
Abstracting application-level web security
inferredcites →https://doi.org/10.1145/512760.512773openalex-snapshot
A Metalanguage for interactive proof in LCF
inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot
Automatic verification of finite-state concurrent systems using temporal logic specifications
inferredcites →https://doi.org/10.1145/581478.581484openalex-snapshot
Contracts for higher-order functions
inferredcites →https://doi.org/10.1145/586110.586142openalex-snapshot
MOPS
inferredcites →https://doi.org/10.1145/586110.586145openalex-snapshot
Mimicry attacks on host-based intrusion detection systems
inferredcites →https://doi.org/10.1145/592849.592851openalex-snapshot
Native code compilation of Erlang's bit syntax
inferredcites →https://doi.org/10.1145/592849.592853openalex-snapshot
World-class product certification using Erlang
inferredcites →https://doi.org/10.1145/596980.596983openalex-snapshot
Information flow inference for ML
inferredcites →https://doi.org/10.1145/66093.66095openalex-snapshot
The internet worm program: an analysis
inferredcites →https://doi.org/10.1145/72551.72554openalex-snapshot
Conception, evolution, and application of functional programming languages
inferredcites →https://doi.org/10.1145/767193.767195openalex-snapshot
XDuce
inferredcites →https://doi.org/10.1145/800025.1198360openalex-snapshot
History of LISP
inferredcites →https://doi.org/10.1145/800087.802799openalex-snapshot
HOPE
inferredcites →https://doi.org/10.1145/800223.806766openalex-snapshot
The semantic elegance of applicative languages
inferredcites →https://doi.org/10.1145/876638.876643openalex-snapshot
Counterexample-guided abstraction refinement for symbolic model checking
inferredcites →https://doi.org/10.1145/944705.944711openalex-snapshot
CDuce
inferredcites →https://doi.org/10.1145/948187.948190openalex-snapshot
A taxonomy of computer worms
inferredcites →https://doi.org/10.1145/966137.966138openalex-snapshot
Formal hardware specification languages for protocol compliance verification
inferredcites →https://doi.org/10.1201/9780203490044-20openalex-snapshot
Hypertext Transfer Protocol (HTTP)
inferredcites →https://doi.org/10.1215/s0012-7094-36-00227-2openalex-snapshot
λ-definability and recursiveness
inferredcites →https://doi.org/10.17487/rfc0788openalex-snapshot
Simple Mail Transfer Protocol
inferredcites →https://doi.org/10.17487/rfc0959openalex-snapshot
File Transfer Protocol
inferredcites →https://doi.org/10.17487/rfc1000openalex-snapshot
Request For Comments reference guide
inferredcites →https://doi.org/10.17487/rfc1034openalex-snapshot
Domain names - concepts and facilities
inferredcites →https://doi.org/10.17487/rfc1035openalex-snapshot
Domain names - implementation and specification
inferredcites →https://doi.org/10.17487/rfc1071openalex-snapshot
Computing the Internet checksum
inferredcites →https://doi.org/10.17487/rfc1141openalex-snapshot
Incremental updating of the Internet checksum
inferredcites →https://doi.org/10.17487/rfc1267openalex-snapshot
Border Gateway Protocol 3 (BGP-3)
inferredcites →https://doi.org/10.17487/rfc1777openalex-snapshot
Lightweight Directory Access Protocol
inferredcites →https://doi.org/10.17487/rfc1794openalex-snapshot
DNS Support for Load Balancing
inferredcites →https://doi.org/10.17487/rfc2026openalex-snapshot
The Internet Standards Process -- Revision 3
inferredcites →https://doi.org/10.17487/rfc2119openalex-snapshot
Key words for use in RFCs to Indicate Requirement Levels
inferredcites →https://doi.org/10.17487/rfc2246openalex-snapshot
The TLS Protocol Version 1.0
inferredcites →https://doi.org/10.17487/rfc2440openalex-snapshot
OpenPGP Message Format
inferredcites →https://doi.org/10.17487/rfc2671openalex-snapshot
Extension Mechanisms for DNS (EDNS0)
inferredcites →https://doi.org/10.17487/rfc2794openalex-snapshot
Mobile IP Network Access Identifier Extension for IPv4
inferredcites →https://doi.org/10.17487/rfc3054openalex-snapshot
Megaco IP Phone Media Gateway Application Profile
inferredcites →https://doi.org/10.17487/rfc3396openalex-snapshot
Encoding Long Options in the Dynamic Host Configuration Protocol (DHCPv4)
inferredcites →https://doi.org/10.17487/rfc3494openalex-snapshot
Lightweight Directory Access Protocol version 2 (LDAPv2) to Historic Status
inferredcites →https://doi.org/10.17487/rfc4234openalex-snapshot
Augmented BNF for Syntax Specifications: ABNF
inferredcites →https://doi.org/10.17487/rfc4251openalex-snapshot
The Secure Shell (SSH) Protocol Architecture
inferredcites →https://doi.org/10.17487/rfc4252openalex-snapshot
The Secure Shell (SSH) Authentication Protocol
inferredcites →https://doi.org/10.17487/rfc4253openalex-snapshot
The Secure Shell (SSH) Transport Layer Protocol
inferredcites →https://doi.org/10.17487/rfc4254openalex-snapshot
The Secure Shell (SSH) Connection Protocol
inferredcites →https://doi.org/10.17487/rfc4255openalex-snapshot
Using DNS to Securely Publish Secure Shell (SSH) Key Fingerprints
inferredcites →https://doi.org/10.17487/rfc4256openalex-snapshot
Generic Message Exchange Authentication for the Secure Shell Protocol (SSH)
inferredcites →https://doi.org/10.17487/rfc4344openalex-snapshot
The Secure Shell (SSH) Transport Layer Encryption Modes
inferredcites →https://doi.org/10.17487/rfc5321openalex-snapshot
Simple Mail Transfer Protocol
inferredcites →https://doi.org/10.2307/2218270openalex-snapshot
Computer Programming and Formal Systems.
inferredcites →https://doi.org/10.48456/tr-613openalex-snapshot
Abstracting application-level security policy for ubiquitous computing
inferredcites →https://doi.org/10.48456/tr-730openalex-snapshot
Adaptive evaluation of non-strict programs
inferredcites →https://doi.org/10.5555/1251203.1251223openalex-snapshot
Live migration of virtual machines
inferredcites →https://doi.org/10.5555/1251229.1251230openalex-snapshot
Checking system rules using system-specific, programmer-written compiler extensions
inferredcites →https://doi.org/10.5555/336146.336156openalex-snapshot
Slow memory: the rising cost of optimism
inferredcites →https://doi.org/10.5555/55823.55861openalex-snapshot
Statemate: a working environment for the development of complex reactive systems

What points at this work

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

inferred← citeshttps://doi.org/10.1109/les.2012.2208617openalex-snapshot
Zebra: Building Efficient Network Message Parsers for Embedded Systems
inferred← citeshttps://doi.org/10.1109/tse.2010.64openalex-snapshot
Zebu: A Language-Based Approach for Network Protocol Message Processing
inferred← citeshttps://doi.org/10.1145/1272996.1273009openalex-snapshot
Melange
inferred← citeshttps://doi.org/10.1145/1455258.1455259openalex-snapshot
Vigilante
inferred← citeshttps://doi.org/10.1145/1863543.1863557openalex-snapshot
Using functional programming within an industrial product group
inferred← citeshttps://doi.org/10.1145/1932681.1863557openalex-snapshot
Using functional programming within an industrial product group
inferred← citeshttps://doi.org/10.1145/2480362.2480643openalex-snapshot
Improving the performance of message parsers for embedded systems
inferred← citeshttps://doi.org/10.1145/2723872.2723876openalex-snapshot
Raft Refloated
inferred← citeshttps://doi.org/10.14236/ewic/vocs2010.6openalex-snapshot
Multiscale not Multicore: Efficient Heterogeneous Cloud Computing
inferred← citeshttps://doi.org/10.31979/etd.mjrc-2apuopenalex-snapshot
Validating Key-value Based Implementations of the Raft Consensus Algorithm for Distributed Systems
inferred← citeshttps://doi.org/10.48456/tr-769openalex-snapshot
Kilim: A server framework with lightweight actors, isolation types and zero-copy messaging
inferred← citeshttps://doi.org/10.48456/tr-857openalex-snapshot
ARC: Analysis of Raft Consensus
inferred← citeshttps://doi.org/10.5555/1811182.1811191openalex-snapshot
Multiscale not multicore: efficient heterogeneous cloud computing
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.