Pith. sign in

Paper Citation Record · LEDGER

Complete Test Suites for Automata in Monoidal Closed Categories

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.

pith.paper-citation-record.v1
2411.13412 v3

Coverage vector

measured 54 of 54 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T16:36:04.888849Z

measured 54 of 54 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

54 of 54 outbound references displayed

  • verified exact2
  • verified fuzzy26
  • unresolved26
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 929c6093-9e1b-425e-a136-8d3bce1a0155 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 1

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.946344Z

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.

source=pdf_text observed=2026-08-12T16:36:04.604662Z digest=sha256:bddec905f4eaae02fa4813488550a0c6e8a65b6c6da42964b75ea7b4040fcef0

Observation 6d42089b-f610-4ea2-870c-6db931b53e94 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 2

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.931487Z

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.

source=pdf_text observed=2026-08-12T16:36:04.610802Z digest=sha256:f48d14f4e87f235355afe34c0e12a3a57b6b8f6be5ca0f195364f311dddc8806

Observation 5e3d62f3-d18a-4ac1-a3b3-8060da4b23ac · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 3

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.916185Z

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.

source=pdf_text observed=2026-08-12T16:36:04.616479Z digest=sha256:b7a1c9d6060d62a2e8748cc56abca90c4e4249f60730a6698826112c5d5f9a80

Observation 11d28dae-c329-4e14-a988-6224f2e221e9 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 4

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.900910Z

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.

source=pdf_text observed=2026-08-12T16:36:04.622037Z digest=sha256:077d49318856984e9408e632e47bf50adde36d7514d599177fc0edf670c31475

Observation b92cfd51-a6fc-4d78-ae9c-317ada88051a · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 5

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.885698Z

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.

source=pdf_text observed=2026-08-12T16:36:04.627495Z digest=sha256:8beebc7daf02722088944be266a4bacf28236763119743c014c62bd31deb56ad

Observation 8bb335d7-1fc0-4288-bf46-568f3834f281 · outbound

This paper cites Journal of Pure and Applied Algebra 6(3), 313–344 (1975).

Complete Test Suites for Automata in Monoidal Closed Categories Journal of Pure and Applied Algebra 6(3), 313–344 (1975)

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.871357Z

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.

source=pdf_text observed=2026-08-12T16:36:04.633645Z digest=sha256:d6505b978f827afce16f9ca521fe4457fbe0ae4fca309f17018f01204611fa60

Observation 640b03ea-1e28-41ac-859b-dcb230aab590 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 7

Resolution
verified exact
doi, observed 2026-08-12T16:36:04.945638Z

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.

source=pdf_text observed=2026-08-12T16:36:04.639086Z digest=sha256:fad7a5bd1af60336395e12d79c0ee09509b68a54a0bb25d86b70362174000ae5

Observation 4e602e04-f8c7-4e80-829d-e50efecbe2a9 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 8

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.854306Z

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.

source=pdf_text observed=2026-08-12T16:36:04.645702Z digest=sha256:f54838135aeabbdbe2e7ddf712e299bd6c0707d897ee6df76f702f86341ed126

Observation b44050de-87e2-468f-9453-b1fa79b85a6d · outbound

This paper cites In: FoSSaCS.

Complete Test Suites for Automata in Monoidal Closed Categories In: FoSSaCS

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.838788Z

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.

source=pdf_text observed=2026-08-12T16:36:04.650946Z digest=sha256:25bd40bbaaf68a5cdde388913a3e0dea46ce0081bbc20271df1df109e959dd78

Observation 8e77e473-8fa9-4571-9df7-d205c578e3ed · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 10

Resolution
unresolved
no resolver link, observed 2026-08-12T16:36:04.656498Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T16:36:04.656498Z digest=sha256:a87be3228404d811d483b6feb766e5f6422e6ee69794fa7cc96357dad4bb73e5

Observation 944233dd-b657-4d4f-b2e1-fa86fa565099 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 11

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.823062Z

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.

source=pdf_text observed=2026-08-12T16:36:04.661572Z digest=sha256:894e8864e949c7b5f7dfba0c8942feafa7f9c0f41ce3b7cdf578410e0e770867

Observation 5585b230-8e8b-4cec-a1a3-59e4347d3ee9 · outbound

