Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T14:23:26.520668Z
Paper Citation Record · LEDGER
Reordering Derivatives of Trace Closures of Regular Languages (Full Version)
As of 16 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:1908.03551.
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-16T06:30:59.297886+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
25 of 25 outbound references displayed
- verified exact14
- verified fuzzy3
- unresolved8
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 72499faa-e74d-4e08-92ad-7abd7cf5ac04 · outbound
This paper cites Characterizations of the decidability of some problems for regular trace languages.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Characterizations of the decidability of some problems for regular trace languages
Reference 1
- Resolution
- verified exact
- doi, observed 2026-08-14T14:23:27.248086Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 72e11189-c104-479b-9034-c059048d3928 · outbound
This paper cites Trace languages defined by regular string languages.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Trace languages defined by regular string languages
Reference 2
- Resolution
- verified exact
- raw_fallback, observed 2026-08-14T14:23:27.601984Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 92f99cf7-d111-42e1-bbd6-1d2abe2642a8 · outbound
This paper cites Antimirov.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Antimirov
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:23:26.274840Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 56301c58-ec45-4a27-ac5a-24bd99a4b333 · outbound
This paper cites Equivalence and membership problems for regular trace languages.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Equivalence and membership problems for regular trace languages
Reference 4
- Resolution
- verified exact
- doi, observed 2026-08-14T14:23:27.194721Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 080f2b57-9f80-413d-8a9f-c03b4fd92a30 · outbound
This paper cites Unambiguous regular trace languages.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Unambiguous regular trace languages
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:23:28.074094Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4edc5caa-69ac-494d-a07f-12e4701c0391 · outbound
This paper cites Partial derivative automaton for regular expressions with shuffle.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Partial derivative automaton for regular expressions with shuffle
Reference 6
- Resolution
- verified exact
- doi, observed 2026-08-14T14:23:27.179177Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation dcb52833-78d2-4090-b0b8-817f35ba7f7c · outbound
This paper cites Brzozowski.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Brzozowski
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:23:26.365645Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a3c18028-7ad5-490d-9c4c-97b465497daa · outbound
This paper cites Semi-commutations.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Semi-commutations
Reference 8
- Resolution
- verified exact
- doi, observed 2026-08-14T14:23:27.133381Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation bf51b1f7-8ea6-47a9-83d1-f6237dc82601 · outbound
This paper cites Recognizable closures and submonoids of free partially commutative monoids.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Recognizable closures and submonoids of free partially commutative monoids
Reference 9
- Resolution
- verified exact
- doi, observed 2026-08-14T14:23:27.078016Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e4244ea6-606d-4672-8ce1-bae4163517f7 · outbound
This paper cites Concurrent K leene algebra and its foundations.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Concurrent K leene algebra and its foundations
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:23:26.451198Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 624431e7-6c5c-4164-bb70-5a9f4e8c88fa · outbound
This paper cites an unresolved cited work.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:23:27.882927Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1498926c-35ec-4783-ab8c-82d6dd423f37 · outbound
This paper cites On star-connected flat languages.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) On star-connected flat languages
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:23:27.797327Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b12283ad-7a52-46d5-a183-39950ad1ea45 · outbound
This paper cites A completeness theorem for K leene algebras and the algebra of regular events.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) A completeness theorem for K leene algebras and the algebra of regular events
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:23:26.467241Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 565ce432-c464-4c5d-b2f9-f6abb2084ea4 · outbound
This paper cites Reordering derivatives of trace closures of regular languages.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Reordering derivatives of trace closures of regular languages
Reference 14
- Resolution
- verified exact
- doi, observed 2026-08-14T14:23:26.976913Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0b30fe0e-0591-46b9-83c3-241434917b57 · outbound
This paper cites Concurrent program schemes and their interpretations.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Concurrent program schemes and their interpretations
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:23:26.475424Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 37bd83dd-8beb-4662-9345-e491b3630101 · outbound
This paper cites Introduction to trace theory.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Introduction to trace theory
Reference 16
- Resolution
- verified exact
- doi, observed 2026-08-14T14:23:26.914316Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ca96b394-490b-483c-869d-7728cd5e2e89 · outbound
This paper cites an unresolved cited work.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Unresolved cited work
Reference 17
- Resolution
- verified exact
- doi, observed 2026-08-14T14:23:26.899444Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 45c10ba5-3635-4394-9f2b-59caddd383fc · outbound
This paper cites Regular behaviour of concurrent systems.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Regular behaviour of concurrent systems
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:23:27.676569Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 711b5c4a-6686-4358-8d9a-63ede9c17e44 · outbound
This paper cites Recognizable trace languages.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Recognizable trace languages
Reference 19
- Resolution
- verified exact
- doi, observed 2026-08-14T14:23:26.862300Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c152a84e-5dc0-45d5-a864-69ba0939e969 · outbound
This paper cites Rabin and Dana S.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Rabin and Dana S
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:23:26.496479Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4b0b4e89-ca7d-45f2-82cf-b7dcfbc0ce67 · outbound
This paper cites On regular trace languages.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) On regular trace languages
Reference 21
- Resolution
- verified exact
- doi, observed 2026-08-14T14:23:26.836627Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 540b9298-f12d-4d8a-8ecf-25f387dfdbdb · outbound
This paper cites The "last" decision problem for rational trace languages.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) The "last" decision problem for rational trace languages
Reference 22
- Resolution
- verified exact
- doi, observed 2026-08-14T14:23:26.706278Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c95ee776-0495-4876-afda-d25fea8ada2c · outbound
This paper cites Derivatives for regular shuffle expressions.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Derivatives for regular shuffle expressions
Reference 23
- Resolution
- verified exact
- doi, observed 2026-08-14T14:23:26.598069Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b1ea90bf-277c-4382-ba7b-1a46ddd6e9c7 · outbound
This paper cites Notes on finite asynchronous automata.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Notes on finite asynchronous automata
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:23:26.513521Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c319c158-cbcd-4d3e-ab79-f1cf0494ade9 · outbound
This paper cites Asynchronous automata.
Reordering Derivatives of Trace Closures of Regular Languages (Full Version) Asynchronous automata
Reference 25
- Resolution
- verified exact
- doi, observed 2026-08-14T14:23:26.559812Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.