Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jun Pang

Model Checking With Fairness Assumptions Using PAT

Frontiers of Computer Science
Computer ScienceTheoretical Computer Science
2013English

Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Verification of Functional and Non-Functional Requirements of Web Service Composition

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

GPU-accelerated Steady-State Computation of Large Probabilistic Boolean Networks

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2018English

Semantic Annotation for Places in LBSN Through Graph Embedding

2017English

Applying Knowledge Discovery System to Intelligent Manufacturing Based on the Big Data

2017English

Adapting the UPPAAL Model of a Distributed Lift System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Improving Automatic Verification of Security Protocols With XOR

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Is Timed Branching Bisimilarity an Equivalence Indeed?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy