Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification | Paper Citation Record

Observation 6c8a0b4c-7bbd-43ef-ac70-fcca9d83e55c · outbound

This paper cites Milner, A calculus of communicating systems.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Milner, A calculus of communicating systems

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.008276Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4656445c-32a9-4088-b049-a9e0323a126e · outbound

This paper cites Prentice hall Englewood Cliffs, 1989, vol.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Prentice hall Englewood Cliffs, 1989, vol

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.012567Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 539f875a-8d75-44ba-86d5-4c634124c6a3 · outbound

This paper cites Model-driven software verification,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Model-driven software verification,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.016402Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5084bb5c-71c8-4973-b52b-638f3040c397 · outbound

This paper cites Deriving bisimulation rela- tions from path extension based equivalence checkers,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Deriving bisimulation rela- tions from path extension based equivalence checkers,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.019864Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d70efff4-3b12-489c-9f0d-1d04b592055c · outbound

This paper cites A core calculus for equational proofs of cryptographic protocols,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification A core calculus for equational proofs of cryptographic protocols,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.023415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5edf79f-eb68-479a-895a-1f7ecc24d1ef · outbound

This paper cites Probabilistic bisimulation and equivalence for security analysis of network proto- cols,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Probabilistic bisimulation and equivalence for security analysis of network proto- cols,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.026961Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2b6b924-2c50-439d-b9a6-1bafcb6a2f7f · outbound

This paper cites A logical char- acterization of differential privacy,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification A logical char- acterization of differential privacy,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.030877Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation acf2efc2-7dbf-4787-803b-43b09a84a43f · outbound

This paper cites Bisimulation for secure information flow analysis of multi-threaded programs,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Bisimulation for secure information flow analysis of multi-threaded programs,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.034464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 054babae-f1d4-4307-9f26-ceb0c59183e1 · outbound

This paper cites Refinement-based verification of device-to-device information flow,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Refinement-based verification of device-to-device information flow,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.037756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e1f16bc-4eb7-426c-99ee-50b1f60cb548 · outbound

This paper cites An automated quantitative information flow analysis for concurrent programs,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification An automated quantitative information flow analysis for concurrent programs,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.041154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45e08e5c-f1e6-4ab2-8019-c3af000cce22 · outbound

This paper cites Quantifying over information change with common knowledge,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Quantifying over information change with common knowledge,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.044681Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8788672f-da0f-4818-89bc-45004700ff3f · outbound

This paper cites Bisimulation-based concept learning in description logics,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Bisimulation-based concept learning in description logics,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.048225Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 064eb78b-fc65-42a9-88c8-edcdfdc7b5c7 · outbound

This paper cites Bisimulations for knowing how logics,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Bisimulations for knowing how logics,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.051657Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae67df91-ced2-496f-8d79-2f493f8c470d · outbound

This paper cites Trustworthy runtime verification via bisimulation (experience report),.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Trustworthy runtime verification via bisimulation (experience report),

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.054894Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4238721c-55c1-4eb0-96c3-4c4e5201cd57 · outbound

This paper cites Checking NFA equivalence with bisimulations up to congruence,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Checking NFA equivalence with bisimulations up to congruence,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.058339Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2dac237-9119-44f7-a9d9-bc8ef7456f34 · outbound

This paper cites Coinductive algorithms for büchi automata,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Coinductive algorithms for büchi automata,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.061595Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 980bfb4a-45d0-4778-b38c-01cf0d10eff2 · outbound

This paper cites Fast coalgebraic bisimilarity minimiza- tion,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Fast coalgebraic bisimilarity minimiza- tion,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.065178Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40b25460-4b3c-4c71-9619-c014a7159aff · outbound

This paper cites SMT-based bisimulation minimisation of Markov models,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification SMT-based bisimulation minimisation of Markov models,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.068427Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c64090b-6006-4a12-a1ef-b27028ffe499 · outbound

This paper cites A bisimulation-based foundation for scale reductions of continuous-time markov chains,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification A bisimulation-based foundation for scale reductions of continuous-time markov chains,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.071911Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de1536ef-10dd-4e63-954b-686045e9afec · outbound

This paper cites Bq-nco: Bisimulation quotienting for efficient neural combinatorial optimiza- tion,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Bq-nco: Bisimulation quotienting for efficient neural combinatorial optimiza- tion,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.075252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 396adb72-4b8f-447f-a14c-c9d5e674bef5 · outbound

