×

zbMATH — the first resource for mathematics

Pang, Jun

Compute Distance To:
Author ID: pang.jun Recent zbMATH articles by "Pang, Jun"
Published as: Pang, J.; Pang, Jun
External Links: MGP
Documents Indexed: 43 Publications since 2001, including 1 Book

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 84 times in 63 Documents Cited by Year
The one- and multi-sample problem for functional data with application to projective shape analysis. Zbl 1286.62050
Munk, A.; Paige, R.; Pang, J.; Patrangenaru, V.; Ruymgaart, F.
13
2008
Compositional reasoning for probabilistic finite-state behaviors. Zbl 1171.68570
Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun
11
2005
Verification of a sliding window protocol in \(\mu\) CRL and PVS. Zbl 1101.68309
Badban, Bahareh; Fokkink, Wan; Groote, Jan Friso; Pang, Jun; van de Pol, Jaco
6
2005
Weak probabilistic anonymity. Zbl 1277.68027
Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun
5
2007
On probabilistic alternating simulations. Zbl 1202.68464
Zhang, Chenyi; Pang, Jun
4
2010
A framework for automatically checking anonymity with \(\mu \)CRL. Zbl 1211.94027
Chothia, Tom; Orzan, Simona; Pang, Jun; Torabi Dashti, Mohammad
4
2007
Exact state set representations in the verification of linear hybrid systems with large discrete state space. Zbl 1141.68461
Damm, Werner; Disch, Stefan; Hungar, Hardi; Jacobs, Swen; Pang, Jun; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
4
2007
Cones and foci: A mechanical framework for protocol verification. Zbl 1103.68652
Fokkink, Wan; Pang, Jun; van de Pol, Jaco
4
2006
Cones and foci for protocol verification revisited. Zbl 1029.68040
Fokkink, Wan; Pang, Jun
4
2003
Automating verification of cooperation, control, and design in traffic applications. Zbl 1151.68476
Damm, Werner; Mikschl, Alfred; Oehlerking, Jens; Olderog, Ernst-Rüdiger; Pang, Jun; Platzer, André; Segelken, Marc; Wirtz, Boris
3
2007
Automatic verification of hybrid systems with large discrete state space. Zbl 1161.68562
Damm, Werner; Disch, Stefan; Hungar, Hardi; Pang, Jun; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
3
2006
Simplifying Itai-Rodeh leader election for anonymous rings. Zbl 1272.68041
Fokkink, Wan; Pang, Jun
3
2005
Verifying a sliding window protocol in \(\mu\)CRL. Zbl 1108.68383
Fokkink, Wan; Groote, Jan Friso; Pang, Jun; Badban, Bahareh; van de Pol, Jaco
3
2004
Analysis of a distributed system for lifting trucks. Zbl 1048.68055
Groote, J. F.; Pang, J.; Wouters, A. G.
3
2003
A formal framework for quantifying voter-controlled privacy. Zbl 1192.68240
Jonker, Hugo; Mauw, Sjouke; Pang, Jun
2
2009
Model checking a cache coherence protocol of a Java DSM implementation. Zbl 1106.68013
Pang, Jun; Fokkink, Wan; Hofman, Rutger; Veldema, Ronald
2
2007
Is timed branching bisimilarity an equivalence indeed? Zbl 1175.68277
Fokkink, Wan; Pang, Jun; Wijs, Anton
2
2005
Analysis of a security protocol in \(\mu\)CRL. Zbl 1015.68613
Pang, Jun
2
2002
Fast simulation of probabilistic Boolean networks. Zbl 1382.92146
Mizera, Andrzej; Pang, Jun; Yuan, Qixia
1
2016
ASSA-PBN: an approximate steady-state analyser of probabilistic Boolean networks. Zbl 06527552
Mizera, Andrzej; Pang, Jun; Yuan, Qixia
1
2015
An inductive approach to strand spaces. Zbl 1298.68083
Li, Yongjian; Pang, Jun
1
2013
An algorithm for probabilistic alternating simulation. Zbl 1302.68205
Zhang, Chenyi; Pang, Jun
1
2012
Fast leader election in anonymous rings with bounded expected delay. Zbl 1260.68029
Bakhshi, Rena; Endrullis, Jörg; Fokkink, Wan; Pang, Jun
1
2011
Analyzing an electronic cash protocol using applied pi calculus. Zbl 1214.68154
Luo, Zhengqin; Cai, Xiaojuan; Pang, Jun; Deng, Yuxin
1
2007
Fast simulation of probabilistic Boolean networks. Zbl 1382.92146
Mizera, Andrzej; Pang, Jun; Yuan, Qixia
1
2016
ASSA-PBN: an approximate steady-state analyser of probabilistic Boolean networks. Zbl 06527552
Mizera, Andrzej; Pang, Jun; Yuan, Qixia
1
2015
An inductive approach to strand spaces. Zbl 1298.68083
Li, Yongjian; Pang, Jun
1
2013
An algorithm for probabilistic alternating simulation. Zbl 1302.68205
Zhang, Chenyi; Pang, Jun
1
2012
Fast leader election in anonymous rings with bounded expected delay. Zbl 1260.68029
Bakhshi, Rena; Endrullis, Jörg; Fokkink, Wan; Pang, Jun
1
2011
On probabilistic alternating simulations. Zbl 1202.68464
Zhang, Chenyi; Pang, Jun
4
2010
A formal framework for quantifying voter-controlled privacy. Zbl 1192.68240
Jonker, Hugo; Mauw, Sjouke; Pang, Jun
2
2009
The one- and multi-sample problem for functional data with application to projective shape analysis. Zbl 1286.62050
Munk, A.; Paige, R.; Pang, J.; Patrangenaru, V.; Ruymgaart, F.
13
2008
Weak probabilistic anonymity. Zbl 1277.68027
Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun
5
2007
A framework for automatically checking anonymity with \(\mu \)CRL. Zbl 1211.94027
Chothia, Tom; Orzan, Simona; Pang, Jun; Torabi Dashti, Mohammad
4
2007
Exact state set representations in the verification of linear hybrid systems with large discrete state space. Zbl 1141.68461
Damm, Werner; Disch, Stefan; Hungar, Hardi; Jacobs, Swen; Pang, Jun; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
4
2007
Automating verification of cooperation, control, and design in traffic applications. Zbl 1151.68476
Damm, Werner; Mikschl, Alfred; Oehlerking, Jens; Olderog, Ernst-Rüdiger; Pang, Jun; Platzer, André; Segelken, Marc; Wirtz, Boris
3
2007
Model checking a cache coherence protocol of a Java DSM implementation. Zbl 1106.68013
Pang, Jun; Fokkink, Wan; Hofman, Rutger; Veldema, Ronald
2
2007
Analyzing an electronic cash protocol using applied pi calculus. Zbl 1214.68154
Luo, Zhengqin; Cai, Xiaojuan; Pang, Jun; Deng, Yuxin
1
2007
Cones and foci: A mechanical framework for protocol verification. Zbl 1103.68652
Fokkink, Wan; Pang, Jun; van de Pol, Jaco
4
2006
Automatic verification of hybrid systems with large discrete state space. Zbl 1161.68562
Damm, Werner; Disch, Stefan; Hungar, Hardi; Pang, Jun; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris
3
2006
Compositional reasoning for probabilistic finite-state behaviors. Zbl 1171.68570
Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun
11
2005
Verification of a sliding window protocol in \(\mu\) CRL and PVS. Zbl 1101.68309
Badban, Bahareh; Fokkink, Wan; Groote, Jan Friso; Pang, Jun; van de Pol, Jaco
6
2005
Simplifying Itai-Rodeh leader election for anonymous rings. Zbl 1272.68041
Fokkink, Wan; Pang, Jun
3
2005
Is timed branching bisimilarity an equivalence indeed? Zbl 1175.68277
Fokkink, Wan; Pang, Jun; Wijs, Anton
2
2005
Verifying a sliding window protocol in \(\mu\)CRL. Zbl 1108.68383
Fokkink, Wan; Groote, Jan Friso; Pang, Jun; Badban, Bahareh; van de Pol, Jaco
3
2004
Cones and foci for protocol verification revisited. Zbl 1029.68040
Fokkink, Wan; Pang, Jun
4
2003
Analysis of a distributed system for lifting trucks. Zbl 1048.68055
Groote, J. F.; Pang, J.; Wouters, A. G.
3
2003
Analysis of a security protocol in \(\mu\)CRL. Zbl 1015.68613
Pang, Jun
2
2002
all top 5

