On the public citation graph
Electronic Proceedings in Theoretical Computer Science
0 signed · 106 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/3-540-18508-9_24openalex-snapshot
A typed lambda calculus with categorical type constructors
inferredcites →https://doi.org/10.1007/978-0-387-09766-4openalex-snapshot
Encyclopedia of Parallel Computing
inferredcites →https://doi.org/10.1007/978-3-540-27866-5_86openalex-snapshot
Cross Component Optimisation in a High Level Category-Based Language
inferredcites →https://doi.org/10.1007/978-3-540-30477-7_22openalex-snapshot
Build, Augment and Destroy, Universally
inferredcites →https://doi.org/10.1007/978-3-642-16310-4_6openalex-snapshot
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
inferredcites →https://doi.org/10.1007/978-3-662-07964-5openalex-snapshot
Interactive Theorem Proving and Program Development
inferredcites →https://doi.org/10.1007/978-3-662-46734-3_4openalex-snapshot
Reusable Components of Semantic Specifications
inferredcites →https://doi.org/10.1007/bfb0040259openalex-snapshot
Inductively defined types in the Calculus of Constructions
inferredcites →https://doi.org/10.1016/0168-0072(91)90069-xopenalex-snapshot
Inductive types and type constraints in the second-order lambda calculus
inferredcites →https://doi.org/10.1016/0890-5401(88)90005-3openalex-snapshot
The calculus of constructions
inferredcites →https://doi.org/10.1016/j.cpc.2010.05.002openalex-snapshot
Solving lattice QCD systems of equations using mixed precision solvers on GPUs
inferredcites →https://doi.org/10.1016/j.jlap.2004.03.009openalex-snapshot
The origins of structural operational semantics
inferredcites →https://doi.org/10.1016/j.tcs.2004.10.017openalex-snapshot
Iteration and coiteration schemes for higher-order and nested datatypes
inferredcites →https://doi.org/10.1016/s1571-0661(05)80027-1openalex-snapshot
A Core Language for Rewriting
inferredcites →https://doi.org/10.1017/s0956796809990293openalex-snapshot
Ott: Effective tool support for the working semanticist
inferredcites →https://doi.org/10.1017/s0956796899003500openalex-snapshot
A tutorial on the universality and expressiveness of fold
inferredcites →https://doi.org/10.1145/1375527.1375532openalex-snapshot
Implementing Wilson-Dirac operator on the cell broadband engine
inferredcites →https://doi.org/10.1145/1926367.1926378openalex-snapshot
An efficient CELL library for lattice quantum chromodynamics
inferredcites →https://doi.org/10.1147/rd.521.0189openalex-snapshot
Massively parallel quantum chromodynamics
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.2159openalex-snapshot
Effective strategic programming for Java developers
inferred← citeshttps://doi.org/10.1002/stvr.1598openalex-snapshot
Exhaustive test sets for algebraic specifications
inferred← citeshttps://doi.org/10.1007/978-3-030-40608-0_19openalex-snapshot
Context-Sensitive Fusion Grammars Are Universal
inferred← citeshttps://doi.org/10.1007/978-3-031-57259-3openalex-snapshot
Fundamental Approaches to Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-031-57262-3openalex-snapshot
Programming Languages and Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10575-8_29openalex-snapshot
Model Checking Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-20615-8_4openalex-snapshot
Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof
inferred← citeshttps://doi.org/10.1007/978-3-319-23404-5_10openalex-snapshot
Runtime Verification of Expected Energy Consumption in Smartphones
inferred← citeshttps://doi.org/10.1007/s00224-011-9374-zopenalex-snapshot
Representation Theorems for Analytic Machines and Computability of Analytic Functions
inferred← citeshttps://doi.org/10.1007/s10479-014-1664-9openalex-snapshot
Mean-field analysis of hybrid Markov population models with time-inhomogeneous rates
inferred← citeshttps://doi.org/10.1007/s10703-012-0178-9openalex-snapshot
Weighted modal transition systems
inferred← citeshttps://doi.org/10.1016/j.apal.2014.03.001openalex-snapshot
Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions
inferred← citeshttps://doi.org/10.1016/j.apergo.2019.102969openalex-snapshot
User expectations of partial driving automation capabilities and their effect on information design preferences in the vehicle
inferred← citeshttps://doi.org/10.1016/j.ifacol.2022.06.048openalex-snapshot
Measuring the Performance of FreeRTOS on ESP32 Multi-Core
inferred← citeshttps://doi.org/10.1016/j.ijar.2022.11.015openalex-snapshot
A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102395openalex-snapshot
The optics of language-integrated query
inferred← citeshttps://doi.org/10.1080/03057267.2024.2397300openalex-snapshot
IF science AND making AND computing: Insights for project-based learning and primary science curriculum design
inferred← citeshttps://doi.org/10.1080/0952813x.2015.1132271openalex-snapshot
ArgoTriCS – automated triangle construction solver
inferred← citeshttps://doi.org/10.1080/13698230.2025.2478729openalex-snapshot
Six arguments in favor of liquid assemblies
inferred← citeshttps://doi.org/10.1090/conm/609/12129openalex-snapshot
Sheaves That Fail to Represent Matrix Rings
inferred← citeshttps://doi.org/10.1090/noti2186openalex-snapshot
Categories for Planning and Scheduling
inferred← citeshttps://doi.org/10.1093/logcom/exae036openalex-snapshot
The XAI system for answer set programming xASP2
inferred← citeshttps://doi.org/10.1109/formalise66629.2025.00017openalex-snapshot
VeCoGen: Automating Generation of Formally Verified C Code With Large Language Models
inferred← citeshttps://doi.org/10.1109/icnlp69856.2026.11527900openalex-snapshot
Evaluating Logical Reasoning Ability of Large Language Models
inferred← citeshttps://doi.org/10.1109/informatics57926.2022.10083439openalex-snapshot
Natural semantics visualization for domain-specific language
inferred← citeshttps://doi.org/10.1109/ipdpsw63119.2024.00179openalex-snapshot
Parallel Quantum Circuit Extraction from MBQC-Patterns
inferred← citeshttps://doi.org/10.1109/qce57702.2023.00062openalex-snapshot
Sampling problems on a Quantum Computer
inferred← citeshttps://doi.org/10.1109/qce57702.2023.00073openalex-snapshot
Adapting the DisCoCat-Model for Question Answering in the Chinese Language
inferred← citeshttps://doi.org/10.1109/saner-c62648.2024.00025openalex-snapshot
The Quantum Circuit Model is not a Practical Representation of Quantum Software
inferred← citeshttps://doi.org/10.1145/1924520.1924521openalex-snapshot
Complete coinductive subtyping for abstract compilation of object-oriented languages
inferred← citeshttps://doi.org/10.1145/2037509.2037522openalex-snapshot
An efficient parallel stochastic simulation method for analysis of nonviral gene delivery systems
inferred← citeshttps://doi.org/10.1145/2076674.2076679openalex-snapshot
Coinductive big-step operational semantics for type soundness of Java-like languages
inferred← citeshttps://doi.org/10.1145/2237796.2237808openalex-snapshot
Model querying with graphical notation of QVT relations
inferred← citeshttps://doi.org/10.1145/2503778.2503781openalex-snapshot
Understanding idiomatic traversals backwards and forwards
inferred← citeshttps://doi.org/10.1145/2506583.2506646openalex-snapshot
Simulating Anti-adhesive and Antibacterial Bifunctional Polymers for Surface Coating using BioScape
inferred← citeshttps://doi.org/10.1145/2541329.2541340openalex-snapshot
Efficient and fully abstract routing of futures in object network overlays
inferred← citeshttps://doi.org/10.1145/2578854.2503781openalex-snapshot
Understanding idiomatic traversals backwards and forwards
inferred← citeshttps://doi.org/10.1145/2643135.2643161openalex-snapshot
Proofs in continuation-passing style
inferred← citeshttps://doi.org/10.1145/2841316openalex-snapshot
Verified Functional Programming in Agda
inferred← citeshttps://doi.org/10.1145/2841316.2841318openalex-snapshot
Functional Programming with the Booleans
inferred← citeshttps://doi.org/10.1145/2841316.2841319openalex-snapshot
Introduction to Constructive Proof
inferred← citeshttps://doi.org/10.1145/2841316.2841324openalex-snapshot
Generating Agda Parsers with gratr
inferred← citeshttps://doi.org/10.1145/2841316.2841325openalex-snapshot
A Case Study: Huffman Encoding and Decoding
inferred← citeshttps://doi.org/10.1145/2841316.2841327openalex-snapshot
Intuitionistic Logic and Kripke Semantics
inferred← citeshttps://doi.org/10.1145/2933575.2934550openalex-snapshot
Interacting Frobenius Algebras are Hopf
inferred← citeshttps://doi.org/10.1145/2966268.2966270openalex-snapshot
A Rewrite System for Proof Constructivization
inferred← citeshttps://doi.org/10.1145/3001878.3001883openalex-snapshot
Benefits of session types for software development
inferred← citeshttps://doi.org/10.1145/3060140openalex-snapshot
An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation
inferred← citeshttps://doi.org/10.1145/3281028openalex-snapshot
Interval vs. Point Temporal Logic Model Checking
inferred← citeshttps://doi.org/10.1145/3594671.3594687openalex-snapshot
Scaling W State Circuits in the qudit Clifford Hierarchy
inferred← citeshttps://doi.org/10.1145/3610612.3610617openalex-snapshot
stableKanren: Integrating Stable Model Semantics with miniKanren
inferred← citeshttps://doi.org/10.1145/3649811openalex-snapshot
Quantum Control Machine: The Limits of Control Flow in Quantum Programming
inferred← citeshttps://doi.org/10.1145/3694906.3743325openalex-snapshot
POPQC: Parallel Optimization for Quantum Circuits
inferred← citeshttps://doi.org/10.13180/icres.2022.18-19.07.009openalex-snapshot
A framework for testimony-infused automated adjudicative dynamic multi-agent reasoning in ethically charged scenarios
inferred← citeshttps://doi.org/10.1613/jair.1.11376openalex-snapshot
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity
inferred← citeshttps://doi.org/10.22331/q-2022-06-07-729openalex-snapshot
Architecture aware compilation of quantum circuits via lazy synthesis
inferred← citeshttps://doi.org/10.23919/jsee.2020.000006openalex-snapshot
Multi-agent system application in accordance with game theory in bi-directional coordination network model
inferred← citeshttps://doi.org/10.29007/l3k2openalex-snapshot
Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge)
inferred← citeshttps://doi.org/10.32782/cmis/2353-75openalex-snapshot
Analysis of the Verification Approaches for the Cyber-Physical Systems
inferred← citeshttps://doi.org/10.36959/673/366openalex-snapshot
On Model Checking of a Robotic Mechanism
inferred← citeshttps://doi.org/10.4204/eptcs.243.1openalex-snapshot
A Gentle Introduction to Epistemic Planning: The DEL Approach
inferred← citeshttps://doi.org/10.4204/eptcs.323.8openalex-snapshot
Enriched Lawvere Theories for Operational Semantics
inferred← citeshttps://doi.org/10.4204/eptcs.333.6openalex-snapshot
A diagrammatic approach to symmetric lenses
inferred← citeshttps://doi.org/10.4204/eptcs.335.26openalex-snapshot
Reasoning about Emergence of Collective Memory
inferred← citeshttps://doi.org/10.4204/eptcs.358.3openalex-snapshot
Combining First-Order Classical and Intuitionistic Logic
inferred← citeshttps://doi.org/10.4204/eptcs.368.5openalex-snapshot
Asynchronous Functional Sessions: Cyclic and Concurrent
inferred← citeshttps://doi.org/10.4204/eptcs.41.8openalex-snapshot
Robustness of Equations Under Operational Extensions
inferred← citeshttps://doi.org/10.4204/eptcs.88.6openalex-snapshot
A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-
inferred← citeshttps://doi.org/10.46298/entics.12281openalex-snapshot
Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming
inferred← citeshttps://doi.org/10.46298/lmcs-18(1:10)2022openalex-snapshot
Normalization for planar string diagrams and a quadratic equivalence algorithm
inferred← citeshttps://doi.org/10.7561/sacs.2017.1.19openalex-snapshot
A Provably Correct Compilation of Functional Languages into Scripting Languages
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.