This paper cites In: IJCAI.

Complete Test Suites for Automata in Monoidal Closed Categories In: IJCAI

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.807847Z

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.

source=pdf_text observed=2026-08-12T16:36:04.667999Z digest=sha256:a1cab897ec0c3e2c1e09a0d83d4b84da9ce7726c4df695294e6338fb37934f4d

Observation 8d4392c2-ab19-43e2-bcad-c8827fb1450c · outbound

This paper cites In: Developments in Language Theory.

Complete Test Suites for Automata in Monoidal Closed Categories In: Developments in Language Theory

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.793334Z

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.

source=pdf_text observed=2026-08-12T16:36:04.674569Z digest=sha256:b152db9bcc09f2bcf7290de24f553425ec7ea82fde9c9d178d645399330e1385

Observation 6d89ba66-160c-4bce-b467-0924066767ef · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 14

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.778685Z

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.

source=pdf_text observed=2026-08-12T16:36:04.679847Z digest=sha256:bd711e207b031ea7948b452fd76098d00c7d4eea68e0121391895a4148c2b342

Observation 841a5671-2d08-4afe-b66a-c1aa702728c1 · outbound

This paper cites In: CONCUR.

Complete Test Suites for Automata in Monoidal Closed Categories In: CONCUR

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.763927Z

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.

source=pdf_text observed=2026-08-12T16:36:04.684972Z digest=sha256:282280e755251b0162b1e8492fec7517f60a422352bb366d024be5054765c1f5

Observation 036882f0-999d-4762-9640-ee6f2af890ba · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 16

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.747756Z

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.

source=pdf_text observed=2026-08-12T16:36:04.690358Z digest=sha256:a0f8593ea14d24c4e491d54907a955065c6ec172746934825b7157d164e82987

Observation e523f14e-2f7a-470f-81df-c9630f9295dc · outbound

This paper cites (eds.): Model- based testing of reactive systems, Lecture Notes in Compute r Science, vol.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.731938Z

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.

source=pdf_text observed=2026-08-12T16:36:04.695644Z digest=sha256:99783cbb96997d9f2af9cc4335805ca00e54c3958f46889b38bc9725aeb173b1

Observation f9cd8e9f-f8fe-4708-b705-b0bd086110e6 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 18

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.716501Z

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.

source=pdf_text observed=2026-08-12T16:36:04.700326Z digest=sha256:f064f64a9c7405ee6e7b07d9a6441921b55432d8225c9c068375994a55b88136

Observation c0a399a2-f015-4e39-a213-e236c4220ec2 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 19

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.701346Z

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.

source=pdf_text observed=2026-08-12T16:36:04.705859Z digest=sha256:29b3f1024216335012315b6644ef815004ee6b56b908362e2295e721a2efc379

Observation a484adcf-9b81-4137-b42f-50c6fc2f34da · outbound

This paper cites Formal Aspects Comput.

Complete Test Suites for Automata in Monoidal Closed Categories Formal Aspects Comput

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.685945Z

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.

source=pdf_text observed=2026-08-12T16:36:04.710745Z digest=sha256:3201fe70654f6c2b575cfb05b4c774983b42809225d460f949773a5412cf69cb

Observation 651a931f-f448-44cf-9b73-9bb6ff9437ec · outbound

This paper cites IEEE Trans.

Complete Test Suites for Automata in Monoidal Closed Categories IEEE Trans

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.670029Z

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.

source=pdf_text observed=2026-08-12T16:36:04.716013Z digest=sha256:1a05f8981a3a2c2cc665bf02e05341026ce60baf50e5dcb6ac44d3549a32f21c

Observation 6ede34b2-a8f2-4ca9-b51e-efc530675f23 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 22

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.655342Z

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.

source=pdf_text observed=2026-08-12T16:36:04.721522Z digest=sha256:abb12389f1982cf3c187a392656ac774ea4ac2ab5fe3065a07f9f1412f406227

Observation c0af2276-e718-47be-add6-27340d05798a · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 23

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.640257Z

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.

source=pdf_text observed=2026-08-12T16:36:04.727088Z digest=sha256:dc1f325ac9f68d251c26110bf11fbc1617fea85917edb665e919185b7faa6831

Observation be4238a2-673f-47e4-a89a-e40c743b4ffe · outbound

This paper cites In: Handbook o f Automata Theory (I.), pp.

Complete Test Suites for Automata in Monoidal Closed Categories In: Handbook o f Automata Theory (I.), pp

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.625002Z

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.

source=pdf_text observed=2026-08-12T16:36:04.733377Z digest=sha256:cabed11d16af3ea42ec70366d8d124f129c2215e1bcac0d4ef2d1ee2498b1190

Observation ba636ada-753b-4bef-96bd-acfd612e3e29 · outbound

This paper cites IEEE Trans.

Complete Test Suites for Automata in Monoidal Closed Categories IEEE Trans

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.610281Z

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.

source=pdf_text observed=2026-08-12T16:36:04.738727Z digest=sha256:da593758bba48f1604fe7949f7f90921dfc0f92274353c3cc7ff3563656ac941

Observation 58f7c258-e92f-4571-8961-46efe41419d8 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 26

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.595265Z

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.

source=pdf_text observed=2026-08-12T16:36:04.744296Z digest=sha256:9acdc2f432fe9e68407cd32aad51768fd8e1a165f17a1ff3d61e02a0419de1cd

Observation 94de9137-b629-4ecf-a02e-7ba3e16eaf5f · outbound

This paper cites In: FoSSaCS.

Complete Test Suites for Automata in Monoidal Closed Categories In: FoSSaCS

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.580667Z

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.

source=pdf_text observed=2026-08-12T16:36:04.750866Z digest=sha256:2d5df10272766c12388ebc23cf99a92aa6ab6c3c69d8b7cf9aa23c78ca98fe50

Observation 7ee25c78-e2b8-49b7-9124-ffcd43bfbfe5 · outbound

This paper cites In: CMCS.

Complete Test Suites for Automata in Monoidal Closed Categories In: CMCS

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.564898Z

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.

source=pdf_text observed=2026-08-12T16:36:04.756370Z digest=sha256:1c001f9d9717378390d6600f3f3ec79091af3b8e179b0efa5ffd0f06bc23e8e3

Observation 35ef2684-48e8-4428-ba02-2681e1f51249 · outbound

This paper cites In: Machine Learning for Dynamic Software Analysis.

Complete Test Suites for Automata in Monoidal Closed Categories In: Machine Learning for Dynamic Software Analysis

Reference 29

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.549232Z

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.

source=pdf_text observed=2026-08-12T16:36:04.761438Z digest=sha256:67aa80195d720b1a8b15a0c81d45991d1c9c4c3617b298134874b82822685445

Observation 5c44a83d-e427-4407-b0c1-8b0584c588d1 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 30

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.534329Z

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.

source=pdf_text observed=2026-08-12T16:36:04.767356Z digest=sha256:4e74516d6e77c388583f1e35572d87da90b8337589ea0f96d8402801467b492c

Observation 0fcf0f55-0d39-431c-a5af-11ccdaff2d44 · outbound

This paper cites In: CA V (1).

Complete Test Suites for Automata in Monoidal Closed Categories In: CA V (1)

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.518794Z

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.

source=pdf_text observed=2026-08-12T16:36:04.772044Z digest=sha256:32ca4f79c12e199f984b5c17fcf8c85a21aac480bf3d2e911d2facd6cb703144

Observation a53fbdea-807b-4406-87cc-92e82040204a · outbound

This paper cites Bulletin-European Association for Theoretical Computer S cience 62, 222–259 (1997) Complete Test Suites for Automata in Monoidal Closed Catego ries 21.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.503393Z

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.

source=pdf_text observed=2026-08-12T16:36:04.776593Z digest=sha256:a1485048139f2ef1e8efaa4c4b949bd1b88d6a2f4287fed5d333906c23c56952

Observation 335fb091-7c83-4f65-adbe-10dfbb5ee7d1 · outbound

This paper cites In: ICTAC.

Complete Test Suites for Automata in Monoidal Closed Categories In: ICTAC

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.488645Z

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.

source=pdf_text observed=2026-08-12T16:36:04.781282Z digest=sha256:8269800c4cc20dd7d0e34634f3da49f2ea365a9eb397009203c2d628466e68b1

Observation 043a8a3c-51ad-414d-882b-950051f6bf59 · outbound

