Hanpin Wang

According to our database1, Hanpin Wang authored at least 48 papers between 2004 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Enhance PATE on Complex Tasks With Knowledge Transferred From Non-Private Data.
IEEE Access, 2019

2018
A Modeling Language for MapReduce Programing in a Storage System Perspective.
Signal Processing Systems, 2018

The Complexity of Boolean Holant Problems with Nonnegative Weights.
SIAM J. Comput., 2018

Personalized graph pattern matching via limited simulation.
Knowl.-Based Syst., 2018

Tractable queries on big data via preprocessing with logarithmic-size output.
Knowl. Inf. Syst., 2018

Probabilistic Context-Aware Ambients.
Proceedings of the Cognitive Systems and Signal Processing - 4th International Conference, 2018

Complete Graph Random Number Generator and Symmetrical Design Scheme.
Proceedings of the Third IEEE International Conference on Data Science in Cyberspace, 2018

Reasoning about Cloud Storage Systems.
Proceedings of the Third IEEE International Conference on Data Science in Cyberspace, 2018

2017
A modeling language to describe massive data storage management in cyber-physical systems.
J. Parallel Distrib. Comput., 2017

Differential privacy in probabilistic systems.
Inf. Comput., 2017

The Complexity of Holant Problems over Boolean Domain with Non-Negative Weights.
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2015
Minimum guesswork discrimination between quantum states.
Quantum Information & Computation, 2015

Conditional anonymity with non-probabilistic adversary.
Inf. Sci., 2015

2012
Value-passing CCS with noisy channels.
Theor. Comput. Sci., 2012

Formal Analysis of Sequence Diagram with Time Constraints by Model Transformation.
Int. J. Software and Informatics, 2012

Behavioural equivalences of a probabilistic pi-calculus.
SCIENCE CHINA Information Sciences, 2012

2011
Modeling MARTE Sequence Diagram with Timing Pi-Calculus.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

2010
A new model for model checking: cycle-weighted Kripke structure.
Frontiers Comput. Sci. China, 2010

Refinement of models of software components.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Prediction of Protein-Protein Interactions Using Subcellular and Functional Localizations.
Proceedings of the Life System Modeling and Intelligent Computing, 2010

Unsupervised text pattern learning using minimum description length.
Proceedings of the 4th International Universal Communication Symposium, 2010

Semantic Analysis of UML2.0 Sequence Diagram Based on Model Transformation.
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

A Petri Net-Based Method for Data Validation of Web Services Composition.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

A Petri Net-Based Algorithm for RFID Event Detection.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

A Game Perspective of Refinement of Component Models.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

A parallel type of DNA computing model for graph vertex coloring problem.
Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010

The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009
Approximation algorithm for maximum edge coloring.
Theor. Comput. Sci., 2009

A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Analyzing Service Composition Patterns in BPEL.
Proceedings of the First IITA International Joint Conference on Artificial Intelligence, 2009

On Model Checking Boolean BI.
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

A Formal Descriptive Language and an Automated Detection Method for Complex Events in RFID.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
QoS modeling and analysis of component-based software systems: a stochastic approach.
Concurrency and Computation: Practice and Experience, 2008

A practical method to analyze workflow logic models.
Concurrency and Computation: Practice and Experience, 2008

Modeling and verifying BPEL using synchronized net.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A New Temporal Logic CTL[k-QDDC] and Its Verification.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
Queuing analysis and performance evaluation of workflow through WFQN.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Approximation Algorithms for Maximum Edge Coloring Problem.
Proceedings of the Theory and Applications of Models of Computation, 2007

A petri net semantics for web service choreography.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Analyzing Data Dependence Based on Workflow Net.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

Lower bounds on the cardinality of maximum matchings in graphs with bounded degrees.
Proceedings of the 2007 International Conference on Foundations of Computer Science, 2007

Formalizing Web Service Choreography Interface.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006
A stochastic model for workflow QoS evaluation.
Scientific Programming, 2006

Property-Transition-Net-Based Workflow Process Modeling and Verification.
Electr. Notes Theor. Comput. Sci., 2006

Stochastic modeling and quality evaluation of component-based software systems.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Stochastic Modeling and Quality Evaluation of Workflow Systems Based on QWF-Nets.
Proceedings of the Computational Science, 2006

2004
Completeness of temporal logics over infinite intervals.
Discrete Applied Mathematics, 2004


  Loading...