This paper cites Backward bisimulation in markov chain model checking,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Backward bisimulation in markov chain model checking,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.078641Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc71b48b-c864-4bed-8bb1-dcba1b829839 · outbound

This paper cites Polynomial time algorithms for testing probabilistic bisimu- lation and simulation,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Polynomial time algorithms for testing probabilistic bisimu- lation and simulation,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.082042Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4546e47f-b6f7-4ddd-918e-48d480836939 · outbound

This paper cites Simple O(m log n) time markov chain lumping,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Simple O(m log n) time markov chain lumping,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-15T21:27:29.085214Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 452ea74a-9c11-4c96-8ff5-cdb8915ed587 · outbound

This paper cites On the complexity of computing probabilistic bisimilarity,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification On the complexity of computing probabilistic bisimilarity,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.368568Z

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 d324a80c-70a2-4aa6-89df-b73d996ad7d4 · outbound

This paper cites Infinite results,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Infinite results,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.258424Z

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 bcceae69-c93d-4d52-9846-f06951fbbb01 · outbound

This paper cites Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.247896Z

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 eb19962a-020d-4ec8-9161-0ed23784b1d6 · outbound

This paper cites Probabilistic bisimulation for parameterised systems,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Probabilistic bisimulation for parameterised systems,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.237354Z

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 51eb77d7-f3b4-4435-b8f7-9934fb951cfa · outbound

This paper cites Bisimulation learning,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Bisimulation learning,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.227435Z

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 887a90df-1e97-40b2-aa13-d897dd70bf4e · outbound

This paper cites Roadmap of infinite results,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Roadmap of infinite results,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.217807Z

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 9aae0582-da13-4c6f-83eb-ffe6273468eb · outbound

This paper cites The bisimulation problem for equational graphs of finite out-degree,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification The bisimulation problem for equational graphs of finite out-degree,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.207835Z

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 73cc41bf-5e9d-41a7-ae4d-a296abc783a2 · outbound

This paper cites Game characterization of probabilistic bisimilarity, and applications to pushdown automata,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Game characterization of probabilistic bisimilarity, and applications to pushdown automata,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.198516Z

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 da034b5a-e274-4f47-badf-3a49000541a4 · outbound

This paper cites Pushdown normal-form bisimulation: A nominal context-free approach to program equiva- lence,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Pushdown normal-form bisimulation: A nominal context-free approach to program equiva- lence,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.188648Z

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 132a9979-1084-4c61-9ee9-0d9e202f40ba · outbound

This paper cites Equivalence checking 40 years after: a review of bisimulation tools,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Equivalence checking 40 years after: a review of bisimulation tools,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.178650Z

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 2778c3d8-ff8f-4ce5-bc95-f52650541930 · outbound

This paper cites Ahrendt, B.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Ahrendt, B

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.168712Z

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 ddda838a-8e6f-4389-a025-b9154843c820 · outbound

This paper cites Deductive software verification: from pen-and-paper proofs to industrial tools,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Deductive software verification: from pen-and-paper proofs to industrial tools,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.158366Z

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 cf9999a2-0ce2-42fc-8402-a2cde8a48947 · outbound

This paper cites Loop invariants: Analysis, clas- sification, and examples,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Loop invariants: Analysis, clas- sification, and examples,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.148141Z

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 45a83de9-9b2e-49dd-8810-edb5cd1d1fa6 · outbound

This paper cites Finite presentations of infinite struc- tures: Automata and interpretations,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Finite presentations of infinite struc- tures: Automata and interpretations,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.137869Z

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 526e7906-7856-4676-b185-55fb33b95bb7 · outbound

This paper cites Transforming structures by set interpre- tations,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Transforming structures by set interpre- tations,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.127171Z

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 4fe33d63-25e0-48e8-9452-073e34fb002e · outbound

This paper cites Regular model checking revisited,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Regular model checking revisited,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.116911Z

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 aa682d5d-7442-4173-ab1e-8c4cf1485c82 · outbound

This paper cites Probabilistic and nondeterministic aspects of anonymity,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Probabilistic and nondeterministic aspects of anonymity,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.106676Z

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 892ff4a9-2570-45c8-9ba6-78624f7f7ca1 · outbound

This paper cites Probabilistic anonymity,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Probabilistic anonymity,

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.095700Z

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 dbe694ea-6e67-4297-8d68-e75bc5975f53 · outbound