This paper cites I n: LATA.

Complete Test Suites for Automata in Monoidal Closed Categories I n: LATA

Reference 34

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.470317Z

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.

source=pdf_text observed=2026-08-12T16:36:04.786358Z digest=sha256:aa07b350c1590a361739b42b3af01b9aa2fbd5470b75f71692d452c27c714251

Observation 4179b933-b6e4-4e76-98b9-f04b958e803e · outbound

This paper cites In: TACAS (2).

Complete Test Suites for Automata in Monoidal Closed Categories In: TACAS (2)

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.449706Z

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.

source=pdf_text observed=2026-08-12T16:36:04.792505Z digest=sha256:d157535e6fe1a20c399560562a58ebc7ea2568c4d48eb886060c399562ef6162

Observation 9e42727b-f158-4946-9a27-9eebf5f31cbb · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 36

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.431101Z

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.

source=pdf_text observed=2026-08-12T16:36:04.797297Z digest=sha256:99b57a8e615ee74f8389a7ab4f1687e7722c31494418efc3fb5a943591110038

Observation ee800cab-4d90-4204-aa0a-9d890bd6dc1b · outbound

This paper cites Master’s the- sis, Radboud University Nijmegen, The Netherlands (2020).

Complete Test Suites for Automata in Monoidal Closed Categories Master’s the- sis, Radboud University Nijmegen, The Netherlands (2020)

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.414386Z

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.

source=pdf_text observed=2026-08-12T16:36:04.802094Z digest=sha256:9ba0bc2cef39b2b942a22d0cae1834be04ca1b5e6ca277343d6649a614d9bb9b

Observation 24e14e83-c94b-4540-a885-8f558cee3813 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 38

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.396927Z

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.

source=pdf_text observed=2026-08-12T16:36:04.807138Z digest=sha256:45aba0c092622f677bd83ddd08f70aab78f28e4c0525659b1f235c14ccf04b58

Observation 55b29928-645c-44ff-a091-3baa5dd442df · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 39

Resolution
unresolved
no resolver link, observed 2026-08-12T16:36:04.812353Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T16:36:04.812353Z digest=sha256:12768bf6313a7fba6ba0ca09bda53b2ea7f0b942fd6cc11736792748e91e50e3

Observation 77f8f19e-2f46-41f2-833b-8b1bd192d770 · outbound

This paper cites In: HLDVT.

Complete Test Suites for Automata in Monoidal Closed Categories In: HLDVT

Reference 40

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.381767Z

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.

source=pdf_text observed=2026-08-12T16:36:04.817204Z digest=sha256:d46eb16aeac6343007d1b136fb016bb93c6656300e2ffd4de58c569ae053ceab

Observation d7b7fcbf-d0c3-4400-b9ed-168b0597b856 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 41

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.365806Z

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.

source=pdf_text observed=2026-08-12T16:36:04.822157Z digest=sha256:c538ce75559532f5cd64953b34ea9e0796718f4d22358d6d6b650123eb3b2468

Observation b9b7044e-51be-4b3b-917f-201bbec39878 · outbound

This paper cites In: POPL.

Complete Test Suites for Automata in Monoidal Closed Categories In: POPL

Reference 42

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.349953Z

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.

source=pdf_text observed=2026-08-12T16:36:04.826732Z digest=sha256:f815aa43b9f09110bf146f669fe7995ab122b0d4187f446d19d33f283917d0ed

Observation b92a43b2-41b9-425f-a391-602bad02615e · outbound

This paper cites In: Automata Studies, pp.

Complete Test Suites for Automata in Monoidal Closed Categories In: Automata Studies, pp

Reference 43

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.328668Z

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.

source=pdf_text observed=2026-08-12T16:36:04.831831Z digest=sha256:a8bc7ad8fa6edf4c6f941c40dfe5200fff8a5a84b6a6c516a4c0305e78883f8d

Observation e6b719f1-4578-4d2b-b0a7-d42413f00c85 · outbound

This paper cites , Tappler, M.: AALpy: An active automata learning library.

Complete Test Suites for Automata in Monoidal Closed Categories , Tappler, M.: AALpy: An active automata learning library

Reference 44

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.310700Z

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.

