On the public citation graph

Foundations of Computer Science

https://doi.org/10.1007/bfb0052071

0 signed · 59 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 points at this work

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

inferred← citeshttps://doi.org/10.1002/9781394235971.biblioopenalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1007/978-1-4471-0109-3_16openalex-snapshot

A Topological Framework for Modelling Diagrammatic Reasoning Tasks

inferred← citeshttps://doi.org/10.1007/978-3-540-87531-4_6openalex-snapshot

Recursion Schemata for NC k

inferred← citeshttps://doi.org/10.1007/978-3-642-10622-4_7openalex-snapshot

A Logic for Formal Verification of Quantum Programs

inferred← citeshttps://doi.org/10.1007/978-94-015-8533-0_6openalex-snapshot

Implicit and Explicit Definability in Modal and Temporal Logics

inferred← citeshttps://doi.org/10.1007/bfb0008476openalex-snapshot

On the control of discrete-event systems

inferred← citeshttps://doi.org/10.1007/s11432-014-5160-2openalex-snapshot

Secure linear system computation in the presence of malicious adversaries

inferred← citeshttps://doi.org/10.1016/b978-0-12-818803-3.00022-2openalex-snapshot

Learning in Reproducing Kernel Hilbert Spaces

inferred← citeshttps://doi.org/10.1016/b978-0-44-329238-5.00017-2openalex-snapshot

Learning in reproducing kernel Hilbert spaces

inferred← citeshttps://doi.org/10.1016/j.ejor.2016.11.033openalex-snapshot

Scheduling double round-robin tournaments with divisional play using constraint programming

inferred← citeshttps://doi.org/10.1016/j.ejor.2018.04.001openalex-snapshot

Truthfulness in advertising? Approximation mechanisms for knapsack bidders

inferred← citeshttps://doi.org/10.1016/j.engappai.2021.104265openalex-snapshot

Collective multi agent deployment for wireless sensor network maintenance

inferred← citeshttps://doi.org/10.1016/j.future.2018.04.094openalex-snapshot

Distributed nearest neighbor classification for large-scale multi-label data on spark

inferred← citeshttps://doi.org/10.1016/j.ic.2015.12.009openalex-snapshot

Two function algebras defining functions in NCk boolean circuits

inferred← citeshttps://doi.org/10.1016/j.ipl.2016.03.012openalex-snapshot

Correlation lower bounds from correlation upper bounds

inferred← citeshttps://doi.org/10.1016/j.jalgebra.2012.03.020openalex-snapshot

Algebraic and combinatorial structures on pairs of twin binary trees

inferred← citeshttps://doi.org/10.1016/j.neunet.2020.01.035openalex-snapshot

Fast discrete cross-modal hashing with semantic consistency

inferred← citeshttps://doi.org/10.1016/j.patter.2022.100471openalex-snapshot

Relevance, redundancy, and complementarity trade-off (RRCT): A principled, generic, robust feature-selection tool

inferred← citeshttps://doi.org/10.1016/j.tcs.2012.12.006openalex-snapshot

Single machine scheduling with scenarios

inferred← citeshttps://doi.org/10.1016/j.tcs.2020.01.035openalex-snapshot

A computational complexity analysis of tunable type inference for Generic Universe Types

inferred← citeshttps://doi.org/10.1016/j.tcs.2021.08.025openalex-snapshot

Symmetric PMC model of diagnosis, b-matchings in graphs and fault identification in t-diagnosable systems

inferred← citeshttps://doi.org/10.1038/s42254-021-00313-6openalex-snapshot

Prospects for quantum enhancement with diabatic quantum annealing

inferred← citeshttps://doi.org/10.1080/18756891.2011.9727874openalex-snapshot

Applicable Prevention Method of Braess Paradox in Urban Traffic Flow Guidance System

inferred← citeshttps://doi.org/10.1093/bioinformatics/btt202openalex-snapshot

NETAL: a new graph-based method for global alignment of protein–protein interaction networks

inferred← citeshttps://doi.org/10.1093/bioinformatics/bty611openalex-snapshot

Metagenomic binning through low-density hashing

inferred← citeshttps://doi.org/10.1103/physreva.75.012104openalex-snapshot

Preparation of pure and mixed polarization qubits and the direct measurement of figures of merit

inferred← citeshttps://doi.org/10.1103/physreva.78.012356openalex-snapshot

Finite automata for caching in matrix product algorithms

inferred← citeshttps://doi.org/10.1103/physreva.96.022125openalex-snapshot

Random access codes and nonlocal resources

inferred← citeshttps://doi.org/10.1103/physreva.99.062340openalex-snapshot

Dynamical fidelity susceptibility of decoherence-free subspaces

inferred← citeshttps://doi.org/10.1103/physrevx.6.031010openalex-snapshot

