Hanpin Wang

According to our database¹, Hanpin Wang authored at least 77 papers between 2004 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Differentially Private Approval-Based Committee Voting.

[BibT_eX]

[DOI]

CoRR, 2024

A Learnable Discrete-Prior Fusion Autoencoder with Contrastive Learning for Tabular Data Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Deep Learning for Approximate Nearest Neighbour Search: A Survey and Future Directions.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., September, 2023

Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2023

Trading Off Voting Axioms for Privacy.

[BibT_eX]

[DOI]

CoRR, 2023

A separation logic for sequences in pointer programs and its decidability.

[BibT_eX]

[DOI]

CoRR, 2023

Multi resource allocation with partial preferences.

[BibT_eX]

[DOI]

Artif. Intell., 2023

First-Choice Maximality Meets Ex-ante and Ex-post Fairness.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Refining the Unseen: Self-supervised Two-stream Feature Extraction for Image Quality Assessment.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Data Mining, 2023

Radiology Report Generation via Structured Knowledge-Enhanced Multi-modal Attention and Contrastive Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

Differentially Private Condorcet Voting.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

An adaptation-complete proof system for local reasoning about cloud storage systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

Reasoning about block-based cloud storage systems via separation logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

Zero-freeness and approximation of real Boolean Holant problems.

[BibT_eX]

[DOI]

Zonglei Bai

Yongzhi Cao

Hanpin Wang

Theor. Comput. Sci., 2022

Learning from interpretation transition using differentiable logic programming semantics.

[BibT_eX]

[DOI]

Mach. Learn., 2022

DVL2021: An ultra high definition video dataset for perceptual quality study.

[BibT_eX]

[DOI]

J. Vis. Commun. Image Represent., 2022

MTS-LSTDM: Multi-Time-Scale Long Short-Term Double Memory for power load forecasting.

[BibT_eX]

[DOI]

J. Syst. Archit., 2022

Cross-modal fusion for multi-label image classification with attention mechanism.

[BibT_eX]

[DOI]

Comput. Electr. Eng., 2022

Learning First-Order Rules with Differentiable Logic Program Semantics.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Starvqa: Space-Time Attention for Video Quality Assessment.

[BibT_eX]

[DOI]

Proceedings of the 2022 IEEE International Conference on Image Processing, 2022

Designing Efficient and Fair Mechanisms for Multi-Type Resource Allocation.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Resisting membership inference attacks through knowledge distillation.

[BibT_eX]

[DOI]

Junxiang Zheng

Yongzhi Cao

Hanpin Wang

Neurocomputing, 2021

Favoring Eagerness for Remaining Items: Achieving Efficient and Fair Assignments.

[BibT_eX]

[DOI]

CoRR, 2021

Probabilistic serial mechanism for multi-type resource allocation.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2021

2020

Multi-Type Resource Allocation with Partial Preferences.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Sample Essentiality and Its Application to Modeling Attacks on Arbiter PUFs.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Reasoning about Block-based Cloud Storage Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Enhance PATE on Complex Tasks With Knowledge Transferred From Non-Private Data.

[BibT_eX]

[DOI]

IEEE Access, 2019

2018

A Modeling Language for MapReduce Programing in a Storage System Perspective.

[BibT_eX]

[DOI]

J. Signal Process. Syst., 2018

The Complexity of Boolean Holant Problems with Nonnegative Weights.

[BibT_eX]

[DOI]

Jiabao Lin

Hanpin Wang

SIAM J. Comput., 2018

Personalized graph pattern matching via limited simulation.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2018

Tractable queries on big data via preprocessing with logarithmic-size output.

[BibT_eX]

[DOI]

Jiannan Yang

Hanpin Wang

Yongzhi Cao

Knowl. Inf. Syst., 2018

Probabilistic Context-Aware Ambients.

[BibT_eX]

[DOI]

Proceedings of the Cognitive Systems and Signal Processing - 4th International Conference, 2018

Complete Graph Random Number Generator and Symmetrical Design Scheme.

[BibT_eX]

[DOI]

Yuguang Xu

Hanpin Wang

Hongyu Wang

Proceedings of the Third IEEE International Conference on Data Science in Cyberspace, 2018

Reasoning about Cloud Storage Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2017

Differential privacy in probabilistic systems.

[BibT_eX]

[DOI]

Jiannan Yang