source=pdf_text observed=2026-08-12T16:36:04.838334Z digest=sha256:0d8c72b654738612e6188c2cfbeeac3341678f611bd7af79e5f960c40edefca5

Observation 2f932859-cc82-4fd9-967c-e6994f81e2e0 · outbound

This paper cites In: HASE.

Complete Test Suites for Automata in Monoidal Closed Categories In: HASE

Reference 45

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.290836Z

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.

source=pdf_text observed=2026-08-12T16:36:04.843977Z digest=sha256:d2e57a2d0908c65302506e9db899436e8d318b6139b340e7b4553c9e0e75cf7d

Observation a80b05f2-96f0-4e8a-9680-6f360d572877 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 46

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.272369Z

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.

source=pdf_text observed=2026-08-12T16:36:04.849130Z digest=sha256:1ffa3b4d80f8ccbba9ecb402be26a1e093f7029ae5a5888f71176996f40ea92d

Observation d12c853f-64d1-4722-95e4-99d36cff279c · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 47

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.242073Z

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.

source=pdf_text observed=2026-08-12T16:36:04.853803Z digest=sha256:8644f2564514f00d3be36456a802fbf5f805ea50d6e56dd829bfcad45f452ec5

Observation 3c19cfac-369d-40c1-b932-bb9551b12b08 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 48

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.220904Z

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.

source=pdf_text observed=2026-08-12T16:36:04.858939Z digest=sha256:5ed6d83499d5c7e8de5c3bc1b24dc82fd0ab73ece7e4e60a184983e41b680fe1

Observation 35d64132-b2e7-46af-a81f-b64332a54bb7 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 49

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.197965Z

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.

source=pdf_text observed=2026-08-12T16:36:04.863986Z digest=sha256:ff15bc552530f308bd768c1d8e76613b6671ef69091572f86a2aa9dce32623e6

Observation 471821ee-8a72-40a4-88d9-1f75b703508c · outbound

This paper cites , Larsen, K.G.: L*-based learning of Markov decision processes (extended version).

Complete Test Suites for Automata in Monoidal Closed Categories , Larsen, K.G.: L*-based learning of Markov decision processes (extended version)

Reference 50

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.176607Z

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.

source=pdf_text observed=2026-08-12T16:36:04.868630Z digest=sha256:1665e117e425d5caaed47a681e86650143a62ab86c6382f77001ced8b6ad1495

Observation ec712b96-bb85-413b-a1cc-020ad4e7ad0a · outbound

This paper cites In: LICS.

Complete Test Suites for Automata in Monoidal Closed Categories In: LICS

Reference 51

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T16:36:05.152561Z

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.

source=pdf_text observed=2026-08-12T16:36:04.874077Z digest=sha256:7c933e7653d0e4cf8b2c3d5dca5639d817ff3d12afb0a828f05297da7de08cc5

Observation 24fe5a7d-8fc2-41c5-b0e8-abf2c96e9a42 · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 52

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.127624Z

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.

source=pdf_text observed=2026-08-12T16:36:04.879200Z digest=sha256:0240e2e35ca04cd6532074175fc6e5da78fdca70c8d29b4cf579033497cdf106

Observation 0f0d797c-f279-48a7-801c-c8972b2e6249 · outbound

This paper cites New Fault Domains for Conformance Testing of Finite State Machines.

Complete Test Suites for Automata in Monoidal Closed Categories New Fault Domains for Conformance Testing of Finite State Machines

Reference 53

Resolution
verified exact
local_arxiv, observed 2026-08-12T16:36:04.970425Z

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.

source=pdf_text observed=2026-08-12T16:36:04.883837Z digest=sha256:dad6f316859f9b7856f5f4a516f4432dae751bccb7103278b5bc23ff4181a4ad

Observation f33caca3-c356-4c1e-b36d-7bf87d20169c · outbound

This paper cites an unresolved cited work.

Complete Test Suites for Automata in Monoidal Closed Categories Unresolved cited work

Reference 54

Resolution
unresolved
raw_fallback, observed 2026-08-12T16:36:05.106710Z

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.

source=pdf_text observed=2026-08-12T16:36:04.888849Z digest=sha256:33901fae9644f5d76a084ab14bcf2dc69b545fba0855d178919900c3a3d66cbd

Pith citing papers

No inbound Pith citation observations are available.