This paper cites Anonymity and information hiding in multiagent systems,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Anonymity and information hiding in multiagent systems,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.085019Z

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 663af989-582a-4799-8470-70dc8726348f · outbound

This paper cites Proving uniformity and independence by self-composition and coupling.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Proving uniformity and independence by self-composition and coupling

Reference 43

Resolution: verified exact; local_arxiv, observed 2026-08-15T21:27:29.474983Z

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 d698af71-1f39-43f0-b69f-a107ed09db03 · outbound

This paper cites Barthe, J.-P.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Barthe, J.-P

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.074870Z

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 408d9109-8234-480c-acc8-3a7bdea950b0 · outbound

This paper cites The dining cryptographers problem: Unconditional sender and recipient untraceability,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification The dining cryptographers problem: Unconditional sender and recipient untraceability,

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.064730Z

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 c9af94ef-f836-4fe9-8e49-84815f1acf44 · outbound

This paper cites Model checking param- eterized systems,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Model checking param- eterized systems,

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.054090Z

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 f58a9540-d993-45aa-b547-f46c58aa81f8 · outbound

This paper cites Parameterized verification of leader/follower systems via arithmetic constraints,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Parameterized verification of leader/follower systems via arithmetic constraints,

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.042913Z

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 be169cb9-8764-4d49-88ee-232f8372123c · outbound

This paper cites Liveness of randomised parameterised systems under arbitrary schedulers,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Liveness of randomised parameterised systems under arbitrary schedulers,

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.032762Z

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 c6bea48c-65cd-4e3a-bb43-9e5431fd4cef · outbound

This paper cites APEX: an analyzer for open probabilistic programs,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification APEX: an analyzer for open probabilistic programs,

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.019504Z

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 6365dde2-31f6-4d74-8ef6-e8a5f3f380b8 · outbound

This paper cites Crowds: Anonymity for web transac- tions,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Crowds: Anonymity for web transac- tions,

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:30.006508Z

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 163badce-a674-49ee-8caa-b4f0479105c3 · outbound

This paper cites The complexity of nonuniform random number generation,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification The complexity of nonuniform random number generation,

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.995976Z

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 792bf04c-cbec-4c7e-a336-9efa7c7c527f · outbound

This paper cites Feller, An introduction to probability theory and its applications.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Feller, An introduction to probability theory and its applications

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.984860Z

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 fdf6cc1a-d50f-4eb7-9109-142616ba1bfc · outbound

This paper cites Learning to prove safety over parameterised concurrent systems,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Learning to prove safety over parameterised concurrent systems,

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.972048Z

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 85be9585-8392-4bb1-8ef6-389773ee4dfd · outbound

This paper cites Parameterized synthesis with safety properties,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Parameterized synthesis with safety properties,

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.960317Z

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 ce3d95c5-fc60-4658-ab5c-80484738cfd4 · outbound

This paper cites ICE: A robust framework for learning invariants,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification ICE: A robust framework for learning invariants,

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.948964Z

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 7a1dcba2-28e5-4f22-8778-8b644fdabf6e · outbound

This paper cites Bisimulation through probabilistic testing,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Bisimulation through probabilistic testing,

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.938532Z

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 45ab7a13-7c70-4606-8e2c-086c5001c418 · outbound

This paper cites Klarlund and A.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Klarlund and A

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.929141Z

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 4ac1a75b-36ca-4cf8-9b50-e6434508dcc4 · outbound

This paper cites Lazy automata techniques for WS1S,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Lazy automata techniques for WS1S,

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.919163Z

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 ed600b48-4af8-4933-9394-0fab6bd151ed · outbound

This paper cites Learning regular sets from queries and counterexamples,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Learning regular sets from queries and counterexamples,

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.909350Z

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 000ab97b-c32e-42a5-92f6-7cab7709f090 · outbound

This paper cites Inference of finite automata using homing sequences,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Inference of finite automata using homing sequences,

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.899348Z

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 acdcad67-6b98-4ae5-93bb-99edca01673d · outbound

This paper cites an unresolved cited work.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Unresolved cited work

Reference 61

Resolution: unresolved; raw_fallback, observed 2026-08-15T21:27:29.888730Z

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 4f76619e-ebe4-4a58-a7f2-122171103362 · outbound

This paper cites Recursive markov chains, stochastic grammars, and monotone systems of nonlinear equations,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Recursive markov chains, stochastic grammars, and monotone systems of nonlinear equations,

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.878141Z

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 91e98c96-e82e-4208-bf9d-88ea13f98218 · outbound