Tunneling and Speedup in Quantum Optimization for Permutation-Symmetric Problems

inferred← citeshttps://doi.org/10.1108/02640470310470480openalex-snapshot

Informatics: a brief survey

inferred← citeshttps://doi.org/10.1109/access.2022.3228563openalex-snapshot

A Unified Approach to Semantic Information and Communication Based on Probabilistic Logic

inferred← citeshttps://doi.org/10.1109/fie.2014.7044134openalex-snapshot

Digital technology teachers' perceptions of computer science: It is not all about programming

inferred← citeshttps://doi.org/10.1109/fuzz52849.2023.10309699openalex-snapshot

Knowledge Graph-Based Genetic Fuzzy Agent for Human Intelligence and Machine Co-Learning

inferred← citeshttps://doi.org/10.1109/iccworkshops50388.2021.9473648openalex-snapshot

Iterative Resolution and Optimal Scheduling of Blind Retransmissions for Multi-user URLLC

inferred← citeshttps://doi.org/10.1109/icite54466.2022.9759866openalex-snapshot

Implementation of Management Network and Users using Radius at the Bandung City Service Office

inferred← citeshttps://doi.org/10.1109/tbdata.2021.3052516openalex-snapshot

Efficient and Privacy Preserving Approximation of Distributed Statistical Queries

inferred← citeshttps://doi.org/10.1109/twc.2002.806366openalex-snapshot

Downlink joint rate and power allocation in cellular multirate WCDMA systems

inferred← citeshttps://doi.org/10.1109/wpc.2000.852477openalex-snapshot

Understanding some software quality aspects from architecture and design models

inferred← citeshttps://doi.org/10.1126/science.aad9480openalex-snapshot

Realization of a scalable Shor algorithm

inferred← citeshttps://doi.org/10.1137/0205037openalex-snapshot

Data Types as Lattices

inferred← citeshttps://doi.org/10.1142/s0129054119400197openalex-snapshot

Leakage-Resilient Hierarchical Identity-Based Encryption with Recipient Anonymity

inferred← citeshttps://doi.org/10.1142/s0218126621500948openalex-snapshot

An Efficient Design for Testability Approach of Reversible Logic Circuits

inferred← citeshttps://doi.org/10.1142/s0218195906002130openalex-snapshot

INCIDENCE CONSTRAINTS: A COMBINATORIAL APPROACH

inferred← citeshttps://doi.org/10.1145/2503778.2503784openalex-snapshot

Splittable pseudorandom number generators using cryptographic hashing

inferred← citeshttps://doi.org/10.1145/2578854.2503784openalex-snapshot

Splittable pseudorandom number generators using cryptographic hashing

inferred← citeshttps://doi.org/10.1145/3375660openalex-snapshot

Succinct Range Filters

inferred← citeshttps://doi.org/10.1145/3450262openalex-snapshot

Succinct range filters

inferred← citeshttps://doi.org/10.1145/3530776openalex-snapshot

Approximating Decision Diagrams for Quantum Circuit Simulation

inferred← citeshttps://doi.org/10.1145/356876.356879openalex-snapshot

Validation, Verification, and Testing of Computer Software

inferred← citeshttps://doi.org/10.1145/3757490openalex-snapshot

Libertas: Privacy-Preserving Collaborative Computation for Decentralised Personal Data Stores

inferred← citeshttps://doi.org/10.1145/376957.376961openalex-snapshot

The ellipsoidal skeleton in medical applications

inferred← citeshttps://doi.org/10.1145/380752.380859openalex-snapshot

Spectral analysis of data

inferred← citeshttps://doi.org/10.11606/t.3.2018.tde-24092018-085556openalex-snapshot

Macros como mecanismos de abstração em transformações textuais.

inferred← citeshttps://doi.org/10.1287/isre.1120.0452openalex-snapshot

Ascending Combinatorial Auctions with Allocation Constraints: On Game Theoretical and Computational Properties of Generic Pricing Rules

inferred← citeshttps://doi.org/10.15388/infedu.2009.01openalex-snapshot

Connectivity between Abstraction Layers in Declarative ADT-Based Problem-Solving Processes

inferred← citeshttps://doi.org/10.15863/tas.2019.05.73.101openalex-snapshot

DYNAMICS OF DEVELOPMENT OF SCIENTIFIC AND TECHNICAL TERMS IN ENGLISH LANGUAGE. THE APPEARANCE OF NEW TERMS

inferred← citeshttps://doi.org/10.1631/fitee.1700039openalex-snapshot

Quantum security analysis of a lattice-based oblivious transfer protocol

inferred← citeshttps://doi.org/10.26583/bit.2019.3.01openalex-snapshot

To the problem of assessing and ensuring the correctness of business processes

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.