Yongzhi Cao

Hanpin Wang

Inf. Comput., 2017

The Complexity of Holant Problems over Boolean Domain with Non-Negative Weights.

[BibT_eX]

[DOI]

Jiabao Lin

Hanpin Wang

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2015

Minimum guesswork discrimination between quantum states.

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2015

Conditional anonymity with non-probabilistic adversary.

[BibT_eX]

[DOI]

Weien Chen

Yongzhi Cao

Hanpin Wang

Inf. Sci., 2015

Making problems tractable on big data via preprocessing with polylog-size output.

[BibT_eX]

[DOI]

Jiannan Yang

Hanpin Wang

Yongzhi Cao

CoRR, 2015

2012

Value-passing CCS with noisy channels.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Formal Analysis of Sequence Diagram with Time Constraints by Model Transformation.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2012

Behavioural equivalences of a probabilistic pi-calculus.

[BibT_eX]

[DOI]

Weien Chen

Yongzhi Cao

Hanpin Wang

Sci. China Inf. Sci., 2012

2011

Modeling MARTE Sequence Diagram with Timing Pi-Calculus.

[BibT_eX]

[DOI]

Wei Jin

Hanpin Wang

Meixia Zhu

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.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2010

Refinement of models of software components.

[BibT_eX]

[DOI]

Zizhen Wang

Hanpin Wang

Naijun Zhan

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Prediction of Protein-Protein Interactions Using Subcellular and Functional Localizations.

[BibT_eX]

[DOI]

Yanliang Cai

Jiangsheng Yu

Hanpin Wang

Proceedings of the Life System Modeling and Intelligent Computing, 2010

Unsupervised text pattern learning using minimum description length.

[BibT_eX]

[DOI]

Proceedings of the 4th International Universal Communication Symposium, 2010

Semantic Analysis of UML2.0 Sequence Diagram Based on Model Transformation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

A Petri Net-Based Algorithm for RFID Event Detection.

[BibT_eX]

Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

A Game Perspective of Refinement of Component Models.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

Approximation algorithm for maximum edge coloring.

[BibT_eX]

[DOI]

Wangsen Feng

Li'ang Zhang

Hanpin Wang

Theor. Comput. Sci., 2009

A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Analyzing Service Composition Patterns in BPEL.

[BibT_eX]

[DOI]

Proceedings of the First IITA International Joint Conference on Artificial Intelligence, 2009

On Model Checking Boolean BI.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

A Formal Descriptive Language and an Automated Detection Method for Complex Events in RFID.

[BibT_eX]

[DOI]

Jiaqi Zhu

Yu Huang

Hanpin Wang

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.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2008

A practical method to analyze workflow logic models.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2008

Modeling and verifying BPEL using synchronized net.

[BibT_eX]

[DOI]

Chunxiang Xu

Hanpin Wang

Wanling Qu

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A New Temporal Logic CTL[k-QDDC] and Its Verification.

[BibT_eX]

[DOI]

Jiaqi Zhu

Hanpin Wang

Zhongyuan Xu

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Queuing analysis and performance evaluation of workflow through WFQN.

[BibT_eX]

[DOI]

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Approximation Algorithms for Maximum Edge Coloring Problem.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Models of Computation, 2007

A petri net semantics for web service choreography.

[BibT_eX]

[DOI]

Yu Huang

Hanpin Wang

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

PrDLs: A New Kind of Probabilistic Description Logics About Belief.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Applied Artificial Intelligence, 2007

Analyzing Data Dependence Based on Workflow Net.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Wangsen Feng

Wanling Qu

Hanpin Wang

Proceedings of the 2007 International Conference on Foundations of Computer Science, 2007

Formalizing Web Service Choreography Interface.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006

A stochastic model for workflow QoS evaluation.

[BibT_eX]

[DOI]

Sci. Program., 2006

Stochastic modeling and quality evaluation of component-based software systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Stochastic Modeling and Quality Evaluation of Workflow Systems Based on QWF-Nets.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2006

2005

Property-Transition-Net-Based Workflow Process Modeling and Verification.

[BibT_eX]

[DOI]

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

2004

Completeness of temporal logics over infinite intervals.

[BibT_eX]

[DOI]

Hanpin Wang

Qiwen Xu

Discret. Appl. Math., 2004

Hanpin Wang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...