Pith. sign in

Paper Citation Record · LEDGER

Complete Test Suites for Automata in Monoidal Closed Categories

As of 13 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-13T06:32:02.005865+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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T16:36:04.622037Z digest=sha256:8a7da2563e3c4190b84c090ca630ccbddee7969e676213bbed50941fe3dc84d1

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-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T16:36:04.627495Z digest=sha256:9c30f1b3ad77a061322cb10ad4ae8a63e316f1126e87072c25233d7bc81fab72

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T16:36:04.650946Z digest=sha256:7118a8744f4df56a17bdae328ba659a6db4821ace9f370338cf2170beafe1b3d

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T16:36:04.684972Z digest=sha256:8f85a4494c396186b17454a7a22fa2066ebb5318e38748590abc38db8fd0f72d

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T16:36:04.695644Z digest=sha256:263aba9bc262bf45e02a9fed3b8e41f000794b662ac472ba8c8f1a76b74f8711

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T16:36:04.705859Z digest=sha256:9212d24bba6ab57afabc681766c32b3c0c69ac960f2f0459020671b41bc7886c

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-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T16:36:04.710745Z digest=sha256:4f6634e006d95d9609c2fd9d206427f32c9b98130a6490cead4e277f1ad8a3a7

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T16:36:04.744296Z digest=sha256:57ab44c951fd3af19e22bc251d8f74ff97bff97219aa7eb2cb392722e4075c6f

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T16:36:04.761438Z digest=sha256:72754dc4e2e687b318d008e160c406ce3f5f74e594aeba9cdf08aeb5287ec116

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T16:36:04.797297Z digest=sha256:8e0c7884490566b8f7842931c3a10d793f7f955c9add03d1205621e7227813b8

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-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T16:36:04.802094Z digest=sha256:05482d0d97de032e14e283b7e301b3d3e5b898a1198a76651c33fd041c6dd9da

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T16:36:04.838334Z digest=sha256:8298e868cf7bb913c83e1c2256ab73cd62949cff088c8f5939c128379d3c6335

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T16:36:04.858939Z digest=sha256:77ebf029972b0f4328db9da8603d4ed636665d699bb91422b636ae2add317935

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T16:36:04.868630Z digest=sha256:9e5d0ef67893a2a0d724600dfa115effb9a3285cbdc8ac57ddbdc2f9bcbfbf28

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

source=pdf_text observed=2026-08-12T16:36:04.879200Z digest=sha256:5383762e8614d56e0558607e4ad3addd7c4ab1efab26c2e3ae98fd7ec21694d8

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-13T06:32:02.005865+00:00.

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

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-13T06:32:02.005865+00:00.

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

Pith citing papers

No inbound Pith citation observations are available.