Paper Citation Record · LEDGER

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification

As of 21 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 0 inbound Pith citation observations for arXiv:2506.13340.

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

pith.paper-citation-record.v1
2506.13340 v1

Coverage vector

measured 18 of 18 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T20:10:54.919108Z

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+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

18 of 18 outbound references displayed

verified exact1
verified fuzzy12
unresolved4
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2894b82a-6eeb-45c5-92a5-26303280aadc · outbound

This paper cites Frontiers in neuroinformatics7, 48 (2014) Probabilistic Modeling and Verification of Spiking Neural Networks 15.

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification Frontiers in neuroinformatics7, 48 (2014) Probabilistic Modeling and Verification of Spiking Neural Networks 15

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:10:55.241076Z

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 33b74544-5eb0-46e8-91da-0cc843dd0296 · outbound

This paper cites Frontiers of Computer Science16, 1–22 (2022).

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification Frontiers of Computer Science16, 1–22 (2022)

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:10:55.223357Z

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 94232dc7-d3b4-439e-9fce-1b9f4ba9fc6b · outbound

This paper cites Natural Computing19, 135–155 (2020).

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification Natural Computing19, 135–155 (2020)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:10:55.206282Z

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 f8bdbc3e-fc85-49cf-8444-ef5e18a5aea7 · outbound

This paper cites In: BIOINFORMATICS 2018-9th International Conference on Bioinformatics Models, Methods and Algorithms.

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification In: BIOINFORMATICS 2018-9th International Conference on Bioinformatics Models, Methods and Algorithms

Reference 4

Resolution: verified exact; doi, observed 2026-08-15T20:10:54.956899Z

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 2d8025a1-4850-4188-8989-6e954bb74daf · outbound

This paper cites Frontiers in Neurorobotics14, 568359 (2020).

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification Frontiers in Neurorobotics14, 568359 (2020)

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:10:55.189169Z

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 874e39c8-9251-41d7-8bf6-ea45eab5ea5f · outbound

This paper cites Nature542(7639), 96–100 (2017).

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification Nature542(7639), 96–100 (2017)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:10:55.172825Z

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 6a5c2916-eac0-4949-8749-3ea605371b85 · outbound

This paper cites Neuron52(5), 751–766 (2006).

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification Neuron52(5), 751–766 (2006)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:10:55.153991Z

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 4ee9eb4c-9aee-40d3-8cc8-253667724e20 · outbound

This paper cites Formal aspects of computing6, 512–535 (1994).

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification Formal aspects of computing6, 512–535 (1994)

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:10:55.135327Z

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 ba5d3c00-f4ed-4ca6-b443-999eef0ee972 · outbound

This paper cites The Journal of physiology 117(4), 500 (1952).

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification The Journal of physiology 117(4), 500 (1952)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:10:55.118484Z

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 a99a6cad-71eb-41a7-9d0e-2566e35b5dc7 · outbound

This paper cites In: 2021 6th International Conference on Inventive Computation Technologies (ICICT).

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification In: 2021 6th International Conference on Inventive Computation Technologies (ICICT)

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:10:55.100993Z

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 48264654-49a7-4cc5-b044-624a3d99ae0f · outbound

This paper cites Nature Reviews Neuroscience17(4), 224–238 (2016).

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification Nature Reviews Neuroscience17(4), 224–238 (2016)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:10:55.081333Z

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 e63d3946-89c2-4bc0-afe7-949442cb1bef · outbound

This paper cites Current opinion in neurobiology49, 69–74 (2018).

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification Current opinion in neurobiology49, 69–74 (2018)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:10:55.063810Z

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 ccbbd734-cf54-48c6-9d7a-36c10bd99964 · outbound

This paper cites In: Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011.

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification In: Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-15T20:10:54.895455Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e73c31fc-9abb-4c94-b68a-4382b0bbb3f6 · outbound

This paper cites Proceedings of the IEEE86(11), 2278–2324 (1998).

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification Proceedings of the IEEE86(11), 2278–2324 (1998)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-15T20:10:54.900394Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0f493f5-d866-4830-b02d-bd9223779cdd · outbound

This paper cites Neural networks10(9), 1659–1671 (1997).

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification Neural networks10(9), 1659–1671 (1997)

Reference 15

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T20:10:55.023486Z

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 443794b0-043d-451d-9f7d-291afee24620 · outbound

This paper cites an unresolved cited work.

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:10:55.005885Z

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 4b2c66e5-e209-4caf-91ce-90692f89b968 · outbound

This paper cites Frontiers in neuroscience13, 95 (2019).

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification Frontiers in neuroscience13, 95 (2019)

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-15T20:10:54.914648Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a188d38e-ec0f-402d-bcb5-0b917daab393 · outbound

This paper cites Nature communications9(1), 709 (2018).

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification Nature communications9(1), 709 (2018)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:10:54.973960Z

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.

Pith citing papers

No inbound Pith citation observations are available.