Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T15:26:30.268548Z
Paper Citation Record · LEDGER
As of 15 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 1 inbound Pith citation observation for arXiv:2505.15290.
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-07T15:26:30.268548Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-14T04:26:02.944496Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-14T04:26:03.225927Z
45 of 45 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation ba91d823-e29b-484c-9823-0ddfcbf4f26f · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Vitter, J.S., Spirakis, P.G., Yannakakis, M
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation de5e0541-b9a8-4727-8ec0-06c263657a9f · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains The MIT Press, Cambridge, MA, USA (2008)
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 104756b5-cfa9-43b5-acc2-e4ef25002d19 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Unresolved cited work
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a6a78d32-494f-4fa2-a4b5-2124fc524313 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains SIAM (1994)
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c19586d8-b604-4089-af8e-fd4f6322c357 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Orejas, F., Spirakis, P.G., van Leeuwen, J
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e48bd845-7ed6-48d9-8bde-c0b816e4a3a6 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Bao, F., Li, H., Wang, G
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c8751d49-600b-4d73-8581-bf06173565e1 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Logical Methods in Computer Science6(3) (2010)
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation bdf0365a-90da-499a-ab7e-3329c6914b15 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Birkedal, L
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 2c5222da-c0ad-45f8-a174-85e289593a17 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Unresolved cited work
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f0d632a0-66b3-46ed-89f6-e746ae854634 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Burgard, W., Roth, D
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6330bf98-598b-402b-ab49-952416d2112f · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Cambridge University Press, Cambridge, United Kingdom (2002)
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a074fa2a-54ed-4608-8ef0-3454761dcc37 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Proceedings of the 4th International Conference on the Quantitative Eval- uation of Systems
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c2143b98-d832-45c3-bee5-9cb16ec052c8 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Information Processing Letters87(6), 309–315 (2003)
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 2967ae4f-5a91-44c0-809e-e18f828c1ae5 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Baeten, J.C.M., Mauw, S
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c2951b37-9bbf-4e19-affc-0adb3e6d8590 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Theoretical Computer Science318(3), 323–354 (Jun 2004) 44 S
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 60ad7e09-90b1-456d-a967-43b48547fe2d · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1bb56581-9bdb-4560-9870-f4619337d58c · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Land9(11) (Oct 2020)
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6bbbf94f-53f7-4725-ae9e-587022cb6f1a · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Publicationes Mathematicae6, 290–297 (1959)
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation fda6c972-d779-4f89-8d62-a12d0bbc4b92 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Laarman, A., Sokolova, A
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 36d2c735-6c96-4e34-a45b-18ffc6600e04 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Proceedings of the 37th International Conference on Computer Aided Verification
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 594ccf95-72c5-4646-9c6a-9656ff0201ac · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Rand Corporation (1956)
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a4d787d1-c5de-44a8-9446-1717073dd721 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Broy, M., Jones, C.B
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d6d4e16e-fb1d-40c5-aae4-2f8f5fff610e · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Vojnar, T., Zhang, L
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 91916241-7f2f-4de6-8177-d4595a0870f6 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains International Journal on Software Tools for Technology Transfer 24(4), 589–610 (2022)
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation babf3284-9e1a-4904-9598-dcf71ebe777d · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Studies in Applied Mathematics20(1/4), 224–230 (Apr 1941)
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ac0dd25b-2677-4c43-98d2-ee7111ae6717 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Lecture Notes in Computer Science, vol
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 32bf6eff-b55e-4190-9edd-7bb8037f9ca0 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Proceedings of the 6th Annual Symposium on Logic in Computer Science
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 04b3fb2e-514a-404e-8353-a630473e5271 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Proceedings of the 26th Annual ACM Symposium on Theory of Computing
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ebe9d717-5740-4dc4-9f7b-00ba61086368 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Proceedings of the 13th Inter- national Conference on Tools and Algorithms for the Construction and Analysis of Systems
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation be3023d2-1bf3-43de-9167-16a11d887709 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Springer-Verlag, Heidelberg, Ger- many (1960) Robust Probabilistic Bisimilarity 45
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 30e2f82a-9faa-46ed-97e7-f643ddd24025 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Johnson, D.S., Fagin, R., Fredman, M.L., Harel, D., Karp, R.M., Lynch, N.A., Papadimitriou, C.H., Rivest, R.L., Ruzzo, W.L., Seiferas, J.I
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4b1947a3-3663-45e0-8514-3cb341211020 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Gopalakrishnan, G., Qadeer, S
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 874b55e0-04d1-4a1e-9b15-78b848f7d1ab · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation df5248e1-ea83-4c1b-b8b2-7e146779aa61 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Monographs in Computer Science, Springer (2004)
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b15bd062-4898-4e1f-b791-40e6dbef7c0d · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Frontiers in Built Environment 3, 58 (Oct 2017)
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 250f631f-7feb-415e-ae7b-a37508f6c3b7 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Cambridge University Press, New York, NY, USA (1995)
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4140d32f-4265-44f1-8802-14489dd339fd · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Householder, A.S., Forsythe, G.E., Germond, H.H
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation db1f1774-8fb9-428d-b017-6fa2518e2993 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains ClinicoEconomics and Outcomes Research9, 537–546 (Sep 2017)
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 046db900-795e-4333-9fa6-c90a820214d5 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains BIT Numerical Mathemat- ics 15(3), 331–334 (Sep 1975)
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d74070fe-d3f0-436d-a531-b0c25df6910a · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Graduate Texts in Mathematics, Springer- Verlag, New York, NY, USA (1964)
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation eca78ae1-43d7-4978-8fd2-e7fd13d08d4a · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains PharmacoEconomics 39(8), 869–878 (Aug 2021)
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 35e2e833-657a-4bc4-a37f-9c8117f418e7 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Unresolved cited work
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c82ecbbf-aad7-4eae-ab3e-e52e401a993e · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains In: Meyer, R., Nestmann, U
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 76411eb7-c741-4134-ae54-8322bd88abb3 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains IET Systems Biology4, 193–211 (2010)
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 76b3fbc1-eaac-4e60-8942-6f30eba8c1c6 · outbound
Robust Probabilistic Bisimilarity for Labelled Markov Chains Automated Software Engineering10(2), 203–232 (Apr 2003)
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f427e7f8-d8da-4714-a889-0d0b41930445 · inbound
Clustered Attractor Manifolds and Dynamical Condensation in Self-Attention Robust Probabilistic Bisimilarity for Labelled Markov Chains
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.