Jun Pang

Available identifiers

zbMath Open pang.junWikidataQ102291596 ScholiaQ102291596MaRDI QIDQ201215

List of research outcomes

Publication	Date of Publication	Type
Towards the existential control of Boolean networks: a preliminary report	2023-05-26	Paper
Sequential temporary and permanent control of Boolean networks	2022-12-22	Paper
Sequential reprogramming of Boolean networks made practical	2019-10-10	Paper
Model checking with fairness assumptions using PAT	2019-05-28	Paper
GPU-accelerated steady-state computation of large probabilistic Boolean networks	2019-03-13	Paper
An Automatic Proving Approach to Parameterized Verification	2019-02-07	Paper
Fast simulation of probabilistic Boolean networks	2018-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q3131824	2018-01-29	Paper
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols	2016-01-08	Paper
ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks	2016-01-08	Paper
Formalizing provable anonymity in Isabelle/HOL	2015-07-23	Paper
An inductive approach to strand spaces	2014-11-11	Paper
Privacy and verifiability in voting systems: methods, developments and trends	2014-01-29	Paper
Keeping Secrets in Resource Aware Components	2014-01-17	Paper
Weak Probabilistic Anonymity	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2851076	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2848414	2013-09-26	Paper
Fast leader election in anonymous rings with bounded expected delay	2013-04-04	Paper
Probabilistic Model Checking of the PDGF Signaling Pathway	2013-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q2916038	2012-10-05	Paper
An Algorithm for Probabilistic Alternating Simulation	2012-06-15	Paper
A novel approach for clustering sentiments in Chinese blogs based on graph similarity	2012-02-05	Paper
On Probabilistic Alternating Simulations	2010-10-27	Paper
A formal framework for quantifying voter-controlled privacy	2009-07-24	Paper
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus	2009-03-10	Paper
A Framework for Automatically Checking Anonymity with μCRL	2009-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q3601869	2009-02-12	Paper
Automating Verification of Cooperation, Control, and Design in Traffic Applications	2008-09-25	Paper
Automatic Verification of Hybrid Systems with Large Discrete State Space	2008-09-04	Paper
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space	2008-07-03	Paper
Adapting the UPPAAL Model of a Distributed Lift System	2008-07-01	Paper
Model checking a cache coherence protocol of a Java DSM implementation	2007-02-09	Paper
Cones and foci: A mechanical framework for protocol verification	2006-11-17	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
Verification of a sliding window protocol in \(\mu\) CRL and PVS	2005-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q5705140	2005-11-08	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
Analysis of a distributed system for lifting trucks.	2003-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4417864	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4412521	2003-07-15	Paper
A formal software development approach using refinement calculus	2001-12-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jun Pang