Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T18:40:12.568233Z
Paper Citation Record · LEDGER
As of 19 August 2026, this Paper Citation Record lists 56 of 56 outbound references and 0 inbound Pith citation observations for arXiv:2506.19568.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T18:40:12.568233Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+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
56 of 56 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 54e63c5d-f553-4ecb-b860-0c5362b0ae4d · outbound
Time-Sensitive Importance Splitting ACM Trans
Reference 1
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b882f1db-eed2-4a20-9a8a-b65860ce571a · outbound
Time-Sensitive Importance Splitting Performance Evaluation70(6), 400–422 (2013)
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation d05c1678-dce5-474e-9feb-b1a022b61c47 · outbound
Time-Sensitive Importance Splitting MIT Press (2008)
Reference 3
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 17bc8e09-2f8a-4020-86d7-ef7e2fed4721 · outbound
Time-Sensitive Importance Splitting IEEE transactions on software engineering17(3), 259 (1991)
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 8a3b44e6-97aa-459f-a0c7-bc83599924d4 · outbound
Time-Sensitive Importance Splitting Unresolved cited work
Reference 5
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 82125ff0-8313-4204-82df-e3c616b7acce · outbound
Time-Sensitive Importance Splitting In: Bertrand, N., Bortolussi, L
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 92017288-cfa6-4cfe-b193-0e6e24851777 · outbound
Time-Sensitive Importance Splitting Transportation Research Part C: Emerging Technolo- gies 82, 314–336 (2017)
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 46f5d2ad-b2a6-44d7-85b8-ff56e1b4e158 · outbound
Time-Sensitive Importance Splitting Unresolved cited work
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 6216d2de-2490-4f19-bf44-89201022d94f · outbound
Time-Sensitive Importance Splitting Unresolved cited work
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation aa488e9d-b322-4a09-b29a-eb1d272c7aff · outbound
Time-Sensitive Importance Splitting Unresolved cited work
Reference 10
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c7fdaad4-7681-4407-ac2c-9cf75b500bb4 · outbound
Time-Sensitive Importance Splitting Unresolved cited work
Reference 11
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 37ecb8c1-d195-498e-9956-0d6c03efe6e0 · outbound
Time-Sensitive Importance Splitting In: EPEW
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation bd129849-f6f5-42aa-9529-fe60e076c1a5 · outbound
Time-Sensitive Importance Splitting Unresolved cited work
Reference 13
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c52dd0f5-5d2a-4423-8fe3-5a67d77a5d9a · outbound
Time-Sensitive Importance Splitting Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
Reference 14
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4ae49838-862b-41d0-a1f1-748b81fa2376 · outbound
Time-Sensitive Importance Splitting In: QEST
Reference 15
Source-reported events for the cited work
correction dated 2020-12-17. Source: crossref record 10.1007/978-3-030-59854-9_21->10.1007/978-3-030-59854-9_17:correction, observed 2026-07-11T03:03:26.365+00:00. This notice travels one citation hop only.
Observation ae87f23f-fafe-4872-928c-f55273da1ef4 · outbound
Time-Sensitive Importance Splitting IEEE Transactions on Software Engineering48(12), 4762–4788 (2021)
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 96c1afe2-bd64-4058-aa82-6c96f6af7543 · outbound
Time-Sensitive Importance Splitting Sto- chastic Analysis and Applications25(2), 417–443 (2007)
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation ae213cf2-2ae5-4f19-9381-5eeb45649262 · outbound
Time-Sensitive Importance Splitting Performance evaluation20(1-3), 337–357 (1994)
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 17f38b75-545f-416e-ab9a-bae5f6c7496a · outbound
Time-Sensitive Importance Splitting Unresolved cited work
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 95155d78-52b3-4cf9-883f-ffdb5559ed6b · outbound
Time-Sensitive Importance Splitting In: FORMATS
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation b090c047-963f-42c9-b9fb-07aefab34b51 · outbound
Time-Sensitive Importance Splitting In: ICTAC 2018
Reference 21
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 773b54a5-e079-485d-9dd1-f3134feea732 · outbound
Time-Sensitive Importance Splitting In: Gopalakrishnan, G., Qadeer, S
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 049f9055-4b6c-400a-8c0a-6cf0539a13ca · outbound
Time-Sensitive Importance Splitting In: QEST+FORMATS
Reference 23
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8f66a664-7148-4695-b9f4-c8c807e7d898 · outbound
Time-Sensitive Importance Splitting Nuclear Power Engineering42(5), 173–177 (2021)
Reference 24
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 297bdb35-786c-4e46-9e9b-a0ff91111b19 · outbound
Time-Sensitive Importance Splitting Unresolved cited work
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 88d81a64-d262-4350-af39-98e31195d848 · outbound
Time-Sensitive Importance Splitting In: Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 8f711a3d-9936-405a-a8b0-25c9f48b4613 · outbound
Time-Sensitive Importance Splitting Performance Evalu- ation 44(1-4), 51–72 (2001)
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 04c0bdde-bb33-4975-855e-bdc6242feca3 · outbound
Time-Sensitive Importance Splitting Unresolved cited work
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation a86863da-edb8-47ca-b063-508280ba9e9a · outbound
Time-Sensitive Importance Splitting European Journal of Opera- tional Research 1(6), 396–402 (1977)
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 817dd79e-e96f-453b-a875-797c9aa5ff05 · outbound
Time-Sensitive Importance Splitting Backwards Reachability for Probabilistic Timed Automata: A Replication Report
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation d65f640f-50a7-4828-8969-0382144b4fd3 · outbound
Time-Sensitive Importance Splitting In: Proceedings of the Seventh Annual Symposium on Logic in Com- puter Science (LICS ’92), Santa Cruz, California, USA, June 22-25, 1992
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation c982b126-54a5-425e-96a6-2e6586043cde · outbound
Time-Sensitive Importance Splitting Unresolved cited work
Reference 33
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7d2d3e50-5c53-42b0-aee6-e1678600fbbe · outbound
Time-Sensitive Importance Splitting ACM Trans
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 97e81c2e-cc40-4831-a819-17eb442b47f0 · outbound
Time-Sensitive Importance Splitting In: Fränzle, M., Kapur, D., Zhan, N
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation ded9eeaf-53a5-41f5-b8c6-7b24a5f13f71 · outbound
Time-Sensitive Importance Splitting Information and Computation205(7), 1027– 1077 (2007)
Reference 36
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 13ee857d-482f-4c0b-8ce0-fb72f95d8b7b · outbound
Time-Sensitive Importance Splitting Unresolved cited work
Reference 37
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 273f7b2a-3f8d-4181-9cd2-2e6522b8adc8 · outbound
Time-Sensitive Importance Splitting Unresolved cited work
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 4b90eb34-c5ee-453c-bfdb-79632c2e486e · outbound
Time-Sensitive Importance Splitting In: ESREL
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 54124228-75b6-4b6c-a094-6dc46b258505 · outbound
Time-Sensitive Importance Splitting In: LPAR 2020
Reference 40
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 43bca0ee-ecbc-43d7-81a1-5854ff204962 · outbound
Time-Sensitive Importance Splitting IEEE Transactions on Reliability50(3), 246–264 (2001)
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation d94ee38c-1706-4f1c-970c-e85f7888b9d1 · outbound
Time-Sensitive Importance Splitting Unresolved cited work
Reference 42
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a93e159f-dbb7-403a-b774-9055f87bb611 · outbound
Time-Sensitive Importance Splitting In: NASA Formal Methods - 17th International Symposium, NFM 2025, Williamsburg, Virginia, USA, June 11-13, 2025, Proceedings
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 7cd075e7-90a4-4699-acbc-f8498ca466bc · outbound
Time-Sensitive Importance Splitting John Wiley & Sons, Ltd (2011)
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 1a08bda2-9de8-43a8-b487-35f02f2c8475 · outbound
Time-Sensitive Importance Splitting IEEE Trans
Reference 45
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6e665bd3-6a12-47ef-b883-d12d1ee47f13 · outbound
Time-Sensitive Importance Splitting Com- puters & Operations Research15(1), 19–36 (1988)
Reference 46
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fa9b39c1-f29c-4d6b-abdc-19611a96bcf5 · outbound
Time-Sensitive Importance Splitting In: QEST
Reference 47
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3116ed97-74f6-465a-96ce-76038787fe4b · outbound
Time-Sensitive Importance Splitting ACM Trans
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 83fba7c1-1feb-47af-871f-330e458f1161 · outbound
Time-Sensitive Importance Splitting Unresolved cited work
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 5ee80073-4e44-4620-a4a9-ec41c011a8e7 · outbound
Time-Sensitive Importance Splitting (eds.): Rare Event Simulation Using Monte Carlo Methods
Reference 50
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f1e40f96-85a3-4641-b6a6-106849db7ff4 · outbound
Time-Sensitive Importance Splitting Performance Evaluation45(4), 205–221 (2001)
Reference 51
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 50bfe7d5-7e51-44bf-b77c-37bd733ba387 · outbound
Time-Sensitive Importance Splitting Cambridge Univ
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation b4457f8c-7e05-4eee-9188-8cfe8697fe78 · outbound
Time-Sensitive Importance Splitting IEEE Transactions on Software Engineering 27(8), 728–748 (2001)
Reference 53
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a0cf68d0-7569-405b-950f-f4528e6124d2 · outbound
Time-Sensitive Importance Splitting IEEE Transactions on Software Engineering 35(5), 703–719 (2009)
Reference 54
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 898977ba-19e6-45f8-adca-c91eedd3d70e · outbound
Time-Sensitive Importance Splitting Queueing, Performance and Control in ATM (ITC-13) pp
Reference 55
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation e7a33062-aea7-4d13-acd9-aa10d16c5b78 · outbound
Time-Sensitive Importance Splitting In: CAV 2002
Reference 56
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e7c2f514-ab9f-4b72-b7c5-6f72948f2969 · outbound
Time-Sensitive Importance Splitting https://doi.org/10.1109/LICS.1992.185551, https://doi.org/10.1109/LICS.1992.185551
Reference 406
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
No inbound Pith citation observations are available.