Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-01T22:14:42.900480Z
Paper Citation Record · LEDGER
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic
As of 9 August 2026, this Paper Citation Record lists 62 of 62 outbound references and 0 inbound Pith citation observations for arXiv:2607.15877.
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-09T06:31:02.800959+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
62 of 62 outbound references displayed
- verified exact6
- verified fuzzy0
- unresolved54
- parse uncertain0
- malformed identifier2
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation c448227d-b9d4-4671-aa69-aba664cc5ad4 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:37.168012Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 52a75c97-37db-4bfa-999a-5b06c83651c6 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:37.314798Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c9c17b61-45b8-4d8b-90f0-8db8fe2c23a3 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:37.458581Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c2eb3b47-12f0-41b8-a926-b104c1fb61ad · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:37.601768Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2837ec07-a863-43db-ae75-9177b7cca5a7 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:37.723793Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9daa77b1-4276-4aac-b34d-539aced7044b · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:37.904682Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 464d875a-d578-4bc4-b866-d73dec19fa29 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:38.075134Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f3343bb4-1aae-4c70-9750-768d2dfc108c · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:38.264138Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8356ca86-ce0a-4126-843f-f5637f78949c · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:38.549461Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3a01827a-25cb-4d6f-9b19-39e745bfefd1 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:38.610048Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fc6ea6d6-b0ee-4119-a73c-8f2fe2f6d0fd · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:38.680350Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3a57c7d2-b185-4013-b623-3163dd7f68a2 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:38.752174Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 18d1bf73-060a-44bb-8067-e958f65bff18 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:38.805978Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6804b507-87a8-4afe-b875-165424e15d1f · outbound
This paper cites Chandra, Robert Griesemer, and Joshua Redstone.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Chandra, Robert Griesemer, and Joshua Redstone
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:38.907303Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 871a2863-3a46-487c-b067-24d102c28cb5 · outbound
This paper cites Frans Kaashoek, and Nickolai Zeldovich.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Frans Kaashoek, and Nickolai Zeldovich
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:39.004175Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5d83b4f4-7c04-4a1e-90cc-c39731746931 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:39.075670Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b1c30e88-add9-4583-bc9b-c28b09f5b6f3 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:39.151872Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6f981d5d-5995-480b-9d3b-c57bcfbb5668 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:39.297535Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fa7d4d32-1534-484d-8eda-7a85ddda68d8 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:39.383718Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fd769264-9501-4378-9216-ec8b6a538f8f · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:39.428726Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 35048e31-ad8f-4352-bb01-ff1ff6238df6 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 21
- Resolution
- verified exact
- doi, observed 2026-08-01T22:18:35.732741Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 2338d16c-f8e3-40fb-b69d-fb59660cf40a · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 22
- Resolution
- verified exact
- doi, observed 2026-08-01T22:18:35.643277Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation e5f2da0f-26a8-4916-b81e-c429199e08ab · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:39.684251Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7a3307ac-e5eb-4e65-a0ce-f29d6c1017ed · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:39.865564Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b15a10aa-bdef-4674-be1b-c999cdd1056a · outbound
This paper cites Herlihy and Jeannette M.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Herlihy and Jeannette M
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:40.039717Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2d398f3a-0831-4ffc-8b55-c42096a96e23 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:40.194487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bf5554f5-bd7c-46f2-8f98-40787a53df54 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 27
- Resolution
- verified exact
- doi, observed 2026-08-01T22:18:35.547765Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 3a2b3a11-85d1-4fb7-a2d8-191f862c4fa1 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:40.459952Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation af570f18-be29-4f38-916f-f8e81a18027e · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:40.576487Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0a5a0715-b7c3-48cd-9a6a-95496da358a5 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:40.700355Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 63901781-9e36-42eb-9cc6-7d2e58c87467 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:40.878639Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d7697c02-3378-4c6e-abdf-904456ee082a · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 32
- Resolution
- verified exact
- doi, observed 2026-08-01T22:18:35.351083Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 09e81ac7-648a-41ef-9f8c-0029bab9da16 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:41.077258Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6d25082a-78b1-4475-acbf-bec3282075a3 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:41.148968Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 51bde19e-0532-4bd7-82b6-44b08cd406cb · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:41.218074Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 504c1439-3777-4c1f-a054-4764863bc921 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:41.279509Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d7435a7b-07b9-4458-912e-32cbbcb98ef2 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:41.391238Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 414ff136-b0a5-42f0-acbd-55c24f150139 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:41.441401Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 07431958-489d-43f1-9cf0-e29d4e9aae1c · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:41.547074Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 336995dd-77aa-4a01-8d58-5d48a7c57659 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:41.602750Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 21e7bc03-a52d-4718-a7c1-20ecc6e93d8c · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 41
- Resolution
- verified exact
- doi, observed 2026-08-01T22:18:35.283159Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation d5fc6ac4-5c0c-416e-9613-b23186c5fece · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:41.701420Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 59a2bce8-3049-46f7-bad3-0a8313bceb66 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:41.752155Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6db1f07d-cc07-4998-a4f3-ca2ff0a138b3 · outbound
This paper cites Papadimitriou.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Papadimitriou
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:41.816426Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 80c0c8c2-d444-4d26-81a5-2f428a4dbfca · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:41.900141Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 54889328-e5b5-473f-a243-c0f7fcead2da · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:41.983204Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 820c9940-c689-4b79-bba1-37134e6b2eeb · outbound
This paper cites On the Semantics of Snapshot Isolation.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic On the Semantics of Snapshot Isolation
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:42.036609Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7796a826-9ee4-4b8e-a5cc-335be82470dd · outbound
This paper cites Reducing urban traffic congestion due to localized routing decisions.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Reducing urban traffic congestion due to localized routing decisions
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:42.096873Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c2bcfefe-64bc-4966-909e-70668f6b88a8 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:42.155332Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6c287cd8-08c4-4efc-a04b-e13f75e26f44 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 50
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-01T22:14:42.237717Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8d649edc-efa3-4773-89db-2a443f1fecf0 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:42.312846Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b51afad8-d4fb-46d5-aba2-c0e9f87d1758 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:42.369071Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation eafd054d-c930-4b91-ba6b-4f848f782b7f · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 53
- Resolution
- verified exact
- doi, observed 2026-08-01T22:18:35.119748Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 25982783-511c-4b8d-8366-ba2ac07c53e6 · outbound
This paper cites Pierce, and Steve Zdancewic.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Pierce, and Steve Zdancewic
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:42.528234Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 867fc76c-45d4-471b-a5fe-07dd7640b77c · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:42.683706Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 53103ece-2908-48a8-8c22-bbc3c3318ea4 · outbound
This paper cites 2020.Parametric Operational Semantics for Consistency Models.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic 2020.Parametric Operational Semantics for Consistency Models
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:42.762764Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e4564318-a933-49ab-a986-7f212018e1f7 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 57
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:42.840212Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c6a1f06b-e17b-4a2e-9aa1-e9a8b312f6ed · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:42.900480Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b2f8c0ed-b9ef-4cae-b7ce-f67c50cc2473 · outbound
This paper cites ACM Program.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic ACM Program
Reference 2019
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:42.606722Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a3d5b0b3-d786-4d22-b43b-a77afcc41105 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 2020
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-01T22:14:41.335692Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4e845684-3074-41e5-b4d2-3a8a1090e76b · outbound
This paper cites ACM Program.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic ACM Program
Reference 2021
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:38.440939Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c0885f11-36b3-41e4-a990-6824cc1f2c82 · outbound
This paper cites an unresolved cited work.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic Unresolved cited work
Reference 2022
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T22:14:41.498622Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.