This paper cites Model checking of probabilistic and nondeterministic systems,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Model checking of probabilistic and nondeterministic systems,

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.866587Z

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 9bb93fa1-3f1e-4c2f-a615-3dc8e5499229 · outbound

This paper cites Expressiveness of probabilistic modal logics: A gradual approach,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Expressiveness of probabilistic modal logics: A gradual approach,

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.856603Z

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 493720c7-d916-47ea-a440-6900ffe5aa3c · outbound

This paper cites Symbolic techniques for parameterised verification,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Symbolic techniques for parameterised verification,

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.845793Z

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 acff2d85-7a00-43f9-8a82-c4efbcfadd9b · outbound

This paper cites Automatic presentations of infinite structures.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Automatic presentations of infinite structures

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.835403Z

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 7b953db3-e5a1-44df-ba24-81b37ae65d2e · outbound

This paper cites Proving termination of probabilis- tic programs using patterns,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Proving termination of probabilis- tic programs using patterns,

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.826106Z

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 740ec5e6-fe5d-4842-901a-af67d883e7a1 · outbound

This paper cites Linear automaton transformations,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Linear automaton transformations,

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.816235Z

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 deae4d53-100e-4f8c-951b-770645005cdc · outbound

This paper cites Woess, Denumerable Markov chains.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Woess, Denumerable Markov chains

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.806730Z

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 87858d82-3178-460c-a0d6-f30480ee1806 · outbound

This paper cites Learning probabilistic ter- mination proofs,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Learning probabilistic ter- mination proofs,

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.796989Z

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 1a08da5d-19a6-4c96-904b-f99a86b1ed9c · outbound

This paper cites Algorithmic probabilistic game semantics,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Algorithmic probabilistic game semantics,

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.786204Z

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 f8182a62-47d7-4c64-9247-f15aeda7cea5 · outbound

This paper cites Constraint-based synthesis of coupling proofs,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Constraint-based synthesis of coupling proofs,

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.776249Z

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 b30f19e1-d0d1-401f-9758-7c1e9b57f383 · outbound

This paper cites The Armoise language,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification The Armoise language,

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.765482Z

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 f5bf617f-6ed2-4a3d-8f50-335af255d728 · outbound

This paper cites Tapas: The talence presburger arithmetic suite,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Tapas: The talence presburger arithmetic suite,

Reference 74

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.754568Z

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 e69642a0-f5a0-433b-9302-ad80b5d03b0b · outbound

This paper cites Software model synthesis using satisfi- ability solvers,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Software model synthesis using satisfi- ability solvers,

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.744133Z

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 6d2f7293-9162-43f9-a591-41d257eb1188 · outbound

This paper cites The thousand-and-one cryptographers,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification The thousand-and-one cryptographers,

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.733738Z

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 8385f3c9-6f4f-4f95-b79e-26532fab298e · outbound

This paper cites Formal certification of code-based cryptographic proofs,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Formal certification of code-based cryptographic proofs,

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.723623Z

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 cb5c2932-9579-4f10-bd20-edf270c8b44b · outbound

This paper cites A quantitative probabilistic relational Hoare logic.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification A quantitative probabilistic relational Hoare logic

Reference 78

Resolution: verified exact; local_arxiv, observed 2026-08-15T21:27:29.451865Z

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 aa300d57-5b7b-4bc3-b162-b2e615c293b4 · outbound

This paper cites Abstraction for epistemic model checking of dining cryptographers-based protocols,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Abstraction for epistemic model checking of dining cryptographers-based protocols,

Reference 79

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.713488Z

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 0aa39e33-754f-4c6f-ada7-ab6eb7fc1f74 · outbound

This paper cites MCMAS: an open-source model checker for the verification of multi-agent systems,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification MCMAS: an open-source model checker for the verification of multi-agent systems,

Reference 80

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.703126Z

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 8963dc4e-6c78-4332-b021-6c182dd84820 · outbound

This paper cites Parametric model checking with ver ics,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Parametric model checking with ver ics,

Reference 81

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.693260Z

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 2bb76d03-8116-4cca-b3d3-e9b16c085619 · outbound

This paper cites Apte: an algorithm for proving trace equivalence,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Apte: an algorithm for proving trace equivalence,

Reference 82

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.683756Z

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 3cd8d406-9824-4b60-af0c-63b263cf0f51 · outbound

