Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T15:43:03.782070Z
Paper Citation Record · LEDGER
A Quadratic Lower Bound for Simulation
As of 13 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2411.14067.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
22 of 22 outbound references displayed
- verified exact4
- verified fuzzy6
- unresolved10
- parse uncertain0
- malformed identifier0
- metadata mismatch2
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 547994a6-67ef-4e18-b7ac-67738377b30c · outbound
This paper cites Transformational design an d implementation of a new efficient solution to the ready sim- ulation problem.
A Quadratic Lower Bound for Simulation Transformational design an d implementation of a new efficient solution to the ready sim- ulation problem
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:43:03.687276Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d6a10fba-4170-46ef-8c13-f50081d294e1 · outbound
This paper cites Simulation-based minim azation.
A Quadratic Lower Bound for Simulation Simulation-based minim azation
Reference 2
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-12T15:43:04.238818Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation bc43c097-7b19-4ae2-ae18-bc195305e6bd · outbound
This paper cites Saving space in a time efficient simulation algorithm.
A Quadratic Lower Bound for Simulation Saving space in a time efficient simulation algorithm
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:43:04.336984Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation f296ea69-ead9-463d-83f8-e88cefcea144 · outbound
This paper cites On the fine grained com- plexity of finite automata non-emptiness of intersection.
A Quadratic Lower Bound for Simulation On the fine grained com- plexity of finite automata non-emptiness of intersection
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:43:03.705929Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 37ed064a-ac67-47b1-8946-bd8dff4501ec · outbound
This paper cites Problems on finite auto mata and the exponential time hypothesis.
A Quadratic Lower Bound for Simulation Problems on finite auto mata and the exponential time hypothesis
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:43:04.323370Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 198a27ae-cc3e-4c4d-a756-caa8c54da47c · outbound
This paper cites an unresolved cited work.
A Quadratic Lower Bound for Simulation Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:43:03.715648Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 812be3c8-1a23-4430-845b-9222e6fdd07b · outbound
This paper cites an unresolved cited work.
A Quadratic Lower Bound for Simulation Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:43:03.720860Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation be5d107a-2d74-4015-9b3c-267a142b2dc9 · outbound
This paper cites Henzinger, and Peter W.
A Quadratic Lower Bound for Simulation Henzinger, and Peter W
Reference 8
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-12T15:43:04.136343Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation d0d40e7f-71f3-4e27-a75a-cad569341e50 · outbound
This paper cites Hopcroft and Richard M.
A Quadratic Lower Bound for Simulation Hopcroft and Richard M
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:43:04.309751Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 57d9398e-ad51-48e6-ad7f-f8ff63417891 · outbound
This paper cites On the compl ex- ity of k-SAT.
A Quadratic Lower Bound for Simulation On the compl ex- ity of k-SAT
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:43:03.733994Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 148faae0-19bb-4858-b67c-271b5ee95cb4 · outbound
This paper cites Lower bounds for natural proof systems.
A Quadratic Lower Bound for Simulation Lower bounds for natural proof systems
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:43:03.738340Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 514fff24-48b4-423d-8da2-f490bb56ad3b · outbound
This paper cites an unresolved cited work.
A Quadratic Lower Bound for Simulation Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T15:43:04.295646Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b562e89d-1a58-4e53-af82-c554ef3fa788 · outbound
This paper cites An algebraic definition of simulation bet ween pro- grams.
A Quadratic Lower Bound for Simulation An algebraic definition of simulation bet ween pro- grams
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:43:04.281694Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation a98bc085-e608-4bd1-bae4-012a330848af · outbound
This paper cites An efficient simulation algorithm on kripke structures.
A Quadratic Lower Bound for Simulation An efficient simulation algorithm on kripke structures
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:43:04.268001Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b200af4f-5750-411c-9737-45c5b9cd67be · outbound
This paper cites A new efficient simulation equivalence algorithm.
A Quadratic Lower Bound for Simulation A new efficient simulation equivalence algorithm
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:43:03.765477Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c79501fb-94bb-4c76-9f96-597e8ebaa9c0 · outbound
This paper cites an unresolved cited work.
A Quadratic Lower Bound for Simulation Unresolved cited work
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:43:03.769604Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b78a07ef-210e-42c9-8e58-d73270b1ef5c · outbound
This paper cites van Glabbeek and Bas Ploeger.
A Quadratic Lower Bound for Simulation van Glabbeek and Bas Ploeger
Reference 17
- Resolution
- verified exact
- doi, observed 2026-08-12T15:43:03.827053Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation bbbaac80-e91b-4c87-92f6-b9ede0085dfc · outbound
This paper cites Hardness of Easy Probl ems: Basing Hard- ness on Popular Conjectures such as the Strong Exponential T ime Hypoth- esis.
A Quadratic Lower Bound for Simulation Hardness of Easy Probl ems: Basing Hard- ness on Popular Conjectures such as the Strong Exponential T ime Hypoth- esis
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T15:43:03.777850Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6760f89a-217f-4a29-ad9d-533cf689a3c8 · outbound
This paper cites On the complexity of intersection non-emptiness problems.
A Quadratic Lower Bound for Simulation On the complexity of intersection non-emptiness problems
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T15:43:04.253939Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation b41b6056-30c3-4f8a-bd6c-48444d3fac98 · outbound
This paper cites an unresolved cited work.
A Quadratic Lower Bound for Simulation Unresolved cited work
Reference 2002
- Resolution
- verified exact
- doi, observed 2026-08-12T15:43:03.863701Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 88da9f27-bce8-422e-a116-afc4b28ae5b7 · outbound
This paper cites an unresolved cited work.
A Quadratic Lower Bound for Simulation Unresolved cited work
Reference 2011
- Resolution
- verified exact
- doi, observed 2026-08-12T15:43:03.911524Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Observation 8f0a78ee-4384-4b45-98b2-3c70524a1dae · outbound
This paper cites an unresolved cited work.
A Quadratic Lower Bound for Simulation Unresolved cited work
Reference 2014
- Resolution
- verified exact
- doi, observed 2026-08-12T15:43:03.849403Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.
Pith citing papers
No inbound Pith citation observations are available.