The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jun Pang 0001" ( http://dblp.L3S.de/Authors/Jun_Pang_0001 )

URL (Homepage):  http://satoss.uni.lu/jun/  Author page on DBLP  Author page in RDF  Community of Jun Pang 0001 in ASPL-2

Publication years (Num. hits)
1999-2005 (17) 2006-2007 (16) 2008-2009 (15) 2010-2011 (23) 2012-2013 (27) 2014 (17) 2015 (19) 2016 (20) 2017-2018 (27) 2019 (12)
Publication types (Num. hits)
article(78) inproceedings(110) proceedings(5)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 24 keywords

Results
Found 194 publication records. Showing 193 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Hugues Mandon, Cui Su, Jun Pang 0001, Soumya Paul, Stefan Haar, Loïc Paulevé Algorithms for the Sequential Reprogramming of Boolean Networks. Search on Bibsonomy IEEE/ACM Trans. Comput. Biology Bioinform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Hongyang Qu 0001, Qixia Yuan Taming Asynchrony for Attractor Detection in Large Boolean Networks. Search on Bibsonomy IEEE/ACM Trans. Comput. Biology Bioinform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bo-Heng Chen, Cheng-Te Li, Kun-Ta Chuang, Jun Pang 0001, Yang Zhang An active learning-based approach for location-aware acquaintance inference. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexis Baudin, Soumya Paul, Cui Su, Jun Pang 0001 Controlling large Boolean networks with single-step perturbations. Search on Bibsonomy Bioinformatics The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guisen Wu, Liyun Dai, Zhiming Liu 0001, Taolue Chen, Jun Pang 0001, Hongyang Qu 0001 Online Observability of Boolean Control Networks. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Chenyi Zhang, Jun Pang 0001 Characterising Probabilistic Alternating Simulation for Concurrent Games. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Qixia Yuan, Andrzej Mizera, Jun Pang 0001, Hongyang Qu 0001 A new decomposition-based method for detecting attractors in synchronous Boolean networks. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Qixia Yuan GPU-accelerated steady-state computation of large probabilistic Boolean networks. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cui Su, Soumya Paul, Jun Pang 0001 Controlling Large Boolean Networks with Temporary and Permanent Perturbations. Search on Bibsonomy FM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cui Su, Soumya Paul, Jun Pang 0001 Scalable Control of Asynchronous Boolean Networks. Search on Bibsonomy CMSB The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hugues Mandon, Cui Su, Stefan Haar, Jun Pang 0001, Loïc Paulevé Sequential Reprogramming of Boolean Networks Made Practical. Search on Bibsonomy CMSB The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Jing Sun 0002 (eds.) 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019 Search on Bibsonomy ICECCS The full citation details ... 2019 DBLP  BibTeX  RDF
1Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang 0001, Lijun Zhang 0001, Yi Lv, Shaowei Cai An Automatic Proving Approach to Parameterized Verification. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Qixia Yuan Reviving the Two-State Markov Chain Approach. Search on Bibsonomy IEEE/ACM Trans. Comput. Biology Bioinform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Cui Su, Qixia Yuan ASSA-PBN: A Toolbox for Probabilistic Boolean Networks. Search on Bibsonomy IEEE/ACM Trans. Comput. Biology Bioinform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jingyi Wang, Jun Sun 0001, Qixia Yuan, Jun Pang 0001 Learning probabilistic models for model checking: an evolutionary approach and an empirical study. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Soumya Paul, Jun Pang 0001, Cui Su Towards the Existential Control of Boolean Networks: A Preliminary Report (Extended Abstract). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Yang Zhang 0016, Mathias Humbert, Tahleen A. Rahman, Cheng-Te Li, Jun Pang 0001, Michael Backes 0001 Tagvisor: A Privacy Advisor for Sharing Hashtags. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Naipeng Dong, Hugo Jonker, Jun Pang 0001 Formal Analysis of an E-Health Protocol. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Soumya Paul, Cui Su, Jun Pang 0001, Andrzej Mizera A Decomposition-based Approach towards the Control of Boolean Networks (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Yang Zhang 0016, Mathias Humbert, Tahleen A. Rahman, Cheng-Te Li, Jun Pang 0001, Michael Backes 0001 Tagvisor: A Privacy Advisor for Sharing Hashtags. Search on Bibsonomy WWW The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Soumya Paul, Jun Pang 0001, Cui Su Towards the Existential Control of Boolean Networks: A Preliminary Report. Search on Bibsonomy SETTA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Hongyang Qu 0001, Qixia Yuan ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Soumya Paul, Jun Pang 0001, Cui Su On the Full Control of Boolean Networks. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jialun Cao, Yongjian Li, Jun Pang 0001 L-CMP: an automatic learning-based parameterized verification tool. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Chenyi Zhang, Jifeng He, Jian Weng (eds.) 2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018 Search on Bibsonomy TASE The full citation details ... 2018 DBLP  BibTeX  RDF
1Soumya Paul, Cui Su, Jun Pang 0001, Andrzej Mizera A Decomposition-based Approach towards the Control of Boolean Networks. Search on Bibsonomy BCB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Backes 0001, Mathias Humbert, Jun Pang 0001, Yang Zhang 0016 walk2friends: Inferring Social Links from Mobility Profiles. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Hongyang Qu 0001, Qixia Yuan Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Naipeng Dong, Hugo L. Jonker, Jun Pang 0001 Formal modelling and analysis of receipt-free auction protocols in applied pi. Search on Bibsonomy Computers & Security The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuan Li 0008, Yuhai Zhao, Guoren Wang, Xiaofeng Zhu, Xiang Zhang 0001, Zhanghui Wang, Jun Pang 0001 Finding susceptible and protective interaction patterns in large-scale genetic association study. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yan Wang, Zongxu Qin, Jun Pang 0001, Yang Zhang 0016, Jin Xin Semantic Annotation for Places in LBSN through Graph Embedding. Search on Bibsonomy CIKM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Backes 0001, Mathias Humbert, Jun Pang 0001, Yang Zhang 0016 walk2friends: Inferring Social Links from Mobility Profiles. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Li Li 0044, Naipeng Dong, Jun Pang 0001, Jun Sun 0001, Guangdong Bai, Yang Liu 0003, Jin Song Dong A Verification Framework for Stateful Security Protocols. Search on Bibsonomy ICFEM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Hongyang Qu 0001, Qixia Yuan A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yang Zhang 0016, Minyue Ni, Weili Han, Jun Pang 0001 Does #like4like indeed provoke more likes? Search on Bibsonomy WI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Yang Zhang 0016 Quantifying Location Sociality. Search on Bibsonomy HT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Yang Zhang 0016 DeepCity: A Feature Learning Framework for Mining Location Check-Ins. Search on Bibsonomy ICWSM The full citation details ... 2017 DBLP  BibTeX  RDF
1Jingyi Wang, Jun Sun 0001, Qixia Yuan, Jun Pang 0001 Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. Search on Bibsonomy FASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Qixia Yuan, Hongyang Qu 0001, Jun Pang 0001, Andrzej Mizera Improving BDD-based attractor detection for synchronous Boolean networks. Search on Bibsonomy SCIENCE CHINA Information Sciences The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Yang Zhang 0016 Quantifying Location Sociality. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jun Pang 0001, Yang Zhang 0016 DeepCity: A Feature Learning Framework for Mining Location Check-ins. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jingyi Wang, Jun Sun 0001, Qixia Yuan, Jun Pang 0001 Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Qixia Yuan Fast Simulation of Probabilistic Boolean Networks (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jun Pang 0001, Lingyun Qiu Effect of Online Review Chunking on Product Attitude: The Moderating Role of Motivation to Think. Search on Bibsonomy Int. J. Electronic Commerce The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Mariëlle Stoelinga Selected and extended papers from ACM SVT 2014. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stephan Merz, Jun Pang 0001, Jin Song Dong Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stephan Merz, Jun Pang 0001, Jin Song Dong Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lu Zhou, Yang Zhang, Jun Pang 0001, Cheng-Te Li Modeling City Locations as Complex Networks: An initial study. Search on Bibsonomy COMPLEX NETWORKS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Polina Zablotskaia, Yang Zhang 0016 On Impact of Weather on Human Mobility in Cities. Search on Bibsonomy WISE (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Qixia Yuan Parallel approximate steady-state analysis of large probabilistic Boolean networks. Search on Bibsonomy SAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lingyun Qiu, Weiquan Wang, Jun Pang 0001, Zhenhui Jack Jiang The Persuasive Impact of Emoticons in Online Word-of-Mouth Communication. Search on Bibsonomy PACIS The full citation details ... 2016 DBLP  BibTeX  RDF
1Junlu Wang, Jun Pang 0001, Xiaoyan Li, Baishuo Han, Lei Huang, LinLin Ding An Efficient Two-Table Join Query Processing Based on Extended Bloom Filter in MapReduce. Search on Bibsonomy WAIM Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xiaohuan Shan, Xin Wang, Jun Pang 0001, Liyan Jiang, Baoyan Song A Shortest Path Query Method Based on Tree Decomposition and Label Coverage. Search on Bibsonomy WAIM Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Minyue Ni, Yang Zhang 0016, Weili Han, Jun Pang 0001 An Empirical Study on User Access Control in Online Social Networks. Search on Bibsonomy SACMAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang 0001, Shaowei Cai A novel approach to parameterized verification of cache coherence protocols. Search on Bibsonomy ICCD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Qixia Yuan GPU-Accelerated Steady-State Computation of Large Probabilistic Boolean Networks. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Qixia Yuan ASSA-PBN 2.0: A Software Tool for Probabilistic Boolean Networks. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Qixia Yuan Fast Simulation of Probabilistic Boolean Networks. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Christopher Dwyer, Alvin R. Lebeck mNoC: Large Nanophotonic Network-on-Chip Crossbars with Molecular Scale Devices. Search on Bibsonomy JETC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Qixia Yuan Parallel Approximate Steady-state Analysis of Large Probabilistic Boolean Networks (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Jun Pang 0001, Yang Liu, Sjouke Mauw (eds.) Proceedings 4th International Workshop on Engineering Safety and Security Systems, ESSS 2015, Oslo, Norway, June 22, 2015. Search on Bibsonomy ESSS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Qixia Yuan Reviving the Two-state Markov Chain Approach (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Jun Pang 0001, Yang Zhang 0016 A new access control scheme for Facebook-style social networks. Search on Bibsonomy Computers & Security The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yongjian Li, Jun Pang 0001 Formalizing provable anonymity in Isabelle/HOL. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xihui Chen, Andrzej Mizera, Jun Pang 0001 Activity tracking: A new attack on location privacy. Search on Bibsonomy CNS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Yang Zhang 0016 Exploring Communities for Effective Location Prediction. Search on Bibsonomy WWW (Companion Volume) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Yang Zhang 0016 Location Prediction: Communities Speak Louder than Friends. Search on Bibsonomy COSN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Yang Zhang 0016 Event Prediction with Community Leaders. Search on Bibsonomy ARES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yongjian Li, Jun Pang 0001, Yi Lv, Dongrui Fan, Shen Cao, Kaiqiang Duan ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Qixia Yuan ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Yang Zhang 0016 Cryptographic Protocols for Enforcing Relationship-Based Access Control Policies. Search on Bibsonomy COMPSAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hongyang Qu 0001, Qixia Yuan, Jun Pang 0001, Andrzej Mizera Improving BDD-based Attractor Detection for Synchronous Boolean Networks. Search on Bibsonomy Internetware The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marcos Cramer, Jun Pang 0001, Yang Zhang 0016 A Logical Approach to Restricting Access in Online Social Networks. Search on Bibsonomy SACMAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yang Zhang 0016, Jun Pang 0001 Community-Driven Social Influence Analysis and Applications. Search on Bibsonomy ICWE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ran Cheng, Jun Pang 0001, Yang Zhang 0016 Inferring Friendship from Check-in Data of Location-Based Social Networks. Search on Bibsonomy ASONAM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yang Zhang 0016, Jun Pang 0001 Distance and Friendship: A Distance-Based Model for Link Prediction in Social Networks. Search on Bibsonomy APWeb The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Chris Dwyer, Alvin R. Lebeck More is Less, Less is More: Molecular-Scale Photonic NoC Power Topologies. Search on Bibsonomy ASPLOS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xihui Chen, Jun Pang 0001 Protecting query privacy in location-based services. Search on Bibsonomy GeoInformatica The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xihui Chen, Jun Pang 0001, Ran Xue Constructing and Comparing User Mobility Profiles. Search on Bibsonomy TWEB The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Alvin R. Lebeck, Christopher Dwyer Modeling and simulation of a nanoscale optical computing system. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Yang Liu (eds.) Proceedings Third International Workshop on Engineering Safety and Security Systems, ESSS 2014, Singapore, Singapore, 13 May 2014. Search on Bibsonomy ESSS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Yang Zhang 0016 Location Prediction: Communities Speak Louder than Friends. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Li Li 0044, Jun Pang 0001, Yang Liu 0003, Jun Sun 0001, Jin Song Dong Stateful Security Protocol Verification. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Yuanjie Si, Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pang 0001, Shao Jie Zhang, Xiaohu Yang Model checking with fairness assumptions using PAT. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Sebastian Alexander Mödersheim, Catuscia Palamidessi, Jun Pang 0001 (eds.) Foundational aspects of security. Search on Bibsonomy Journal of Computer Security The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mohammad Reza Mousavi, Jun Pang 0001 Special section on Software Verification and Testing. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xihui Chen, Piotr Kordy, Ruipeng Lu, Jun Pang 0001 MinUS: Mining User Similarity with Trajectory Patterns. Search on Bibsonomy ECML/PKDD (3) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Stephan Merz, Jun Pang 0001 (eds.) Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings Search on Bibsonomy ICFEM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Yang Zhang 0016 A New Access Control Scheme for Facebook-Style Social Networks. Search on Bibsonomy ARES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yehia Elrakaiby, Jun Pang 0001 Dynamic Analysis of Usage Control Policies. Search on Bibsonomy SECRYPT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xihui Chen, Ruipeng Lu, Xiaoxing Ma, Jun Pang 0001 Measuring User Similarity with Trajectory Patterns: Principles and New Metrics. Search on Bibsonomy APWeb The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Li Li 0044, Jun Pang 0001, Yang Liu 0003, Jun Sun 0001, Jin Song Dong Symbolic Analysis of an Electric Vehicle Charging Protocol. Search on Bibsonomy ICECCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Qixia Yuan Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks. Search on Bibsonomy ICECCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sandeep R. Agrawal, Valentin Pistol, Jun Pang 0001, John Tran, David Tarjan, Alvin R. Lebeck Rhythm: harnessing data parallel hardware for server workloads. Search on Bibsonomy ASPLOS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xihui Chen, Carlo Harpes, Gabriele Lenzini, Sjouke Mauw, Jun Pang 0001 Location Assurance and Privacy in GNSS Navigation. Search on Bibsonomy ERCIM News The full citation details ... 2013 DBLP  BibTeX  RDF
1Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang 0001 Design and Formal Analysis of A Group Signature Based Electronic Toll Pricing System. Search on Bibsonomy JoWUA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hugo Jonker, Sjouke Mauw, Jun Pang 0001 Privacy and verifiability in voting systems: Methods, developments and trends. Search on Bibsonomy Computer Science Review The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jun Pang 0001, Yang Zhang 0016 A New Access Control Scheme for Facebook-style Social Networks Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Hugo Jonker, Sjouke Mauw, Jun Pang 0001 Privacy and Verifiability in Voting Systems: Methods, Developments and Trends. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2013 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 193 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license