Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T16:36:04.888849Z
Paper Citation Record · LEDGER
As of 12 August 2026, this Paper Citation Record lists 54 of 54 outbound references and 0 inbound Pith citation observations for arXiv:2411.13412.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T16:36:04.888849Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+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
54 of 54 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 929c6093-9e1b-425e-a136-8d3bce1a0155 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 6d42089b-f610-4ea2-870c-6db931b53e94 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 5e3d62f3-d18a-4ac1-a3b3-8060da4b23ac · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 11d28dae-c329-4e14-a988-6224f2e221e9 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation b92cfd51-a6fc-4d78-ae9c-317ada88051a · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 8bb335d7-1fc0-4288-bf46-568f3834f281 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Journal of Pure and Applied Algebra 6(3), 313–344 (1975)
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 640b03ea-1e28-41ac-859b-dcb230aab590 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 4e602e04-f8c7-4e80-829d-e50efecbe2a9 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation b44050de-87e2-468f-9453-b1fa79b85a6d · outbound
Complete Test Suites for Automata in Monoidal Closed Categories In: FoSSaCS
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 8e77e473-8fa9-4571-9df7-d205c578e3ed · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 10
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 944233dd-b657-4d4f-b2e1-fa86fa565099 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 5585b230-8e8b-4cec-a1a3-59e4347d3ee9 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories In: IJCAI
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 8d4392c2-ab19-43e2-bcad-c8827fb1450c · outbound
Complete Test Suites for Automata in Monoidal Closed Categories In: Developments in Language Theory
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 6d89ba66-160c-4bce-b467-0924066767ef · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 841a5671-2d08-4afe-b66a-c1aa702728c1 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories In: CONCUR
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 036882f0-999d-4762-9640-ee6f2af890ba · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation e523f14e-2f7a-470f-81df-c9630f9295dc · outbound
Complete Test Suites for Automata in Monoidal Closed Categories (eds.): Model- based testing of reactive systems, Lecture Notes in Compute r Science, vol
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation f9cd8e9f-f8fe-4708-b705-b0bd086110e6 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c0a399a2-f015-4e39-a213-e236c4220ec2 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a484adcf-9b81-4137-b42f-50c6fc2f34da · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Formal Aspects Comput
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 651a931f-f448-44cf-9b73-9bb6ff9437ec · outbound
Complete Test Suites for Automata in Monoidal Closed Categories IEEE Trans
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 6ede34b2-a8f2-4ca9-b51e-efc530675f23 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c0af2276-e718-47be-add6-27340d05798a · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation be4238a2-673f-47e4-a89a-e40c743b4ffe · outbound
Complete Test Suites for Automata in Monoidal Closed Categories In: Handbook o f Automata Theory (I.), pp
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation ba636ada-753b-4bef-96bd-acfd612e3e29 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories IEEE Trans
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 58f7c258-e92f-4571-8961-46efe41419d8 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 94de9137-b629-4ecf-a02e-7ba3e16eaf5f · outbound
Complete Test Suites for Automata in Monoidal Closed Categories In: FoSSaCS
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 7ee25c78-e2b8-49b7-9124-ffcd43bfbfe5 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories In: CMCS
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 35ef2684-48e8-4428-ba02-2681e1f51249 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories In: Machine Learning for Dynamic Software Analysis
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 5c44a83d-e427-4407-b0c1-8b0584c588d1 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0fcf0f55-0d39-431c-a5af-11ccdaff2d44 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories In: CA V (1)
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a53fbdea-807b-4406-87cc-92e82040204a · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Bulletin-European Association for Theoretical Computer S cience 62, 222–259 (1997) Complete Test Suites for Automata in Monoidal Closed Catego ries 21
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 335fb091-7c83-4f65-adbe-10dfbb5ee7d1 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories In: ICTAC
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 043a8a3c-51ad-414d-882b-950051f6bf59 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories I n: LATA
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 4179b933-b6e4-4e76-98b9-f04b958e803e · outbound
Complete Test Suites for Automata in Monoidal Closed Categories In: TACAS (2)
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 9e42727b-f158-4946-9a27-9eebf5f31cbb · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation ee800cab-4d90-4204-aa0a-9d890bd6dc1b · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Master’s the- sis, Radboud University Nijmegen, The Netherlands (2020)
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 24e14e83-c94b-4540-a885-8f558cee3813 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 55b29928-645c-44ff-a091-3baa5dd442df · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 39
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 77f8f19e-2f46-41f2-833b-8b1bd192d770 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories In: HLDVT
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation d7b7fcbf-d0c3-4400-b9ed-168b0597b856 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation b9b7044e-51be-4b3b-917f-201bbec39878 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories In: POPL
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation b92a43b2-41b9-425f-a391-602bad02615e · outbound
Complete Test Suites for Automata in Monoidal Closed Categories In: Automata Studies, pp
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation e6b719f1-4578-4d2b-b0a7-d42413f00c85 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories , Tappler, M.: AALpy: An active automata learning library
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 2f932859-cc82-4fd9-967c-e6994f81e2e0 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories In: HASE
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a80b05f2-96f0-4e8a-9680-6f360d572877 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 46
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation d12c853f-64d1-4722-95e4-99d36cff279c · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 47
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 3c19cfac-369d-40c1-b932-bb9551b12b08 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 35d64132-b2e7-46af-a81f-b64332a54bb7 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 471821ee-8a72-40a4-88d9-1f75b703508c · outbound
Complete Test Suites for Automata in Monoidal Closed Categories , Larsen, K.G.: L*-based learning of Markov decision processes (extended version)
Reference 50
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation ec712b96-bb85-413b-a1cc-020ad4e7ad0a · outbound
Complete Test Suites for Automata in Monoidal Closed Categories In: LICS
Reference 51
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 24fe5a7d-8fc2-41c5-b0e8-abf2c96e9a42 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0f0d797c-f279-48a7-801c-c8972b2e6249 · outbound
Complete Test Suites for Automata in Monoidal Closed Categories New Fault Domains for Conformance Testing of Finite State Machines
Reference 53
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation f33caca3-c356-4c1e-b36d-7bf87d20169c · outbound
Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work
Reference 54
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
No inbound Pith citation observations are available.