Paper Citation Record · LEDGER

Network Analysis with Parametric NetKAT

As of 9 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2607.09637.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.09637 v2

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T07:36:30.559106Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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

22 of 22 outbound references displayed

verified exact0
verified fuzzy0
unresolved21
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7b9b0b40-e8b1-4f65-900d-63a92e76b41a · outbound

This paper cites InProceedings of the ACM SIGCOMM 2011 Conference(Toronto, Ontario, Canada) (SIGCOMM ’11).

Network Analysis with Parametric NetKAT InProceedings of the ACM SIGCOMM 2011 Conference(Toronto, Ontario, Canada) (SIGCOMM ’11)

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:29.277433Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 054394b4-5542-466d-8793-e13146663951 · outbound

This paper cites 2015), 328–341.

Network Analysis with Parametric NetKAT 2015), 328–341

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:29.446321Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9facf954-cc12-44a2-9e1e-9781a63db1f7 · outbound

This paper cites an unresolved cited work.

Network Analysis with Parametric NetKAT Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:30.232448Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20449a69-97cb-4e15-b607-32e25976f349 · outbound

This paper cites The leaf value of𝑅is the semiring weight of the corresponding matrix entry.

Network Analysis with Parametric NetKAT The leaf value of𝑅is the semiring weight of the corresponding matrix entry

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:30.559106Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b43538fa-411c-405d-bd6b-2141647b0bb7 · outbound

This paper cites Electron.

Network Analysis with Parametric NetKAT Electron

Reference 1963

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:28.333223Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6febc1d0-27e8-4a46-a849-8a2aa20d6794 · outbound

This paper cites Computers35, 8 (1986), 677–691.

Network Analysis with Parametric NetKAT Computers35, 8 (1986), 677–691

Reference 1986

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:28.184294Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 667b0c0e-8668-4cb7-8234-0a9a68f54c18 · outbound

This paper cites an unresolved cited work.

Network Analysis with Parametric NetKAT Unresolved cited work

Reference 1992

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:28.421619Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4dc94422-3a3f-471e-9bb2-6d856bf8dd33 · outbound

This paper cites InProceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design(Santa Clara, California, USA)(ICCAD ’93).

Network Analysis with Parametric NetKAT InProceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design(Santa Clara, California, USA)(ICCAD ’93)

Reference 1993

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:27.931401Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26a355fc-30db-481e-b2f6-8adf710e6084 · outbound

This paper cites doi:10.1016/0304-3975(95)00182-4 Alia Atlas and Alex D.

Network Analysis with Parametric NetKAT doi:10.1016/0304-3975(95)00182-4 Alia Atlas and Alex D

Reference 1996

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:27.822575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75adc4bd-ed12-4577-8bde-57e425c8172e · outbound

This paper cites an unresolved cited work.

Network Analysis with Parametric NetKAT Unresolved cited work

Reference 1997

Resolution: malformed identifier; no resolver link, observed 2026-08-02T07:36:29.165472Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77962de4-027c-444f-9234-24a9ed20e5c6 · outbound

This paper cites InTheoretical Aspects of Computing - ICTAC 2004, Zhiming Liu and Keijiro Araki (Eds.).

Network Analysis with Parametric NetKAT InTheoretical Aspects of Computing - ICTAC 2004, Zhiming Liu and Keijiro Araki (Eds.)

Reference 2005

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:28.537597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 775ce21e-7705-4c7c-9ef4-9ff4b939a547 · outbound

This paper cites Coulomb Correlation and Information Entropies in Confined Helium-Like Atoms.

Network Analysis with Parametric NetKAT Coulomb Correlation and Information Entropies in Confined Helium-Like Atoms

Reference 2011

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:29.026953Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ad5237a-6a37-4bb1-a701-a351d28cda4d · outbound

This paper cites 2015), 343–355.

Network Analysis with Parametric NetKAT 2015), 343–355

Reference 2015

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:28.664803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97f3f77a-372e-4bfd-ab5d-000ed299d1f6 · outbound

This paper cites Netw.24, 2 (April 2016), 887–900.

Network Analysis with Parametric NetKAT Netw.24, 2 (April 2016), 887–900

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:30.360318Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8632bbf2-0169-4ede-b4c6-7121d66b4285 · outbound

This paper cites InProceedings of the Conference of the ACM Special Interest Group on Data Communication(Los Angeles, CA, USA)(SIGCOMM ’17).

Network Analysis with Parametric NetKAT InProceedings of the Conference of the ACM Special Interest Group on Data Communication(Los Angeles, CA, USA)(SIGCOMM ’17)

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:28.077071Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 919274c1-7f74-4003-abf1-e2a510b77fa9 · outbound

This paper cites an unresolved cited work.

Network Analysis with Parametric NetKAT Unresolved cited work

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:30.475823Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c23cc85-23d3-4d08-bcba-ceea0312d076 · outbound

This paper cites InProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation(London, UK)(PLDI 2020).

Network Analysis with Parametric NetKAT InProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation(London, UK)(PLDI 2020)

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:28.803780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c8c4258-fd2c-4dc8-850a-a016bcb839ff · outbound

This paper cites InProceedings of the 2021 ACM SIGCOMM 2021 Conference(Virtual Event, USA)(SIGCOMM ’21).

Network Analysis with Parametric NetKAT InProceedings of the 2021 ACM SIGCOMM 2021 Conference(Virtual Event, USA)(SIGCOMM ’21)

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:29.760793Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7c51c69-c189-4746-becb-67dbd9678677 · outbound

This paper cites an unresolved cited work.

Network Analysis with Parametric NetKAT Unresolved cited work

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:30.074063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10880aea-5d0b-432d-b756-e797c6129853 · outbound

This paper cites ACM Program.

Network Analysis with Parametric NetKAT ACM Program

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:29.330466Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 523fb44c-377b-479f-8e44-b3d495d72983 · outbound

This paper cites ACM Program.

Network Analysis with Parametric NetKAT ACM Program

Reference 2026

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:29.588739Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e06d5a70-7d26-4df6-b2ed-6c8e9344353a · outbound

This paper cites an unresolved cited work.

Network Analysis with Parametric NetKAT Unresolved cited work

Reference 2992

Resolution: unresolved; no resolver link, observed 2026-08-02T07:36:28.893717Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.