On the public citation graph
Faster possibility detection by combining two approaches
0 signed · 39 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.1006/jpdc.1996.1298openalex-snapshot
Monitoring Functions on Global States of Distributed Programs
inferredcites →https://doi.org/10.1007/3-540-56287-7_110openalex-snapshot
Detection of unstable predicates in distributed programs
inferredcites →https://doi.org/10.1007/3-540-56610-4_94openalex-snapshot
Reachability analysis on distributed executions
inferredcites →https://doi.org/10.1007/978-1-4471-3078-9_12openalex-snapshot
Linear Space Algorithm for On-line Detection of Global Predicates
inferredcites →https://doi.org/10.1007/bf02165411openalex-snapshot
Gaussian elimination is not optimal
inferredcites →https://doi.org/10.1007/bfb0022452openalex-snapshot
Detection of global state predicates
inferredcites →https://doi.org/10.1109/71.277788openalex-snapshot
Detection of weak unstable predicates in distributed programs
inferredcites →https://doi.org/10.1145/122759.122774openalex-snapshot
Consistent detection of global predicates
inferredcites →https://doi.org/10.1145/195058.195434openalex-snapshot
Improved data structures for fully dynamic biconnectivity
inferredcites →https://doi.org/10.1145/28395.28396openalex-snapshot
Matrix multiplication via arithmetic progressions
inferredcites →https://doi.org/10.1145/359545.359563openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-45414-4_6openalex-snapshot
Computation Slicing: Techniques and Theory
inferred← citeshttps://doi.org/10.1007/978-3-540-24604-6_2openalex-snapshot
A Note on Modalities for Nonconjunctive Global Predicates
inferred← citeshttps://doi.org/10.1007/978-3-540-40965-6_7openalex-snapshot
Global Predicate Detection under Fine-Grained Modalities
inferred← citeshttps://doi.org/10.1007/978-3-540-75142-7_32openalex-snapshot
Detecting Temporal Logic Predicates on Distributed Computations
inferred← citeshttps://doi.org/10.1007/978-3-642-45249-9_11openalex-snapshot
Online Algorithms to Generate Slices for Regular Temporal Logic Predicates
inferred← citeshttps://doi.org/10.1007/bfb0022155openalex-snapshot
Efficient detection of restricted classes of global predicates
inferred← citeshttps://doi.org/10.1007/bfb0030684openalex-snapshot
Detecting global predicates in distributed systems with clocks
inferred← citeshttps://doi.org/10.1007/s00446-004-0117-0openalex-snapshot
Techniques and applications of computation slicing
inferred← citeshttps://doi.org/10.1007/s004460050049openalex-snapshot
Detection of global predicates: Techniques and their limitations
inferred← citeshttps://doi.org/10.1007/s004460050069openalex-snapshot
Detecting global predicates in distributed systems with clocks
inferred← citeshttps://doi.org/10.1016/j.ipl.2011.01.016openalex-snapshot
Repeated detection of conjunctive predicates in distributed executions
inferred← citeshttps://doi.org/10.1016/s0020-0190(03)00295-3openalex-snapshot
Distributed algorithm to detect strong conjunctive predicates
inferred← citeshttps://doi.org/10.1016/s0020-0190(97)00139-7openalex-snapshot
Detecting conjunctions of global predicates
inferred← citeshttps://doi.org/10.1109/32.707701openalex-snapshot
Efficient distributed detection of conjunctions of local predicates
inferred← citeshttps://doi.org/10.1109/32.940566openalex-snapshot
Techniques to tackle state explosion in global predicate detection
inferred← citeshttps://doi.org/10.1109/4434.641629openalex-snapshot
Methods for observing global properties in distributed systems
inferred← citeshttps://doi.org/10.1109/icdcs.2003.1203457openalex-snapshot
Software fault tolerance of distributed programs using computation slicing
inferred← citeshttps://doi.org/10.1109/icdsc.2001.918927openalex-snapshot
On detecting global predicates in distributed computations
inferred← citeshttps://doi.org/10.1109/icpads.1994.590349openalex-snapshot
Techniques to tackle state explosion in global predicate detection
inferred← citeshttps://doi.org/10.1109/icpads.2010.80openalex-snapshot
Detection of a Weak Conjunction of Unstable Predicates in Dynamic Systems
inferred← citeshttps://doi.org/10.1109/ipdps.2004.1302994openalex-snapshot
Finding satisfying global states: all for one and one for all
inferred← citeshttps://doi.org/10.1109/tpds.2007.1077openalex-snapshot
Solving Computation Slicing Using Predicate Detection
inferred← citeshttps://doi.org/10.1111/j.1937-5956.2011.01238.xopenalex-snapshot
Container Scheduling: Complexity and Algorithms
inferred← citeshttps://doi.org/10.1145/311531.311532openalex-snapshot
Fundamentals of fault-tolerant distributed computing in asynchronous environments
inferred← citeshttps://doi.org/10.52547/jfr.17.4.649openalex-snapshot
The Effectiveness of Training based on Combining Two-Way Solution-Focused Therapy and Narrative Therapy on Assertiveness and Marital Intimacy in Women on the Verge of Divorce
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.