The following pages link to Jun Pang (Q201215):
Displayed 43 items.
- Privacy and verifiability in voting systems: methods, developments and trends (Q395657) (← links)
- An inductive approach to strand spaces (Q470008) (← links)
- A novel approach for clustering sentiments in Chinese blogs based on graph similarity (Q660972) (← links)
- GPU-accelerated steady-state computation of large probabilistic Boolean networks (Q667518) (← links)
- Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
- Model checking a cache coherence protocol of a Java DSM implementation (Q864512) (← links)
- (Q1400152) (redirect page) (← links)
- Analysis of a distributed system for lifting trucks. (Q1400154) (← links)
- Fast simulation of probabilistic Boolean networks (Q1706589) (← links)
- Fast leader election in anonymous rings with bounded expected delay (Q1944153) (← links)
- Sequential temporary and permanent control of Boolean networks (Q2110673) (← links)
- Sequential reprogramming of Boolean networks made practical (Q2326580) (← links)
- Formalizing provable anonymity in Isabelle/HOL (Q2355379) (← links)
- Model checking with fairness assumptions using PAT (Q2418662) (← links)
- Verification of a sliding window protocol in \(\mu\) CRL and PVS (Q2576590) (← links)
- (Q2848414) (← links)
- (Q2851076) (← links)
- Weak Probabilistic Anonymity (Q2864392) (← links)
- Keeping Secrets in Resource Aware Components (Q2870285) (← links)
- An Algorithm for Probabilistic Alternating Simulation (Q2891387) (← links)
- (Q2916038) (← links)
- (Q3131824) (← links)
- On Probabilistic Alternating Simulations (Q3163874) (← links)
- ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols (Q3460561) (← links)
- ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks (Q3460562) (← links)
- A formal framework for quantifying voter-controlled privacy (Q3497514) (← links)
- Adapting the UPPAAL Model of a Distributed Lift System (Q3508518) (← links)
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space (Q3510811) (← links)
- Automatic Verification of Hybrid Systems with Large Discrete State Space (Q3522915) (← links)
- Automating Verification of Cooperation, Control, and Design in Traffic Applications (Q3526930) (← links)
- (Q3601869) (← links)
- A Framework for Automatically Checking Anonymity with μCRL (Q3608464) (← links)
- Analyzing an Electronic Cash Protocol Using Applied Pi Calculus (Q3612372) (← links)
- (Q4412521) (← links)
- (Q4417864) (← links)
- An Automatic Proving Approach to Parameterized Verification (Q4617972) (← links)
- Probabilistic Model Checking of the PDGF Signaling Pathway (Q4912384) (← links)
- Algebraic Methodology and Software Technology (Q5312977) (← links)
- (Q5705140) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897967) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898162) (← links)
- A formal software development approach using refinement calculus (Q5942699) (← links)
- Towards the existential control of Boolean networks: a preliminary report (Q6041164) (← links)