Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-02T02:16:17.935200Z
Paper Citation Record · LEDGER
A Fast Quantitative Analyzer for NetKAT
As of 21 August 2026, this Paper Citation Record lists 67 of 67 outbound references and 0 inbound Pith citation observations for arXiv:2607.14420.
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-21T06:32:19.484+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
67 of 67 outbound references displayed
- verified exact9
- verified fuzzy0
- unresolved55
- parse uncertain0
- malformed identifier3
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 46c10ba4-49fa-4e53-b22f-e90b8606ad6c · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:12.458509Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1b623bb9-ec06-4fb1-bf71-60f66d3f4e42 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:12.718592Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2b5688bc-7abc-4526-b7b1-8f4445d07576 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:12.992279Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ddae0197-9be6-46de-a21c-a65b9d72bef1 · outbound
This paper cites Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A.
A Fast Quantitative Analyzer for NetKAT Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:13.068104Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9ce96e19-fec1-4423-ad44-a9330c071e96 · outbound
This paper cites Iris Bahar, Erica A.
A Fast Quantitative Analyzer for NetKAT Iris Bahar, Erica A
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:13.143861Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 93b9e2b6-7c22-44b9-8d2f-bc5a8d5d9a17 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:13.274421Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fa445f6e-5e49-4cd7-8d83-6086aaf687c7 · outbound
This paper cites RNG: Flat Datacenter Networks at Scale.
A Fast Quantitative Analyzer for NetKAT RNG: Flat Datacenter Networks at Scale
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:13.360524Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1e1ca49e-5e68-4a58-a512-86d993aac957 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 8
- Resolution
- verified exact
- doi, observed 2026-08-02T02:18:34.502104Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 368c4b31-fd50-427a-9a80-ca694effacb8 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:13.960001Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 386a9859-5962-4bb8-a39c-ba2f0c8ee5e1 · outbound
This paper cites Daggitt, Alexander J.
A Fast Quantitative Analyzer for NetKAT Daggitt, Alexander J
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:14.161017Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 825bebfc-ab51-40e8-9507-3bd791e0134c · outbound
This paper cites Dannert, Erich Grädel, Matthias Naaf, and Val Tannen.
A Fast Quantitative Analyzer for NetKAT Dannert, Erich Grädel, Matthias Naaf, and Val Tannen
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:14.368935Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a2752b63-3f74-4180-b41d-53cf5f241343 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 13
- Resolution
- verified exact
- doi, observed 2026-08-02T02:18:34.226192Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 1c33c023-9387-43d7-8a88-bdc61f29139d · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:14.604035Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 80dea7c2-2f39-4a22-b451-9163f5c6ff02 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:14.634530Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7017eed1-5b2c-4e46-ab77-c28533020c06 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 16
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-02T02:16:14.684442Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 24322e01-5b3c-419a-95bb-6fd67ed4a0d8 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 17
- Resolution
- verified exact
- doi, observed 2026-08-02T02:18:33.901945Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 54c8d326-94d3-4954-9f5b-8a4a5f004e82 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:14.918592Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fe62e8f2-0ea5-4d4f-8ab8-479a85c53a54 · outbound
This paper cites Kwiatkowska, Moshe Y.
A Fast Quantitative Analyzer for NetKAT Kwiatkowska, Moshe Y
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:15.091764Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8ecf3fc7-1b96-4493-a81f-0a0d23826add · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:15.201879Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a37c5cd0-8b8a-4a5b-af89-405eaa6e9453 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:15.380340Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 81a2ad47-046e-4f98-8a7e-305747462749 · outbound
This paper cites Kwiatkowska, Gethin Norman, David Parker, and Hongyang Qu.
A Fast Quantitative Analyzer for NetKAT Kwiatkowska, Gethin Norman, David Parker, and Hongyang Qu
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:15.730669Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f9d02424-6c2d-4032-a80e-2a72412306c9 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:15.917543Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4db3a974-1243-4aa7-8d58-c4b7f43bc89d · outbound
This paper cites McGeer, and Jerry Chih-Yuan Yang.
A Fast Quantitative Analyzer for NetKAT McGeer, and Jerry Chih-Yuan Yang
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:16.104519Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0162f556-0b04-4f8b-92e1-bbb3af4cc2bf · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:16.271062Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7ae05bad-be4e-48f0-bca0-a8b6bf7cc77a · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:16.414349Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 014efc98-108c-4f84-b8ff-eac9aef08da6 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:16.571085Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 33e6d12d-744a-4dea-8ee7-06da5fc1ec92 · outbound
This paper cites 2008.Graphs, Dioids and Semirings: New Models and Algorithms.
A Fast Quantitative Analyzer for NetKAT 2008.Graphs, Dioids and Semirings: New Models and Algorithms
Reference 28
- Resolution
- verified exact
- doi, observed 2026-08-02T02:18:33.677645Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 5b9b4123-f3b2-4fd3-a3bd-e7f0b32aae09 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:16.853501Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6c8e87dd-5c99-465a-ae49-e577ece6ca75 · outbound
This paper cites Green, Grigoris Karvounarakis, and Val Tannen.
A Fast Quantitative Analyzer for NetKAT Green, Grigoris Karvounarakis, and Val Tannen
Reference 30
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-02T02:16:16.956504Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 72a1057b-308b-46a0-aa71-cd6fde671eb8 · outbound
This paper cites Griffin and João L.
A Fast Quantitative Analyzer for NetKAT Griffin and João L
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.117338Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f87756f8-fc7a-4c5e-b0d0-c9916f06394d · outbound
This paper cites The Probabilistic Model Checker Storm.
A Fast Quantitative Analyzer for NetKAT The Probabilistic Model Checker Storm
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.277629Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f4b21130-ac54-480f-b048-0adfd04e00b8 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.420504Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d4e1d9f0-8620-4401-bf3c-3f64073c88fc · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.500191Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ce6b9053-8b27-4e1c-9836-60bd6754e712 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.587683Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a6f28b48-eff7-4af0-831e-b2d5262754dd · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.596237Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9671eaa1-5c69-4c8e-8639-b12e14f4fde5 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.739884Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c3f494a9-1b16-4bd7-9b83-2baba265f713 · outbound
This paper cites Brighten Godfrey.
A Fast Quantitative Analyzer for NetKAT Brighten Godfrey
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.841128Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3831ad85-c4f2-4960-a9fb-40d04dfd989c · outbound
This paper cites Coulomb Correlation and Information Entropies in Confined Helium-Like Atoms.
A Fast Quantitative Analyzer for NetKAT Coulomb Correlation and Information Entropies in Confined Helium-Like Atoms
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.862267Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6016bbc4-43d7-4f57-bedf-09ec7bd20543 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.865109Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dbfb18d3-a89f-4f15-8702-6bcc87027bd2 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 41
- Resolution
- verified exact
- doi, observed 2026-08-02T02:18:33.476190Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation a3a1f723-23b6-4777-873b-622a18e5f05d · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.870885Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 65b5624e-aacb-4e6c-9765-319d794d99dc · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.873357Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 19bbc681-126e-4503-8493-0a38c4d5257d · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 44
- Resolution
- verified exact
- doi, observed 2026-08-02T02:18:33.339606Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 4a341e3f-db2f-4f66-8bc5-9329d42ca144 · outbound
This paper cites 2001.Network Calculus: A Theory of Deterministic Queuing Systems for the Internet.
A Fast Quantitative Analyzer for NetKAT 2001.Network Calculus: A Theory of Deterministic Queuing Systems for the Internet
Reference 45
- Resolution
- verified exact
- doi, observed 2026-08-02T02:18:33.071144Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 771da6f8-9b01-4e2b-98d1-d14a50484629 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.880963Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f7d6e153-6009-4ae3-a059-c41424dee22a · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 48
- Resolution
- verified exact
- doi, observed 2026-08-02T02:18:32.715487Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 15c7dcbc-0928-4b3c-85e7-55185f97cbca · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.889308Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 06c88ddd-be87-4330-838e-77987270648b · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.892106Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a7506425-5bb2-4143-beb9-d0f7adedbf35 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.894462Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5945a5b2-4d5f-4f7e-acdd-730e3747ad0f · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.899894Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b6bbad2b-1fdd-49a5-81c7-f393f05e6444 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.902390Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f529eca7-c447-486f-b74a-537df4a7ab64 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.904733Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c0d3080f-2ae7-4faf-8e7b-b0c4a6773a97 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.907164Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dc8da4dd-1251-47d8-9500-8034d9318136 · outbound
This paper cites Brighten Godfrey.
A Fast Quantitative Analyzer for NetKAT Brighten Godfrey
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.909982Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 807874c5-1f01-439a-90e2-ca04084d7aa9 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 57
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.912955Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3c6a24ae-c87d-4a61-9a03-bfd125269513 · outbound
This paper cites Kahn, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva.
A Fast Quantitative Analyzer for NetKAT Kahn, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.915482Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7b49854a-4e4a-4e5b-9b83-82d64ce3e617 · outbound
This paper cites Somasundaram and John S.
A Fast Quantitative Analyzer for NetKAT Somasundaram and John S
Reference 59
- Resolution
- verified exact
- doi, observed 2026-08-02T02:18:32.423403Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 0cf5613a-3571-43da-bc25-b0e686ec4dce · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.920218Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ade39239-f344-4cfb-8114-04391f25a180 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.922411Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 025ea060-9f4f-48ce-ba00-abc407299326 · outbound
This paper cites 2023.Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing.
A Fast Quantitative Analyzer for NetKAT 2023.Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing
Reference 62
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.925355Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 73427e29-55e3-41ea-a55f-2ff57e85ef49 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.927622Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f563f1f2-77e2-4107-b4cc-f7c7cfa26a71 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 64
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-02T02:16:17.930241Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1ab47c03-a7a8-4db1-909b-220a11d73f6a · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.932554Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ac20c747-18dc-4ce8-b4b9-3e72e4a9b8d1 · outbound
This paper cites an unresolved cited work.
A Fast Quantitative Analyzer for NetKAT Unresolved cited work
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.935200Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f330cbc4-dfc3-47b1-984c-5bdadd1d961b · outbound
This paper cites Des.10, 2/3 (1997), 171–206.
A Fast Quantitative Analyzer for NetKAT Des.10, 2/3 (1997), 171–206
Reference 1997
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:13.209490Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4dfa92db-0746-470d-b182-b2b7136f9fd5 · outbound
This paper cites In12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15).
A Fast Quantitative Analyzer for NetKAT In12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)
Reference 2015
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:15.568620Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d3265436-d033-4cb0-9ad9-aa84e4bb8c39 · outbound
This paper cites InProceedings of the ACM SIGCOMM 2024 Conference(Sydney, NSW, Australia)(ACM SIGCOMM ’24).
A Fast Quantitative Analyzer for NetKAT InProceedings of the ACM SIGCOMM 2024 Conference(Sydney, NSW, Australia)(ACM SIGCOMM ’24)
Reference 2024
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T02:16:17.897060Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.