Cited by 124 Authors

8 Pang, Jun
6 van de Pol, Jan Cornelis
5 Fokkink, Willem Jan
5 Patrangenaru, Victor
4 Palamidessi, Catuscia
3 Chatzikokolakis, Konstantinos
3 Damm, Werner
3 Deng, Yuxin
3 Groote, Jan Friso
3 Stoelinga, Mariëlle
3 Timmer, Mark
2 Andova, Suzana
2 Blom, Stefan
2 Bonchi, Filippo
2 Bonsangue, Marcello Maria
2 Chothia, Tom
2 Dierks, Henning
2 Disch, Stefan
2 Georgievska, Sonja
2 Katoen, Joost-Pieter
2 Park, Junyong
2 Pigorsch, Florian
2 Qiu, Mingfei
2 Rutten, Jan J. M. M.
2 Scholl, Christoph
2 Silva, Alexandra
2 Tini, Simone
2 Trčka, Nikola
2 van Glabbeek, Robert Jan
2 Van Weerdenburg, Muck J.
2 Weber, Michael W.
2 Wijs, Anton J.
2 Willemse, Tim A. C.
2 Zhang, Chenyi
1 Abate, Alessandro
1 Baeten, Jos C. M.
1 Bakhshi, Rena
1 Bhattacharya, Rabi N.
1 Bortnik, E.
1 Buibas, Marius
1 Cao, Yongzhi
1 Chadha, Rohit
1 Chen, Taolue
1 Chen, Weien
1 Cheval, Vincent
1 Choi, Sungwoo
1 Ciobâcă, Ştefan
1 Crane, Martin
1 de Putter, Sander
1 Du, Wenjie
1 Eisinger, Jochen
1 Ellingson, Leif
1 Eltzner, Benjamin
1 Endrullis, Jörg
1 Engels, Tom A. N.
1 Esmaeil Zadeh Soudjani, Sadegh
1 Fischer, Nick
1 Forejt, Vojtěch
1 Ghassemi, Fatemeh
1 Goodloe, Alwyn E.
1 Grahl, Jürgen
1 Gribovskaya, Nataliya Sergeevna
1 Haesaert, Sofie
1 Hagemann, Willem
1 Hasuo, Ichiro
1 Hennessy, Matthew C. B.
1 Hofman, Rutger
1 Huckemann, Stephan F.
1 Isobe, Yoshinao
1 Jonker, Hugo Lennaert
1 Kawabe, Yoshinobu
1 Kaziska, David M.
1 Klaedtke, Felix
1 Kremer, Steve
1 Kupferschmid, Stefan
1 Kwiatkowska, Marta Z.
1 Lester, David R
1 Li, Yongjian
1 Lisser, Bert
1 Liu, Xiuwen
1 Luttik, Bas
1 Mathijssen, Aad
1 Mauw, Sjouke
1 Meng, Chao
1 Mizera, Andrzej
1 Morgan, Carroll C.
1 Movaghar, Ali
1 Muñoz, César A.
1 Oehlerking, Jens
1 O’Reilly, Liam
1 Orzan, Simona
1 Paige, Robert L.
1 Panangaden, Prakash
1 Panaretos, Victor M.
1 Parker, David F.
1 Patrangenaru, Vlad P.
1 Peter, Hans-Jörg
1 Pini, Alessia
1 Platzer, André
1 Plunkett, Amanda
...and 24 more Authors

Citations by Year