This paper cites Automating open bisimulation checking for the spi calculus,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Automating open bisimulation checking for the spi calculus,

Reference 83

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.673664Z

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 f12b5147-658c-4ffd-b45c-86fe3fcd71a2 · outbound

This paper cites A survey of symbolic methods in computational analysis of cryptographic systems,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification A survey of symbolic methods in computational analysis of cryptographic systems,

Reference 84

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.663972Z

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 f4267cca-50d6-4bbb-a34a-2f3c6065983e · outbound

This paper cites The modest toolset: An integrated environment for quantitative modeling and verification,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification The modest toolset: An integrated environment for quantitative modeling and verification,

Reference 85

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.654595Z

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 ebe6437d-8f74-4558-9e7d-2add44aca39b · outbound

This paper cites Probabilistic analysis of an anonymity system,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Probabilistic analysis of an anonymity system,

Reference 86

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.644635Z

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 1166253d-0a84-4927-825f-2599a78d88fa · outbound

This paper cites PRISM 4.0: Verification of probabilistic real-time systems,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification PRISM 4.0: Verification of probabilistic real-time systems,

Reference 87

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.634857Z

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 1b4a58d0-6c24-4c11-bab2-177f8bd65212 · outbound

This paper cites The probabilistic model checker Storm,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification The probabilistic model checker Storm,

Reference 88

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.624891Z

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 7c031eec-2254-4715-b3db-0ae8f747cb16 · outbound

This paper cites an unresolved cited work.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Unresolved cited work

Reference 89

Resolution: unresolved; raw_fallback, observed 2026-08-15T21:27:29.614801Z

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 9a1d7d77-7d7d-4ccf-ae19-e1f3669b1bcd · outbound

This paper cites Model checking indistinguishability of randomized security proto- cols,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Model checking indistinguishability of randomized security proto- cols,

Reference 90

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.604980Z

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 4022ad6b-154f-4e89-bc7d-30e9459b6721 · outbound

This paper cites Symbolic protocol verification with dice: process equivalences in the presence of probabilities,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Symbolic protocol verification with dice: process equivalences in the presence of probabilities,

Reference 91

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.594991Z

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 78fe88c5-4760-4dbe-92b6-d338ad3fc225 · outbound

This paper cites Psi: Exact symbolic inference for probabilistic programs,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Psi: Exact symbolic inference for probabilistic programs,

Reference 92

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.584555Z

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 15bb8a9a-db22-4687-b139-61e4e644fc69 · outbound

This paper cites Incremental inference for probabilistic programs,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Incremental inference for probabilistic programs,

Reference 93

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.573367Z

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 06a98d07-3d80-44af-9eb3-bb252f393efb · outbound

This paper cites Symbolic execution for randomized programs,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Symbolic execution for randomized programs,

Reference 94

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.563205Z

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 917b3e8a-0175-43e1-9154-6c94f423521f · outbound

This paper cites Exploring probabilistic bisimulations, part i,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Exploring probabilistic bisimulations, part i,

Reference 95

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.552511Z

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 fd6c28d1-b19b-48be-b1fd-8cf47cb8269e · outbound

This paper cites Weak bisimulation for fully probabilistic processes,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Weak bisimulation for fully probabilistic processes,

Reference 96

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.542077Z

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 44273d4a-c5d4-48a4-be78-5b3997019c7d · outbound

This paper cites Weak bisimulation for proba- bilistic systems,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Weak bisimulation for proba- bilistic systems,

Reference 97

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.531909Z

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 45153bfe-7197-44c7-9055-ba9fb7dd0d0d · outbound

This paper cites Branching bisimulation for probabilis- tic systems: Characteristics and decidability,.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Branching bisimulation for probabilis- tic systems: Characteristics and decidability,

Reference 98

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.521696Z

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 9f8e0402-5d81-4ed1-871b-0dad8b1465a0 · outbound

This paper cites A Spectrum of Approximate Probabilistic Bisimulations.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification A Spectrum of Approximate Probabilistic Bisimulations

Reference 99

Resolution: verified exact; local_arxiv, observed 2026-08-15T21:27:29.432529Z

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 f1712ddd-556a-4e6e-9e3f-8debfff01823 · outbound

This paper cites The algorithmics of bisimi- larity.

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification The algorithmics of bisimi- larity

Reference 100

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T21:27:29.509719Z

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.

Coverage vector

Reference resolution

Outbound references

Pith citing papers